卡巴拉，佩德罗;桑托斯，保罗E。 使渔夫的愚蠢之谜正式化。（英语） 兹布1216.68258 人工制品。因特尔。 第377175-346号（2011年）. 摘要：本文从行为推理和变化角度研究了空间物体操作中涉及的常识知识的编码问题。特别地，我们提出了一个形式化的解决方案来解决由非平凡对象（如洞和字符串）组成的谜题，假设一个情境演算的版本写在一阶平衡逻辑上，其模型概括了稳定的模型语义。 引用于三文件 理学硕士： 68T27型 人工智能中的逻辑 关键词：常识推理;定性空间推理;关于行动和变化的推理 软件：f2lp公司 PDF格式 BibTeX公司 XML 引用 \texttit{P.Cabalar}和\texdit{P.E.Santos}，人工制品。因特尔。175，第1346-377号（2011年；Zbl 1216.68258） 全文： 内政部 参考文献： [1] () [2] Cohn，A.G.；Hazarika，S.M.，《定性空间表示和推理：概述》，信息基础，46，1-2，1-29，（2001）·Zbl 0974.68206 [3] 科恩，A.G.；伦兹，J.，《定性空间表征与推理》，第551-596页 [4] 苏昌斯基，M.；桑托斯，P.，《关于动态深度剖面的推理》，第30-34页 [5] 《情境演算中的动态空间系统建模》，《空间认知与计算》，8，1-2，86-130，（2008） [6] Reiter，R.，《行动中的知识：指定和实现动力系统的逻辑基础》（2002年），麻省理工学院出版社剑桥 [7] Shanahan，M.，《解决框架问题：惯性常识定律的数学研究》（1997），麻省理工学院出版社剑桥 [8] Davis，E.，《常识知识的表现》（1990），摩根考夫曼 [9] () [10] Davis，R.；Shrobe，H.；Szolovits，P.，“什么是知识表示？”？，AI杂志，14，1，17-33，（1993） [11] 《非单调推理：常识的逻辑基础》（1991），剑桥大学出版社·Zbl 0723.68099 [12] Shanahan，M.，框架问题，in:E.N.Zalta（编辑），《斯坦福哲学百科全书》，2008年秋季 [13] Hanks，S.；McDermott，D.，《非单调逻辑和时间投影》，人工智能，33，3，379-412，（1987）·Zbl 0654.68107 [14] 西蒙，H.；谢弗，J.，《国际象棋游戏》，第1-17页·Zbl 0968.91509 [15] 麦卡锡，J.，人工智能作为体育，科学，27653181518-1519，（1997） [16] P、 卡巴拉，P.桑托斯，《弦与洞：空间推理的练习》，载：第十届伊比利亚-美洲人工智能会议（伊比利亚美洲'06年），载：人工智能讲座笔记，第4140卷，2006年，第419-429页。·Zbl 1385.68045 [17] 麦卡锡，J.；海耶斯，P.，《从人工智能的角度看一些哲学问题》，《机器智能杂志》，4463-512，（1969）·中银0226.68044 [18] Pearce，D.；Valverde，A.，《量化平衡逻辑和这里和那里的一阶逻辑》（2006），西班牙Málaga大学，技术代表MA-06-02 [19] 麦卡锡，J.，限制：非单调推理的一种形式，人工智能，13，27-39，（1980）·Zbl 0435.68073 [20] Lifschitz，V.，《界限》，第页，第297-352页 [21] J、 麦卡锡，《常识程序》，in:Proc。关于思维过程机械化的泰丁顿会议，1959年，第75-91页。 [22] McCarthy，J.，《精化容忍》（1999） [23] 《关于空间的推理：洞的故事，逻辑与逻辑哲学》，4，3-39，（1996）·Zbl 0983.03008 [24] Casati，R.；Varzi，A.C.，《零件和位置》（1999年），麻省理工学院出版社 [25] Santos，P.；Cabalar，P.，《在mereotopology中玩一个谜题，空间认知与计算》，8，1-2，47-64，（2008） [26] T、 森田，高松，小川，木村，池口，观察结规划，in:Proc。IEEE ICRA，2003年，第3887-3892页。 [27] Takamatsu，J.；Morita，T.；Ogawara，K.；Kimura，H.；Ikeuchi，K.《打结任务的表示》，《IEEE机器人学报》，22，1，65-78，（2006） [28] Reidemeister，K.，《结理论》（1983年），BCS协会·57005ZB04 [29] Abolhassani，N.；Patel，R.；Moallem，M.，《针头插入软组织：调查》，医学工程与物理学，29，4，413-431，（2007） [30] Kowalski，R.；Sergot，M.，《基于逻辑的事件演算》，新一代计算，4，67-95，（1986）·Zbl 1356.68221 [31] A、 贝克，《耶鲁枪击问题的简单解决方案》，in:Proc。知识表示与推理国际会议，1989年，第11-20页。·Zbl 0709.68087 [32] 桑德沃尔，E.，特征和水槽。《动力系统知识表示的系统方法》（1994），牛津大学出版社 [33] 林，F.，在具体说明行动的间接影响时包含因果关系，（） [34] Thielscher，M.，衍生与因果关系，人工智能杂志，1-2，89，317-364，（1997）·Zbl 1018.03514号 [35] Gelfond，M.；Lifschitz，V.，《用逻辑程序表示动作和变化》，逻辑编程杂志，17301-321，（1993）·Zbl 0783.68024 [36] M、 《逻辑编程的稳定模型语义》，in:Proc。第五届逻辑编程国际会议，1988年，第1070-1080页。 [37] Baral，C.，在逻辑编程情境演算中嵌入修正程序，逻辑编程杂志，30，1，83-97，（1997）·Zbl 0884.68024 [38] Turner，H.，《逻辑程序和缺省理论中的行为表示：情境演算方法》，逻辑编程杂志，31245-298，（1997）·Zbl 0880.68010 [39] 皮尔斯，D.，《稳定模型和答案集的新逻辑特征》，（） [40] D、 皮尔斯，A.Valverde，走向非单调推理的一阶平衡逻辑，in:Proc。第九届欧洲人工智能逻辑会议（JELIA'04），2004年，第147-160页。·Zbl 1111.68687 [41] P、 法拉利，J。李，V。利夫希茨，稳定模型的新视角，in:Proc。国际人工智能联席会议（IJCAI'07），2007年，第372-379页。 [42] P、 卡巴拉，规则体中存在量词，in:Proc。第23届（约束）逻辑编程研讨会（WLP'09），2009年。 [43] 李，J.；帕拉，R.，《系统F2LP——计算一阶公式的答案集》，第515-521页 [44] P、 Kabalar，D.Lorenzo，带函数和默认值的逻辑程序，载于：第九届欧洲人工智能逻辑会议（JELIA'04），葡萄牙里斯本，in:LNAI，第32292004卷，第294-306页。·Zbl 1111.68378 [45] Lifschitz，V.，答案集编程和计划生成，人工智能，13839-54，（2002）·Zbl 0995.68020 [46] Shanahan，M.，《在常识推理中正式化一个非平凡基准问题的尝试》，《人工智能》，153，1-2，141-165，（2001）·Zbl 1085.68684 [47] 摩根斯坦，L.，《常识问题的中等规模公理化：鸡蛋破裂的案例研究》，逻辑研究，67，3333-384，（2001）·Zbl 0985.68063 [48] 五、 Lifschitz，《破解一个鸡蛋：常识推理练习》，in:Proc。1998年常识推理逻辑形式化研讨会。 [49] Russell，S.；Norvig，P.，《人工智能：现代方法》（2003），普伦蒂斯·霍尔 [50] Lifschitz，V.；Tang，L.R.；Turner，H.，《逻辑程序中的嵌套表达式》，《数学与人工智能年鉴》，25369-389，（1999）·Zbl 0940.68075 [51] 五、 《拆分逻辑程序》，载：国际逻辑程序设计会议，1994年，第23-37页。 此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符，并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献，而不要求匹配的完整性或精确性。