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

逻辑程序因果证明中的使能器和抑制器。 （英语） Zbl 1357.68029号

Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：施普林格（ISBN 978-3-319-23263-8/pbk；978-3-3169-23264-5/pbk）。计算机科学9345课堂讲稿。《人工智能讲义》，199-212（2015）。
复杂的知识可以自然地用富含默认否定的逻辑程序来表示。在这种情况下，正在审查的论文的作者有兴趣确定从给定逻辑程序中表示的知识中导出的原子的解释。具体来说，作者区分了启用码和抑制剂，其中原子的启用码（p\）是允许派生\（p\。本文引言中的一个例子很好地阐明了这些概念。然后在本文的其余部分中提供了代数形式化。
总之，这是一篇很好的阅读，以严谨和正式的方式呈现了一个有趣的主题。
关于整个系列，请参见[Zbl 1320.68014号].
审核人：马里奥·阿尔维亚诺（伦德）

MSC公司：

第68页第17页 逻辑编程
68T27型 人工智能中的逻辑
68立方英尺 知识表示

关键词：

逻辑程序设计;因果证明;基础良好的语义学
PDF格式BibTeX公司 XML格式引用
\textit{P.Cabalar}和\textit{J.Fandeno}，莱克特。注释计算。科学。9345，199--212（2015；Zbl 1357.68029）
全文： 内政部 arXiv公司

参考文献：

