×
金·鲍特斯;史蒂文·斯科卡特;杨森，杰伦;德克·弗梅尔;马丁·德·科克

答案集编程中通信的表达能力。 （英语） Zbl 1266.68080号

理论与实践。日志。程序。 13，第3期，361-394（2013）.
摘要：答案集编程（ASP）是一种声明性编程形式，允许简洁地制定并有效地解决复杂问题。这种形式主义的直观扩展是交流ASP，其中多个ASP程序协作解决手头的问题。然而，交流ASP的表现力还没有被彻底研究。在本文中，我们对允许ASP程序通信所提供的额外表达能力进行了系统研究。首先，我们考虑一种简单的交流形式，其中程序只允许相互提问。在大多数情况下，我们故意只考虑简单的程序，即计算答案集的程序P（P）我们发现，在使用简单通信的ASP程序的某个答案集中，判断文字是否存在的问题是NP公司-很难。换句话说，由于这些简单的ASP程序能够进行通信和协作，我们在多项式层次结构中向前迈进了一步。其次，我们修改了通信机制，以使我们能够专注于通信程序的序列，其中序列中的每个程序可以依次删除一些剩余的模型。这模拟了一个领导者网络，其中第一个领导者拥有第一发言权，可能会删除他或她认为不满意的模型。使用这种特殊的通信机制，我们可以捕获整个多项式层次结构。这尤其意味着，通信ASP可以用于解决多项式层次结构第二级以上的问题，例如一些形式的溯源推理以及PSPACE完整问题，例如STRIPS规划。

MSC公司：

68N17号 逻辑编程

关键词：

逻辑程序设计;答案集编程;多智能体推理
PDF格式BibTeX公司 XML格式引用
\textit{K.Bauters}等人，《理论与实践》。日志。程序。13，第361-394号（2013年；兹bl 1266.68080）
全文： 内政部 arXiv公司

参考文献：

[1] ICLP 2010（2010）技术交流
[2] LPNMR’11会议录第67页
[3] 知识、表征、推理和陈述性问题解决（2003）·Zbl 1056.68139号
[4] 2005年PRIMA会议记录第365页–（2005）
[5] DOI:10.1023/A:1018978005636·Zbl 0940.68075号 ·doi:10.1023/A:1018978005636
[6] DOI:10.1016/S0004-3702（02）00186-8·Zbl 0995.68020号 ·doi:10.1016/S0004-3702（02）00186-8
[7] 文件编号：10.1007/BF01586088·兹伯利0588.90053 ·doi:10.1007/BF01586088
[8] 内政部：10.1016/0004-3702（94）90037-X·Zbl 0787.68093号 ·doi:10.1016/0004-3702（94）90037-X
[9] 内政部：10.1007/BF03037169·doi:10.1007/BF03037169
[10] ICLP’88年会议记录第1081页–（1988）
[11] ACM杂志38第620页–（1991）
[12] 2010年KR’10会议记录第497页
[13] ALPSWS’06国际研讨会论文集第33页–（2006）
[14] 2007年CLIMA会议记录
[15] DOI:10.2140/pjm.1955.5.285·Zbl 0064.26004号 ·doi:10.2140/pjm.1955.5.285
[16] 2005年IJCAI会议记录第558页–（2005）
[17] 计算复杂性（1994）·兹比尔083368049
[18] 内政部：10.1007/978-1-4615-1567-8·doi:10.1007/978-1-4615-1567-8
[19] 2005年IJCAI会议记录第90页–（2005）
[20] DOI:10.1016/j.artint.2008.04.002·Zbl 1183.68595号 ·doi:10.1016/j.artint.2008.04.002
[21] 内政部：10.1145/200836.200838·Zbl 0886.68121号 ·doi:10.1145/200836.200838
[22] AI Communications 12第99页–（1999）
[23] ICLP’10会议记录第26页–（2011年）
[24] 2008年ICLP会议记录第718页–（2008）
[25] 2005年DALT会议记录第72页–（2005）
[26] IJCAI'07会议记录第268页–（2007）
[27] MAS’99会议记录（1999）
[28] IJCAI’11会议记录第786页–（2011年）
[29] KR’10会议记录第60页–（2010年）
[30] AAAI'07会议记录第385页–（2007）
[31] 2009年ICLP会议记录第145页–（2009年）
[32] ASP'05会议记录第224页–（2003）
[33] DOI:10.1016/0004-3702（94）90081-7·兹比尔0821.68065 ·doi:10.1016/0004-3702（94）90081-7
[34] ESSLLI’11学生会议记录第25页–（2011年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。