PRICAI 2016国际人工智能大会论文解析 | 用于回答集编程的约束四值语义
本文共 414 字，大约阅读时间需要 1 分钟。
PRICAI 2016是环太平洋国际人工智能会议 ，每两年举行一次，大会专注于人工智能的理论，技术及其在社会领域的应用，和其对于太平洋沿岸国家经济的重要性。
用于回答集编程的约束四值语义（Restricted Four-Valued Semantics for Answer Set Programming）
摘要：在回答集编程中，一个扩展的逻辑程序可能没有答案集，或只有一个简单的答案集。本文中，我们提出了一种基于约束四值逻辑的新型稳定模型语义，以克服回答集编程中的不一致和不连贯问题。在推理一致性和连贯性问题时，我们的稳定模型与经典的回答集相同，而且可以通过转换到现有的ASP解答器得到解答。我们还展示了稳定模型和缺省逻辑扩展之间的联系。
第一作者简介
Zuoquan Lin
职位：清华大学信息科学系教授
研究方向：人工智能，电脑软件，数学逻辑
Via：PRICAI 2016
本文作者：章敏
本文转自雷锋网禁止二次转载，
你可能感兴趣的文章
解决ubuntu 远程连接问题
查看>>
区块链2.0：智能合约
查看>>
深入理解Webpack核心模块Tapable钩子[同步版]
查看>>
jsonp跨域资源引起CORB
查看>>
移动端H5页面阻止图片和文字被选中
查看>>
手写双向链表LinkedList的几个常用功能
查看>>
cross-env使用
查看>>
Fundebug计费标准解释：事件数是如何定义的？
查看>>
一文彻底弄懂 for forEach for-in for-of 的区别
查看>>
《前端十年心路-我把一切告诉你》的书稿大纲&问题收集
查看>>
前嗅ForeSpider教程：运行设置（一）
查看>>
2019
查看>>
CornerStone使用教程
查看>>
客户端检测
查看>>
python设计模式-状态模式
查看>>
Javascript 中的深浅拷贝
查看>>
Three.js 选择拾取对象学习总结
查看>>
Java多线程学习——公平锁
查看>>
【C++】 3_进化后的 const 分析
查看>>
SQLServer之通过视图修改数据
查看>>