[1] Niemelä，I.，《将稳定模型语义作为约束编程范式的逻辑程序》，Ann.Math。Artif公司。智力。，25, 241-273 (1999) ·Zbl 0940.68018号 ·doi:10.1023/A:1018930122475
[2] 大众汽车公司马雷克；特鲁什琴基，M。；阿普特，吉尔吉斯斯坦共和国；大众汽车公司马雷克；特鲁什琴基，M。；沃伦，DS，《稳定模型和替代逻辑编程范式》，《逻辑编程范式，375-398》（1999），海德堡：斯普林格出版社·Zbl 0979.68524号 ·doi:10.1007/978-3-642-60085-2_17
[3] Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。摘自：《逻辑程序设计：第五届国际会议和专题讨论会论文集》，第2卷（1988年）
[4] Van Gelder，A。；KA罗斯；Schlipf，JS，《通用逻辑程序的良好语义》，J.ACM（JACM），38，619-649（1991）·Zbl 0799.68045号 ·数字对象标识代码：10.1145/116825.116838
[5] Specht，G.：在演绎数据库系统中生成即使是否定的解释树。收录于：LPE 1993，第8-13页（1993）
[6] 彭马萨尼，G。；郭，H-F；Dong，Y。；罗摩克里希南，CR；罗摩克里希南四世；Kameyama，Y。；Stuckey，PJ，表格逻辑程序的在线论证，功能和逻辑编程，24-38（2004），海德堡：施普林格·Zbl 1122.68386号 ·doi:10.1007/978-3-540-24754-84
[7] Gebser，M.，Pührer，J.，Schaub，T.，Tompits，H.：用于调试应答程序的元编程技术。摘自：第23届人工智能会议记录（AAAI 2008）（2008）
[8] Oetsch，J。；Pührer，J。；Tompits，H.，《抓住乌鸦：调试非地面应答程序》，理论与实践。逻辑程序。，10, 513-529 (2010) ·Zbl 1213.68182号 ·doi:10.1017/S1471068410000256
[9] Schulz，C.，Toni，F.：基于ABA的答案集证明。在：TPLP 13（4-5-在线增补）（2013）
[10] Denecker，M.，De Schreye，D.：证明语义：逻辑程序语义的统一框架。收录：LPNMR研讨会论文集（1993）
[11] 彭泰利，E。；儿子，TC；El-Khatib，O.，《答案集语义下逻辑程序的合理性》，理论与实践。逻辑程序。（TPLP），9，1-56（2009年）·Zbl 1170.68005号 ·文件编号：10.1017/S1471068408003633
[12] Viegas Damásio，C。；Analyti，A。；安东尼奥，G。；Cabalar，P。；TC Son，《逻辑编程、逻辑编程和非单调推理的合理性》，530-542（2013），海德堡：施普林格出版社·Zbl 1405.68053号 ·doi:10.1007/978-3-642-40564-8_53
[13] Cabalar，P。；范迪诺，J。；Fink，M.，逻辑程序的因果图证明，TPLP，14，603-618（2014）·Zbl 1309.68028号
[14] 霍尔，N。；柯林斯，J。；霍尔，EJ；Paul，LA，因果关系的两个概念，因果关系和反事实，225-276（2004），剑桥：麻省理工学院出版社，剑桥
[15] Hall，N.，《结构方程与因果关系》，Philos。螺柱，132109-136（2007）·doi:10.1007/s11098-006-9057-9
[16] Cabalar，P。；范迪诺，J。；芬克，M。；费尔梅，E。；Leite，J.，《涉及充分和必要原因的查询复杂性评估》，《人工智能中的逻辑》，297-310（2014），海德堡：施普林格·Zbl 1432.68057号
[17] Van Gelder，A.：逻辑程序与否定的交替不动点。摘自：第八届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集，第1-10页。ACM（1989）
[18] Lin，F.：在指定行为的间接影响时，拥抱因果关系。摘自：Mellish，C.S.（编辑）《国际人工智能联合会议（IJCAI）会议记录》。Morgan Kaufmann，蒙特利尔（1995）
[19] 麦凯恩，N.，特纳，H.：行动与变革的因果理论。载于：1997年AAAI会议记录，第460-465页（1997年）
[20] Thielscher，M.，《分枝与因果关系》，Artif。智力。J.，1-2317-364（1997）·Zbl 1018.03514号 ·doi:10.1016/S0004-3702（96）00033-1
[21] Pearl，J.，《因果关系：模型、推理和推断》（2000），纽约：剑桥大学出版社，纽约·Zbl 0959.68116号
[22] Halpern，J.Y.，Hitchcock，C.：实际因果关系和建模艺术。arXiv预印arXiv:1106.2652（2011）·Zbl 1269.03009号
[23] 休谟：《关于人类理解的调查》（1748），公开法庭出版社再版。伊利诺伊州拉萨尔（1958）
[24] 梅里奥，A。；盖特鲍尔，W。；JY Halpern；科赫，C。；KF摩尔；Suciu，D.，数据库因果关系，IEEE数据工程公告。，33, 59-67 (2010)
[25] Vennekens，J.，《CP-logic中的实际因果关系》，TPLP，11647-662（2011）·Zbl 1231.03007号
[26] Viegas Damásio，哥伦比亚。；Analyti，A。；安东尼奥，G。；卡巴拉，P。；TC Son，《逻辑编程、逻辑编程和非单调推理的合理性》，530-542（2013），海德堡：施普林格出版社·Zbl 1405.68053号 ·doi:10.1007/978-3-642-40564-8_53
[27] Maudlin，T。；柯林斯，J。；霍尔，EJ；Paul，LA，《因果关系、反事实以及第三个因素因果关系和反事实》（2004），剑桥：麻省理工学院出版社，剑桥
[28] Halpern，J.Y.：因果结构中的缺省和正规性。参见：Brewka，G.，Lang，J.（编辑）《第十一届知识表示和推理原则国际会议论文集》（KR 2008），第198-208页。AAAI出版社（2008）
[29] 希区柯克，C。；Knobe，J.，《原因与规范》，J.Philos。，11, 587-612 (2009)
[30] 皮尔斯，D。；迪克斯·J。；普日穆辛斯基，TC；Moniz Pereira，L.，《稳定模型和答案集的新逻辑特征》。，逻辑程序设计的非单调扩展（1997），海德堡：斯普林格·doi:10.1007/BFb0023801
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。