保罗·费拉里斯;Lee,Joohyng先生;尤利亚·利勒;弗拉基米尔·利夫希茨;杨芳凯 用逻辑程序表示一阶因果理论。 (英语) Zbl 1247.68043号 理论与实践。日志。程序。 12,第3期,383-412(2012). 摘要:非单调因果逻辑,由介绍麦凯恩和H.特纳[“动作和变化的因果理论”,载于:《全国人工智能会议论文集》,加利福尼亚州斯坦福,460–465(1997)]成为几种表达性动作语言语义的基础。麦凯恩将确定性命题因果理论嵌入到逻辑编程中,为使用答案集解算器回答有关用这种语言描述的动作的问题铺平了道路。在本文中,我们将这种嵌入扩展到非定义理论和一阶因果逻辑。 引用于三文件 MSC公司: 68N17号 逻辑编程 03B10号机组 经典一阶逻辑 关键词:行动推理;非单调因果逻辑;答案集编程 软件:CCalc公司;f2低压;考拉 PDF格式BibTeX公司 XML格式引用 \textit{P.Ferraris}等人,《理论与实践》。日志。程序。12,第3号,383--412(2012;Zbl 1247.68043) 全文: 内政部 参考文献: [1] DOI:10.1023/A:1018930122475·Zbl 0940.68018号 ·doi:10.1023/A:1018930122475 [2] Shanahan,《解决框架问题:常识惯性定律的数学研究》(1997) [3] Lifschitz,国际人工智能联合会议(IJCAI)会议记录,第121页–(1985) [4] 内政部:10.1007/978-3-642-04238-6_51·兹伯利05628781 ·doi:10.1007/978-3-642-04238-6_51 [5] Lee,非单调推理(NMR)国际研讨会论文集(2010) [6] 比利时皇家学院格列文科。科学分类公报,第5期,第15页,第183页–(1929年) [7] Giunchiglia,《全国人工智能会议记录》,第623页–(1998年) [8] DOI:10.1016/j.artint.2010.04.011·Zbl 1227.68103号 ·doi:10.1016/j.artint.2010.04.011 [9] DOI:10.1016/j.artint.2002.12.001·Zbl 1085.68161号 ·doi:10.1016/j.artint.2002.12.001 [10] 内政部:10.1007/BF03037169·doi:10.1007/BF03037169 [11] Ferraris,逻辑编程(WLP)研讨会论文集,第35页–(2006) [12] Gelfond,国际逻辑编程会议和研讨会论文集,第1070页–(1988) [13] 数字对象标识码:10.1007/11546207_10·doi:10.1007/11546207_10 [14] 内政部:10.1007/978-1-4684-3384-5_11·doi:10.1007/978-1-4684-3384-5_11 [15] 数字对象标识码:10.1145/1459010.1459011·Zbl 1367.68320号 ·数字对象标识代码:10.1145/1459010.1459011 [16] Armando,第六届数字商务中的信任、隐私和安全国际会议记录(TrustBus’09)(2009年) [17] DOI:10.1016/j.artint.2003.08.002·Zbl 1085.68679号 ·doi:10.1016/j.artint.2003.08.002 [18] 内政部:10.1016/0004-3702(86)90032-9·doi:10.1016/0004-3702(86)90032-9 [19] 麦凯恩,《全国人工智能会议记录》,第460页–(1997年) [20] 马雷克,《逻辑编程范式:25年展望》第375页–(1999)·doi:10.1007/978-3-642-60008-2_17 [21] Lifschitz,《欧洲人工智能逻辑会议论文集》(JELIA),第247页–(2010)·兹比尔1306.68195 ·doi:10.1007/978-3-642-15675-5_22 [22] Lifschitz,《美国人工智能大会论文集》第1025页(2007年) [23] Lifschitz,《全国人工智能会议记录》(AAAI)第853页–(2006) [24] Lifschitz,AAAI人工智能会议记录第1594页–(2008) [25] DOI:10.1016/S0004-3702(97)00057-X·Zbl 0901.03022号 ·doi:10.1016/S0004-3702(97)00057-X [26] Lifschitz,《人工智能和逻辑编程逻辑手册》第298页–(1994年) [27] Mints,直觉主义逻辑简介(2000) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。