×

基于规则的答案集计算中的对正和阻塞集。 (英语) Zbl 1428.68090号

Carro,Manuel(编辑)等人,第32届逻辑编程国际会议的技术交流,ICLP 2016,2016年10月16日至21日,美国纽约。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。52,第6条,第15页(2016年)。
摘要:基于原子的方法或论证方法最近研究了答案集语义下逻辑程序的证明概念。本文解决了基于规则的答案集计算中的问题:搜索算法不猜测原子的真或假,而是猜测非单调规则的应用或不应用。在此视图中,对正是具有特定属性的基本规则集。确定了这些理由的性质;特别是定义了阻塞集(与答案集不兼容的原因)的概念,它允许解释计算失败。回跳、学习、调试和解释都是可能的应用。
关于整个系列,请参见[Zbl 1407.68025号].

MSC公司:

68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[2] C.V.Damásio、J.Moura和A.Analyti。统一应答程序的理由和调试。ICLP 2015, 2015. ·Zbl 1407.68087号
[3] M.Dao Tran、T.Eiter、M.Fink、G.Weidinger和A.Weinzierl。OMiGA:一个开放的基础即时答案集求解器。JELIA 2012年,第480-483页,2012年。
[4] T.Eiter、M.Fink、P.Schüller和A.Weinzierl。寻找多上下文系统中不一致性的解释。2010年韩国, 2010. ·Zbl 1309.68177号
[5] M.Gebser、B.Kaufmann、A.Neumann和T.Schaub。冲突驱动的答案集求解。国际JCAI 2007,第386-392页,2007年·Zbl 1149.68332号
[6] :15
[7] M.Gebser、J.Pührer、T.Schaub和H.Tompits。用于调试应答程序的元程序设计技术。AAAI 2008年,第448-4532008页。
[8] M.Gelfond和V.Lifschitz。逻辑编程的稳定模型语义。逻辑 第五届国际会议和专题讨论会的规划、会议记录,第1070-1080页,1988年。
[9] K.Konczak、T.Linke和T.Schaub。答案集编程的图形和颜色。逻辑程序设计理论与实践2006年1月6日,6:61-106。doi:10.1017/S1471068405002528·Zbl 1109.68081号
[10] C.Lefèvre、C.Béatrix、I.Stéphan和L.Garcia。Asperix,一种用于答案集计算的一阶前向链接方法。CoRR公司,abs/1503.07717:(将出现在TPLP中),2015年。网址:http://arxiv.org/abs/11503.07717。 ·Zbl 1379.68075号
[11] C.Lefèvre和P.Nicolas。用于答案集计算的一阶前向链方法。LPNMR 2009年,第196-208页,2009年·Zbl 1258.68033号
[12] C.Lefèvre和P.Nicolas。新ASP解算器的第一个版本:ASPeRiX.In低密度核磁共振 2009,第522-527页,2009年。
[13] N.Leone、G.Pfeifer、W.Faber、T.Eiter、G.Gottlob、S.Perri和F.Scarcello。用于知识表示和推理的DLV系统。ACM计算事务 逻辑, 7(3):499-562, 2006. doi:10.1145/1149114.1149117·Zbl 1367.68308号
[14] L.Liu、E.Pontelli、T.C.Son和M.Truszczynski。具有抽象约束原子的逻辑程序:计算的作用。人工智能, 174(3-4):295-315, 2010. doi:10.1016/j.artint.2009.11.016·Zbl 1207.68119号
[15] J.Oetsch、J.Pührer和H.Tompits。逐步完成回答程序。低密度核磁共振 2011,第134-147页,2011年·Zbl 1327.68068号
[16] A.Dal Palö、A.Dovier、E.Pontelli和G.Rossi。使用惰性接地回答带有约束的集合编程。ICLP 2009, 2009. ·兹伯利1207.68118
[17] E.Pontelli、T.C.Son和O.El-Khatib。答案集语义下逻辑程序的理由。逻辑程序设计理论与实践, 9(1):1-56, 2009. doi:10.1017/S1471068408003633·Zbl 1170.68005号
[18] C.舒尔茨和F.托尼。使用论证证明答案集的合理性。理论与实践 逻辑编程, 16(1):59-110, 2016. doi:10.1017/S1471068414000702·Zbl 1379.68301号
[19] P.Simons、I.Niemelä和T.Soininen。扩展和实现稳定的模型语义。人工智能, 138(1-2):181-234, 2002. doi:10.1016/S0004-3702(02)00187-X·Zbl 0995.68021号
[20] A.魏因齐尔。学习解决问题的非基本规则。第二次研讨会 《变量理论的基础与转化》,GTTV 2013, 2013.
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。