PRICAI 2016国际人工智能大会论文解析 | 用于回答集编程的约束四值语义-阿里云开发者社区

开发者社区> 雷锋网> 正文

PRICAI 2016国际人工智能大会论文解析 | 用于回答集编程的约束四值语义

简介:

PRICAI 2016是环太平洋国际人工智能会议 ,每两年举行一次,大会专注于人工智能的理论,技术及其在社会领域的应用,和其对于太平洋沿岸国家经济的重要性。


 用于回答集编程的约束四值语义(Restricted Four-Valued Semantics for Answer Set Programming)

PRICAI 2016国际人工智能大会论文解析 | 用于回答集编程的约束四值语义 

摘要:在回答集编程中,一个扩展的逻辑程序可能没有答案集,或只有一个简单的答案集。本文中,我们提出了一种基于约束四值逻辑的新型稳定模型语义,以克服回答集编程中的不一致和不连贯问题。在推理一致性和连贯性问题时,我们的稳定模型与经典的回答集相同,而且可以通过转换到现有的ASP解答器得到解答。我们还展示了稳定模型和缺省逻辑扩展之间的联系。

第一作者简介

Zuoquan Lin

职位:清华大学信息科学系教授

研究方向:人工智能,电脑软件,数学逻辑

Via:PRICAI 2016


本文作者:章敏


本文转自雷锋网禁止二次转载,原文链接

版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。

分享:
+ 订阅

秉承“关注智能与未来”的宗旨,持续对全球前沿技术趋势与产品动态进行深入调研与解读。

官网链接