×
佩德罗·卡巴拉尔;豪尔赫·范丁诺

逻辑程序因果论证中的使能因素和抑制因素。 （英语） Zbl 1379.68049号

理论与实践。日志。程序。 17，第1期，49-74（2017）.
摘要：在本文中，我们提出了逻辑编程的一种扩展，其中从基础良好的模型派生的每个默认文字都与表示为代数表达式的理由相关联。该表达式包含因果解释（以规则标签构建的证明图的形式）和否定范围下的术语，代表启用或禁用因果规则应用的条件。通过一些示例，我们讨论了这些新条件如何分别称为启用码和抑制剂与缺省否定密切相关，并且与常规因果关系有本质上的不同。最重要的结果是与逻辑编程中证明的最新代数方法进行了形式上的比较：Why-not产地和因果图我们表明，当前的方法在良好的语义基础上扩展了Why-not起源和因果图证明，并且作为副产品，我们也在这两种方法之间建立了形式关系。

引用于2文件

MSC公司：

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

关键词：

因果证明;基础良好的语义学;稳定模型;答案集编程
PDF格式BibTeX公司 XML格式引用
\textit{P.Cabalar}和\textit{J.Fandeno}，理论与实践。日志。程序。17，编号1，49-74（2017；兹bl 1379.68049）
全文： 内政部 arXiv公司

参考文献：

