您好、欢迎来到现金彩票网!
当前位置:ds视讯 > 非单调推理 >

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

发布时间:2019-07-12 23:13 来源:未知 编辑:admin

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

http://mj-sports.net/feidandiaotuili/510.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有