×

兹马思-数学第一资源

法拉利，保罗;李，卓容;利勒，尤利娅;利夫希茨，弗拉基米尔;杨芳凯
用逻辑程序表示一阶因果理论。（英语） Zbl 1247.68043
理论实践。日志。程序。 第12期，第383-412期（2012年）.
摘要：非单调因果逻辑，由N、 麦凯恩和H、 特纳[“行为和变化的因果理论”，in:the national conference on artificial intelligence（AAAI），Stanford，CA.460–465（1997）]成为几种表达行为语言语义的基础。麦凯恩在逻辑编程中嵌入了明确的命题因果理论，为使用答案集解算器来回答有关用这种语言描述的行为的问题铺平了道路。在本文中，我们将这种嵌入扩展到非限定理论和一阶因果逻辑。

引用于三文件
理学硕士：
68N17 逻辑程序设计
03B10号 经典一阶逻辑
关键词：
关于行动的推理;非单调因果逻辑;答案集编程
软件：
CCalc公司;煤;f2lp公司
PDF格式 BibTeX公司 XML 引用
\textti{P.feraris}等，理论实践。日志。程序。12，第3期，383--412（2012年；Zbl 1247.68043）
全文： 内政部
参考文献：
[1] DOI:10.1023/账号：1018930122475·Zbl 0940.68018·doi:10.1023/账号：1018930122475
[2] 谢纳汉，解决框架问题：惯性常识定律的数学考察（1997）
[3] 《人工智能国际联席会议论文集》第121-121页——（1985）
[4] DOI:10.1007/978-3-642-04238-6_51·Zbl 05628781·doi:10.1007/978-3-642-04238-6_51
[5] 李，非单调推理国际研讨会论文集（2010）
[6] 格里文科，比利时皇家学院。科学类公报，5 15页183–（1929年）
[7] 朱希格里亚，《全国人工智能会议论文集》（AAAI）第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] 费拉里斯，《逻辑编程研讨会论文集》（WLP）第35页–（2006年）
[12] Gelfond，《国际逻辑程序设计会议论文集》第1070页–（1988年）
[13] DOI:10.1007/11546207·doi:10.1007/11546207_10
[14] DOI:10.1007/978-1-4684-3384-5_11·doi:10.1007/978-1-4684-3384-5_11
[15] DOI:10.1145/1459010.1459011·Zbl 1367.68320号·doi:10.1145/1459010.1459011
[16] Armando，《第六届数字商务中的信任、隐私和安全国际会议论文集》（TrustBus'09）（2009年）
[17] DOI:10.1016/j.artint.2003.08.002·Zbl 1085.68679·2003年8月10日
[18] DOI:10.1016/0004-3702（86）90032-9·doi:10.1016/0004-3702（86）90032-9
[19] 麦凯恩，《全国人工智能会议论文集》（AAAI）第460页–（1997年）
[20] 《逻辑程序设计范式：25年展望》第375页–（1999年）·地址：10.1007/978-3-642-60085-2_17
[21] Lifschitz，欧洲人工智能逻辑会议论文集（JELIA）第247页–（2010年）·Zbl 1306.68195·doi:10.1007/978-3-642-15675-5_22
[22] Lifschitz，《全国人工智能会议论文集》（AAAI）第1025页–（2007年）
[23] Lifschitz，《全国人工智能会议论文集》（AAAI）第853页–（2006年）
[24] 第1594届希利法伊人工智能会议论文集）
[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标识符，并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献，而不要求匹配的完整性或精确性。