×
斯特凡妮娅·科斯坦蒂尼;安德烈亚·福米萨诺

基于资源的答案集语义中的查询回答。 （英语） Zbl 1379.68052号

理论与实践。日志。程序。 16，第5-6号，619-635（2016）.
摘要：在最近的工作中，我们定义了基于资源的答案集语义，这是对答案集语义的扩展，它源于对答案集与线性逻辑关系的研究。事实上，新语义的名称来源于这样一个事实，即在线性逻辑公式中，每个文字（包括否定文字）都被视为一种资源。在本文中，我们提出了一个在这种扩展语义下，用于回答集程序的查询-应答过程，该过程类似于Prolog，是对带有否定的逻辑程序的XSB解析的扩展。我们证明了所提过程的形式属性。正在考虑在TPLP中验收。

引用于4文件

MSC公司：

68N17号 逻辑编程
03B70号 计算机科学中的逻辑
68问题55 计算理论中的语义学

关键词：

答案集编程;过程语义学;自上而下的问答

软件：

XSB公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Costantini}和\textit{A.Formisano}，理论与实践。日志。程序。16，编号5--619-635（2016；兹bl 1379.68052）
全文： 内政部 arXiv公司

参考文献：

[1] 英国公寓。R.和BolR。1994年4月。逻辑编程与否定：一项调查。J.日志。项目19/20，9-71.10.10016/0743-1066（94）90024-8·Zbl 0942.68518号 ·doi:10.1016/0743-1066（94）90024-8
[2] 巴拉尔C.2003。知识表示、推理和陈述性问题解决。剑桥大学出版社，美国纽约州纽约市·Zbl 1056.68139号
[3] 博纳提普。A.、庞泰利。和SonT。2008年左右。答案集编程的可信解决方案。程序中。AAAI 2008年版，D.Fox和C.P.Gomes，AAAI出版社编辑，418-423。
[4] CalimeriF.、GebserM、Maratea M。和RiccaF.2016。第五届答案集编程竞赛的设计和结果。Artif公司。情报.231151-181.10.1016/j.artint.2015.09.008·Zbl 1344.68042号 ·doi:10.1016/j.artint.2015.09.008
[5] 陈伟。和沃伦D。S.1993年。一种面向目标的方法，用于计算基础良好的语义。J.日志。程序17、2/3和4，279-30.10.1016/0743-1066（93）90034-E·Zbl 0783.68022号 ·doi:10.1016/0743-1066（93）90034-E
[6] 科斯坦蒂尼。和FormisanoA.2010。用资源回答集合编程。逻辑与计算杂志20，2，533-571.10.1093/log.com/exp071·兹比尔1200.68065 ·doi:10.1093/log.com/exp071
[7] CostantiniS公司。和FormisanoA.2011。ASP中具有首选项的权重约束。程序中。LPNMR’11。LNCS，第6645卷。加拿大温哥华施普林格，229-235·Zbl 1327.68061号
[8] 科斯坦蒂尼。和FormisanoA.2013。RASP和ASP是线性逻辑的一部分。应用非经典逻辑杂志23，1-249-74.1080/11663081.2013.798997·Zbl 1400.68047号 ·doi:10.1080/11663081.2013.798997
[9] 科斯坦蒂尼。和FormisanoA.2014。基于资源的答案集语义中的查询回答。程序中。第29届意大利计算逻辑会议。意大利都灵CEUR。还出现在2014年第七届ASPOCP研讨会上。
[10] 科斯坦蒂尼。和FormisanoA.2015。否定作为一种资源：关于答案集语义的新观点。芬丹。通知140、3-4、279-305.10.3233/FI-2015-1255·Zbl 1352.68036号 ·doi:10.3233/FI-2015-1255
[11] 科斯坦蒂尼。和FormisanoA.2016。“基于资源的答案集语义中的查询答案”的在线补充材料。TPLP档案。另请参阅中的arXiv版本http://arxiv.org/abs/1608.01604，CoRR公司。
[12] 迪克斯J.1995。规范逻辑程序语义的分类理论I-II。芬丹。通知22、3、227-255和257-288·Zbl 0829.68022号
[13] FaberW.、。，利昂内。和Pfeifer G.2011。答案集编程中递归聚合的语义和复杂性。人工智能175，1，278-298.10.1016/j.artint.2010.04.002·Zbl 1216.68263号 ·doi:10.1016/j.artint.2010.04.002
[14] GebserM.、GharibM.、MercerR.E.和SchaubT.2009。单调答案集编程。J.日志。计算19、4、539-564.10.1093/log.com/exn040·Zbl 1180.68100号 ·doi:10.1093/log.com/exn040
[15] GebserM.和SchaubT.2006。用于答案集编程的Tableau演算。程序中。ICLP 2006，S.Etalle和M.Truszczynski，LNCS编辑，第4079卷。美国西雅图施普林格，11-25·Zbl 1131.68375号
[16] GelfondM.2007年。答案集。在《知识表示手册》中。第7章。荷兰阿姆斯特丹爱思唯尔，285-316。
[17] GelfondM公司。和LifschitzV.1988。逻辑编程的稳定模型语义。程序中。第五届国际逻辑编程会议和研讨会，R.Kowalski和K.Bowen，麻省理工学院出版社，美国西雅图，1070-1080。
[18] Giunchiglia东部。，利昂内。和MarateaM.2008。关于答案集求解者之间的关系。安。数学。Artif公司。智能53，1-4169-204.1007/s10472-009-9113-1·兹比尔1165.68333 ·doi:10.1007/s10472-009-9113-1
[19] 林夫。和YouJ.2002。逻辑编程中的诱拐：基于重写的新定义和诱拐过程。人工智能140，1/2，175-205.1016/S0004-3702（02）00227-8·Zbl 0999.68092号 ·doi:10.1016/S0004-3702（02）00227-8
[20] 劳埃德J。1993年5月。逻辑编程基础，第二版，施普林格，美国纽约·Zbl 0807.68001号
[21] 马雷克V。W.和TruszczyńskiM.1991a。自认知逻辑。ACM38的J，3587-618.10.1145/116825.116836·兹比尔0799.68176 ·数字对象标识代码：10.1145/116825.116836
[22] 马雷克V。W.和Truszczyn ski M.1991b。计算自认知展开的交集。程序中。LPNMR 1991。麻省理工学院出版社，美国华盛顿特区，35-70。
[23] 马雷克V。W.和Truszczyn ski，1993年。反思性自认知逻辑和逻辑编程。程序中。《LPNMR 1993》，A.Nerode和L.M.Pereira主编，麻省理工学院出版社，115-131。
[24] 马雷克V。W.和Truszczyn skiM.1999。稳定逻辑编程——一种替代逻辑编程范式。柏林施普林格，海德堡，375-398·Zbl 0979.68524号
[25] 马普勒。和GuptaG.2014。目标导向答案集编程中的动态一致性检查。逻辑编程的理论与实践14，4-5415-427.10.1017/S1471068414000118·Zbl 1307.68020号 ·文件编号：10.1017/S147106841400118
[26] 西蒙斯。，尼美拉一世。和SoininenT.2002。扩展和实现稳定的模型语义。人工智能138，1-2，181-234.10.1016/S0004-3702（02）00187-X·Zbl 0995.68021号 ·doi:10.1016/S0004-3702（02）00187-X
[27] 斯威夫特。和沃伦D。2012年上半年。XSB：用表逻辑编程扩展Prolog。逻辑程序设计的理论与实践12，1-2，157-187.10.1017/S1471068411000500·Zbl 1244.68021号 ·doi:10.1017/S1471068411000500
[28] 特鲁什琴斯基M.2007。用于知识表示的逻辑编程。逻辑编程，第23届国际会议，ICLP 2007，V.Dahl和I.Niemelä，Eds.Springer，76-88·Zbl 1213.68185号
[29] 范·盖尔德拉。，罗斯克。A.和SchlipfJ。S.1991年。通用逻辑程序的基础良好的语义。《美国医学会期刊》38，3，620-650·兹比尔0799.68045
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。