×

\(\mathbb{FDNC}\):带函数符号的可判定非单调析取逻辑程序。 (英语) Zbl 1137.68334号

Dershowitz,Nachum(编辑)等人,《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75558-6/pbk)。计算机科学课堂讲稿4790。人工智能课堂讲稿,514-530(2007)。
摘要:当前的答案集编程系统是建立在无功能符号的非单调逻辑程序上的;众所周知,它们通常导致高度不确定性。然而,函数符号对于各种应用程序来说都是非常理想的,这就对找到这种设置的有意义和可判定的片段提出了挑战。我们提出了逻辑程序类(mathbb{FDNC}),该类允许函数符号、析取、答案集语义和约束下的非单调否定,同时仍保留标准推理任务的可判定性。由于这些功能,它们是一种强大的形式主义,可用于对具有潜在无限进程和对象的应用程序进行基于规则的建模,这也允许进行常识推理。我们表明,一致性检查和勇敢推理通常是ExpTime-complete,但对于受限片段来说复杂度较低,并概述了这些任务的最坏情况下的最佳推理过程。此外,我们给出了一个(mathbb{FDNC})程序可能无限多个无限稳定模型的有限表示,可以利用它进行知识编译。
关于整个系列,请参见[Zbl 1136.68004号].

MSC公司:

68N17号 逻辑编程
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Baselice,S。;博纳蒂,P.A。;Criscuolo,G。;达尔,V。;Niemelä,I.,《有限递归程序》,ICLP 2007,89-103(2007),海德堡:施普林格,海德伯格·Zbl 1213.68170号
[2] Bonatti,P.A.,《无限稳定模型的推理》,Artif。智力。,156, 1, 75-111 (2004) ·Zbl 1085.68681号 ·doi:10.1016/j.artint.2004.02.001
[3] 艾特,T。;Faber,W。;塞拉利昂,北卡罗来纳州。;Pfeifer,G。;Poleres,A.,《知识状态规划的逻辑编程方法:语义和复杂性》,《ACM计算逻辑事务》,5,2,206-263(2004)·Zbl 1367.68301号 ·数字对象标识代码:10.1145/976706.976708
[4] 艾特,T。;Gottlob,G.,《析取逻辑编程的计算成本:命题案例》,《数学与人工智能年鉴》,第15、3-4、289-323页(1995年)·Zbl 0858.68016号 ·doi:10.1007/BF01536399
[5] 艾特,T。;Gottlob,G.,《带函数的析取逻辑程序的稳定模型语义的表达》,J.Log。程序。,33167-178(1997年)·兹比尔0890.68030 ·doi:10.1016/S0743-1066(97)00027-7
[6] Gelfond,M。;Lifschitz,V.,逻辑程序和析取数据库中的经典否定,新一代计算。,9, 3-4, 365-386 (1991) ·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[7] Giunchiglia,E.,Lifschitz,V.:基于因果解释的行动语言:初步报告。In:AAAI 1998年。第十五届全国人工智能会议记录,第623-630页(1998年)
[8] Heymans,S.:可决定开放答案集编程。比利时布鲁塞尔Vrije大学计算机科学系理论计算机科学实验室(TINF)博士论文(2006年2月)·Zbl 1177.68041号
[9] 海曼斯,S。;Nieuwenborgh,D.V。;Vermeir,D。;Gómez-Pérez,A。;Euzenat,J.,《扩展概念逻辑程序的非单调本体论和基于规则的推理》,《语义网络:研究与应用》,392-407(2005),海德堡:斯普林格
[10] 塞拉利昂,北卡罗来纳州。;Pfeifer,G。;Faber,W。;艾特,T。;Gottlob,G。;佩里,S。;Scarcello,F.,《用于知识表示和推理的DLV系统》,ACM计算逻辑学报,7,3,499-562(2006)·Zbl 1367.68308号 ·数字对象标识代码:10.1145/1149114.1149117
[11] Marek,V.W.,Remmel,J.B.:关于稳定逻辑编程的可表达性。收录于:LPNMR,第107-120页(2001)·Zbl 1007.68024号
[12] 马雷克·W。;Nerode,A。;Remmel,J.,递归逻辑程序的稳定模型集有多复杂?,《纯粹逻辑与应用逻辑年鉴》,56119-135(1992)·Zbl 0766.03024号 ·doi:10.1016/0168-0072(92)90069-C
[13] Minker,J.,演绎数据库和逻辑编程基础(1988),旧金山:Morgan Kaufmann,旧金山·Zbl 0699.68009号
[14] Motik,B.,Horrocks,I.,Sattler,U.:缩小OWL和关系数据库之间的差距。In:程序。WWW 2007,第807-816页(2007)
[15] 西蒙斯,P。;尼美拉,I。;Soininen,T.,《扩展和实现稳定模型语义》,《人工智能》,138181-234(2002)·Zbl 0995.68021号 ·doi:10.1016/S0004-3702(02)00187-X
[16] Woltran,S.:答案集编程:模型应用和概念验证。技术报告WP5,答案集编程工作组(WASP,IST-FET-2001-37004)(2005年7月),在线阅读http://www.kr.tuwien.ac.at/projects/WASP/report.html
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。