[1] 卡巴拉省。，范迪诺J。和FinkM.2014a。逻辑程序的因果图证明。逻辑程序设计理论与实践TPLP14，4-5，603-618。英国剑桥大学出版社.10.1017/S1471068414000234·Zbl 1309.68028号 ·doi:10.1017/S1471068414000234
[2] 卡巴拉省。，范丁诺J。和FinkM.2014b。针对涉及充分和必要原因的查询的复杂性评估。程序中。人工智能中的逻辑——第14届欧洲会议，JELIA 2014，Funchal，Madeira，Portugal，2014年9月24-26日，E.Fermé和J.Leite，Eds.计算机科学讲稿，第8761卷。德国柏林施普林格，297-310·Zbl 1432.68057号
[3] 达马西奥。五、分析。和AntoniouG.2013。逻辑编程的理由。程序中。逻辑编程和非单调推理，第十二届国际会议，LPNMR 2013，西班牙科伦纳，2013年9月15-19日，P.Cabalar和T.C.Son，Eds.计算机科学讲稿，第8148卷。德国柏林施普林格，530-542·Zbl 1405.68053号
[4] DeneckerM.和SchreyeD。D.1993年。对齐语义：逻辑程序语义的统一框架。程序中。逻辑编程与非单调推理，第二届国际研讨会，LPNMR 1993，葡萄牙里斯本，1993年6月。麻省理工学院出版社，美国马萨诸塞州剑桥，365-379。
[5] 范丁诺J.2015a。逻辑编程的因果语义。西班牙科伦纳大学博士论文。
[6] 范丁诺J.2015b。从因果关系中得出结论。程序中。第八届答案集编程和其他计算范式国际研讨会，ASPOCP 2015，爱尔兰科克，2015年8月31日。
[7] 费拉里斯。，LeeJ。和LifschitzV.2007。关于稳定模型的新观点。程序中。第20届国际人工智能联合会议，2007年1月6日至12日，印度海得拉巴，IJCAI 2007，M.M.Veloso，编辑AAAI出版社，美国加利福尼亚州门罗公园，372-379。
[8] GebserM.、PührerJ.、SchaubT。和TompitsH.2008。用于调试应答程序的元程序设计技术。程序中。2008年7月13日至17日在美国伊利诺伊州芝加哥举行的第23届AAAI人工智能会议上，D.Fox和C.P.Gomes，美国加利福尼亚州门罗公园AAAI出版社编辑，448-453。
[9] GelfondM公司。和LifschitzV.1988。逻辑编程的稳定模型语义。《逻辑编程》，第五届国际会议和研讨会论文集，华盛顿州西雅图，8月15-19日，R.A.Kowalski和K.A.Bowen，麻省理工学院出版社编辑，美国马萨诸塞州剑桥，1070-1080。
[10] 2000年展厅。因果关系和传递性的代价。《哲学杂志》97，4，198-222。《哲学杂志》，美国纽约州纽约市，10.2307/2678390·doi:10.2307/2678390
[11] 2004年展厅。因果关系的两个概念。在《因果关系与反事实》一书中，J.Collins，N.Hall和L.A.Paul，马萨诸塞州坎布里奇编辑：麻省理工学院出版社，美国马萨诸塞洲坎布里奇，225-276。
[12] 霍尔N.2007。结构方程和因果关系。哲学研究132，1，109-136.10.1007/s11098-006-9057-9·doi:10.1007/s11098-006-9057-9
[13] 哈尔佩恩J。2008年。因果结构中的缺省和正常。《知识表示和推理原则：第十一届国际会议论文集》，KR 2008，澳大利亚悉尼，2008年9月16日至19日，G.Brewka和J.Lang，美国加利福尼亚州门罗公园AAAI出版社编辑，198-208年。
[14] 哈尔佩恩J。2014年。适当的因果模型和因果关系的稳定性。《知识表示和推理原则：第十四届国际会议论文集》，KR 2014，奥地利维也纳，2014年7月20日至24日，C.Baral、G.D.Giacomo和T.Eiter编辑，AAAI出版社，美国加利福尼亚州门罗公园。
[15] 哈尔佩恩J。2015年。修正了石龙珠因果关系的定义。程序中。2015年7月25日至31日在阿根廷布宜诺斯艾利斯举行的第24届国际人工智能联合会议上，Q.Yang和M.Wooldridge，AAAI出版社编辑，美国加利福尼亚州门罗公园，3022-3033。
[16] 哈尔佩恩J。Y.和HitchcockC.2011。实际因果关系和建模艺术。CoRR abs/1106.26522015年。
[17] HalpernJ。Y.和PearlJ.2001。原因和解释：结构模型方法。第一部分：原因。程序中。第17届人工智能不确定性会议，UAI 2001，美国华盛顿州西雅图华盛顿大学，8月2日至5日，Morgan Kaufmann，加利福尼亚州旧金山，194-202。
[18] 哈尔佩恩J。Y.和PearlJ.2005。原因和解释：结构模型方法。第一部分：原因。英国科学哲学杂志56，4，843-887。英国牛津大学出版社.10.1093/bjps/axi147·兹比尔1092.03003 ·doi:10.1093/bjps/axi147
[19] 汉克斯。和McDermottD。1987年5月。非单调逻辑和时间投影。人工智能33，3，379-412。美国宾夕法尼亚州费城，10.1016/0004-3702（87）90043-9·Zbl 0654.68107号 ·doi:10.1016/0004-3702（87）90043-9
[20] 希区柯克C。和KnobeJ.2009。原因和规范。《哲学杂志》11，587-612。《哲学杂志》，美国纽约州纽约市。
[21] 休谟1748。关于人类理解的调查。伊利诺伊州拉萨尔公开法庭出版社重印，1958年。
[22] 刘易斯。2000肯尼亚先令。因果关系即影响。《哲学杂志》97，4，182-197。《哲学杂志》，美国纽约州纽约市，10.2307/2678389·doi:10.2307/2678389
[23] LinF.1995年。在具体说明行动的间接影响时拥抱因果关系。程序中。第14届国际人工智能联合会议，1995年8月20日至25日，加拿大魁北克省蒙特利尔，IJCAI 95，2卷。Morgan Kaufmann，加利福尼亚州旧金山，1985年至1993年。
[24] 马雷克V。W.和Truszczyn skiM.1999。稳定模型和替代逻辑编程范式。在《逻辑编程范式》中，K.R.Apt、V.W.Marek、M.Truszczynski和D.Warren，《人工智能》编辑。德国柏林施普林格，375-398.1007/978-3642-60085-2·Zbl 0979.68524号 ·doi:10.1007/978-3642-60085-2
[25] 莫德林T.2004。因果关系、反事实和第三个因素。《因果关系与反事实》，J.Collins、E.J.Hall和L.A.Paul主编，麻省理工学院出版社，美国马萨诸塞州剑桥，419-443
[26] 麦凯恩。和TurnerH.1997。行动和变化的因果理论。程序中。第十四届全国人工智能和第九届人工智能创新应用会议，AAAI 97，IAAI 97（1997年7月27日至31日），罗得岛州普罗维登斯，B.Kuipers和B.L.Webber，编辑AAAI出版社/麻省理工学院出版社，美国加利福尼亚州/马萨诸塞州门罗公园/剑桥，460-465。
[27] 尼梅尔一世，1999年。具有稳定模型语义的逻辑程序作为约束编程范式。数学与人工智能年鉴25，3-4，241-273。施普林格，德国柏林。10.1023/A：1018930122475·Zbl 0940.68018号 ·doi:10.1023/A:1018930122475
[28] OetschJ公司。，PührerJ.和TompitsH.2010。捕捉乌鸦：关于调试非地面应答程序。程序中。CoRR abs/1007.49862010年。
[29] 皮尔斯D.1996。稳定模型和答案集的新逻辑特征。在逻辑编程的非单调扩展中，NMELP 1996，Bad Honnef，Germany，1996年9月5日至6日，论文选集，J.Dix，L.M.Pereira和T.C.Przymusinski，Eds.计算机科学讲义，第1216卷。德国柏林施普林格，57-70。
[30] 《珍珠杂志》，2000年。因果关系：模型、推理和推理。剑桥大学出版社，美国纽约州纽约市·Zbl 0959.68116号
[31] 彭马萨尼集团。，国合。，东洋。，罗摩克里希纳。R.和Ramakrishnai。2004年版。表格逻辑程序的在线证明。程序中。函数和逻辑编程，第七届国际研讨会，FLOPS 2004，日本奈良，2004年4月7日至9日，Y.Kameyama和P.J.Stuckey，Eds.计算机科学讲义，第2998卷。德国柏林施普林格，24-38·Zbl 1122.68386号
[32] 庞泰利。，桑特。C.和El-KhatibO.2009。答案集语义下逻辑程序的理由。逻辑程序设计理论与实践TPLP9，1，1-56。英国剑桥大学出版社.10.1017/S1471068408003633·兹比尔1170.68005 ·文件编号：10.1017/S1471068408003633
[33] 舒尔茨。和2016年ToniF。使用论证证明答案集的合理性。《逻辑程序设计理论与实践》TPLP16，1，59-110。英国剑桥大学出版社.10.1017/S1471068414000702·兹比尔1379.68301 ·文件编号：10.1017/S1471068414000702
[34] 1993年展望。在演绎数据库系统中，甚至为否定生成解释树。程序中。第15届逻辑编程环境研讨会（LPE 1993），1993年10月29日至30日，与ILPS 1993联合，加拿大不列颠哥伦比亚省温哥华，M.Ducassé，B.L.Charlier，Y.Lin和L.U。Yalçinalp，Eds.IRISA，Campus de Beaulieu，France，8-13。
[35] 蒂尔舍尔M.1997。分枝和因果关系。人工智能89，1-2，317-364。Morgan Kaufmann，加利福尼亚州旧金山，邮编：10.1016/S0004-3702（96）00033-1·Zbl 1018.03514号 ·doi:10.1016/S0004-3702（96）00033-1
[36] 范·盖尔德（Van Gelder），1989年。带有否定的逻辑程序的交替不动点。程序中。第八届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会，1989年3月29日至31日，美国宾夕法尼亚州费城，A.Silberschatz，Ed.ACM Press，Inc，美国纽约州纽约市，1-10。
[37] 范·盖尔德拉。，罗斯K。A.和SchlipfJ。S.1991年。通用逻辑程序的基础良好的语义。美国医学会杂志（JACM）38，3，620-650。美国纽约州纽约市ACM出版社·兹比尔0799.68045
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。