导读：PRICAI 2016是环太平洋国际人工智能会议 ，每两年举行一次，大会专注于人工智能的理论，技术及其在社会领域的应用，和其对于太平洋沿岸国家经济的重要性。
用于回答集编程的约束四值语义（Restricted Four-Valued Semantics for Answer Set Programming）
摘要：在回答集编程中，一个扩展的逻辑程序可能没有答案集，或只有一个简单的答案集。本文中，我们提出了一种基于约束四值逻辑的新型稳定模型语义，以克服回答集编程中的不一致和不连贯问题。在推理一致性和连贯性问题时，我们的稳定模型与经典的回答集相同，而且可以通过转换到现有的ASP解答器得到解答。我们还展示了稳定模型和缺省逻辑扩展之间的联系。
第一作者简介
Zuoquan Lin
职位：清华大学信息科学系教授
研究方向：人工智能，电脑软件，数学逻辑
Via：PRICAI 2016
PS : 本文由雷锋网(公众号：雷锋网)独家编译，未经许可拒绝转载！
雷锋网原创文章，未经授权禁止转载。详情见转载须知。
原创文章，作者：ItWorker，如若转载，请注明出处：https://blog.ytso.com/tech/ai/60712.html