我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:管家婆六肖中特 > 非单调推理 >

回答集程序设计_理论、方法、应用与研究

归档日期:07-19       文本归类:非单调推理      文章编辑:爱尚语录

  回答集程序设计:理论、 方法、 应用与研究# 翟仲毅, 程渤** (北京邮电大学网络与交换技术国家重点实验室) 摘要: 回答集程序设计(Answer set programming, ASP)是一种面向复杂搜索的声明型程序设 计方法。 ASP 是综合非单调推理、 演绎数据库和逻辑程序设计方法的一项研究成果, 适合 于解决知识密集型问题。 ASP 语法结构与 Prolog 类似, 但其计算机制不同, 主要借助于高 效的命题逻辑可满足求解器进行计算。 本文对 ASP 的语法、 语义、 程序设计方法以及应用 分别进行了阐述。 最后, 对 ASP 的未来研究方向进行了讨论。 关键词: 回答集程序设计; ...

本文链接:http://meghanmbiro.com/feidandiaotuili/789.html