莱奥拉·摩根斯坦；希拉·麦克拉伊思。 约翰·麦卡锡的遗产。 （英语） Zbl 1216.68017号 Artif公司。智力。 175，第1期，1-24页（2011年）. 小结：本期特刊献给人工智能创始人约翰·麦卡锡。它收集了最近对知识表示和推理领域的贡献，这是麦卡锡创立的一个领域，也是他在过去半个世纪的主要研究重点。在这篇介绍性文章中，我们调查了麦卡锡在知识表示和推理领域的一些主要贡献，并将这些论文放在麦卡锡以前工作的背景下，放在这一特殊问题上。 MSC公司： 68-03 计算机科学史 01A60型 20世纪数学史 68T27型 人工智能中的逻辑 68立方英尺 知识表示 关键词：知识表示；推理；行动推理；非单调推理；关于知识的推理；领域公理化；精细加工公差 软件：ConGolog公司；高尔夫；CCalc公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Morgenstern}和\textit{S.A.McIlraith}，Artif。智力。175，编号1，1-24（2011年；Zbl 1216.68017） 全文： 内政部 参考文献： [1] Alchourrón，C.E。；Gärdefors，P。；Makinson，D.，《论理论变化的逻辑：部分满足收缩和修正函数》，《符号逻辑杂志》，50，2，510-530（1985）·Zbl 0578.03011号 [2] Amarel，S.，《关于行为推理问题的表征》（Michie，D.，《机器智能》，第3卷（1971年），爱丁堡大学出版社：爱丁堡学院出版社），131-171·Zbl 0197.14901号 [3] 《亚里士多德的器官或逻辑论著》（2007），凯辛格出版社 [4] Bar-Hillel，Y。；麦卡锡，J。；Selfridge，O.，《论文讨论：具有常识的程序》，（Lifschitz，V.，《形式化常识》，Intellect（1998）），17-20 [5] Baral，C。；Gelfond，M.，《关于动作的逻辑编程和推理》（Gabbay，D.；Vila，L.，《人工智能中的时间推理手册》（2005），Elsevier），389-428 [6] Bibel，W.，计划生成的演绎解决方案，新一代计算，4115-132（1986）·Zbl 0624.68079号 [7] Buvac，S.，《使用语境的形式理论解决词汇歧义》（van Deemter，K.；Peters，S.《语义歧义和不明确》（1996），语言与信息研究中心：斯坦福大学语言与信息中心） [8] Buvac，S。；布瓦克，V。；梅森，I.A.，《情境的元数学》，《信息学基础》，第23、2-4、263-301页（1995年）·Zbl 0844.03014号 [9] Cabalar，P。；Santos，P.E.，《将渔民的愚蠢谜题形式化》，《人工智能》，175，1，346-377（2011），（本刊）·Zbl 1216.68258号 [10] Clark，K.，《否定是失败》（Gallaire，H.；Minker，J.，《逻辑和数据库》（1978），阻燃出版社：纽约阻燃出版社），293-322 [11] Copleston，F.，《中世纪哲学》（1961），哈珀和柯林斯 [12] Davis，E.，从视觉感知的位置推断无知，（第七届全国人工智能会议论文集（AAAI-88）（1988），AAAI出版社/麻省理工学院出版社），786-790 [13] Davis，E.，《常识知识的表征》（1990），摩根·考夫曼：摩根·考夫曼旧金山 [14] Davis，E.，《天真的物理学困惑》，人工智能杂志，19，3，51-79（1998） [15] Davis，E.，《知识与沟通：一阶理论》，《人工智能》，166，81-139（2005）·Zbl 1132.68726号 [16] 戴维斯，E.，盒子是怎么工作的？固体物体定性动力学研究，人工智能，175，1，299-345（2011），（本期）·Zbl 1216.68259号 [17] 戴维斯，E。；Morgenstern，L.，通信和多智能体计划的一阶理论，《逻辑与计算杂志》，15，5，701-749（2005）·Zbl 1089.68122号 [18] Davis，M.，Presburger算法的计算机程序，（1957年（1960年），符号逻辑夏季研究所，国防分析研究所演讲摘要） [19] Davis，M.，非单调推理的数学，人工智能，13，1-2，73-80（1980）·Zbl 0435.68075号 [20] Davis，M.，《自动演绎的早期历史》（Robinson，A.；Voronkov，A.，《自动推理手册》（2001），Elsevier）·Zbl 1011.68511号 [21] Davis，M。；洛格曼，G。；Loveland，D.，定理证明的机器程序，ACM通讯，5，7，394-397（1962）·Zbl 0217.54002号 [22] M.Davis，H.Putnam，命题演算中的计算方法，伦萨勒理工学院，未出版报告，1958年。；M.Davis，H.Putnam，命题演算中的计算方法，伦萨勒理工学院，未出版报告，1958年。 [23] Davis，M。；Putnam，H.，量化理论的计算过程，美国计算机学会期刊，7，3201-215（1960）·Zbl 0212.34203号 [24] P.Doherty，《使用遮挡进行行动和改变的推理》，载于《第十一届欧洲人工智能会议论文集》（ECAI-94），1994年，第401-405页。；P.Doherty，《使用遮挡进行行动和改变的推理》，载于《第十一届欧洲人工智能会议论文集》（ECAI-94），1994年，第401-405页。 [25] 多尔蒂，P。；古斯塔夫森，J。；卡尔松。；Kvarnström，J.，Tal:时序动作逻辑语言规范和教程，《人工智能电子交易》，第2273-306页（1998年） [26] 多尔蒂，P。；Kvarnström，J.，《时间行动逻辑》，（Lifschitz，V.；van Harmelen，F.；Porter，F.，《知识表示手册》（2008），Elsevier），709-757，（第18章）·Zbl 1183.68611号 [27] 多尔蒂，P。；Kvarnström，J。；Heintz，F.，《无人飞机系统、自治代理和多代理系统的基于时序逻辑的规划和执行监控框架》，19，3，332-377（2009） [28] P.Doherty，W.Lukaszewicz，《环绕特征和流体》，载于：《第一届时间逻辑国际会议论文集》（ICTL-94），第827卷，1994年，第82-100页。；P.Doherty，W.Lukaszewicz，《外写特征和流利语》，载于：《第一届国际时间逻辑会议记录》（ICTL-94），第827卷，1994年，第82-100页·Zbl 0949.68574号 [29] 多尔蒂，P。；卢卡斯泽维奇，W。；Szalas，A.，《重新审视计算范围：一种约简算法》，《自动推理杂志》，18，3，297-336（1997）·Zbl 0939.03033号 [30] Faber，W。；塞拉利昂，北。；Pfeifer，G.，《答案集编程中递归聚合的语义和复杂性》，人工智能，175，1278-298（2011），（本期）·Zbl 1216.68263号 [31] R.Fagin，J.Y.Halpern，《信念、意识和有限推理：初步报告》，载于《第九届国际人工智能联合会议论文集》（IJCAI-85），1985年，第491-501页。；R.Fagin，J.Y.Halpern，《信念、意识和有限推理：初步报告》，载于《第九届国际人工智能联合会议论文集》（IJCAI-85），1985年，第491-501页。 [32] 费金，R。；Halpern，J.Y。；摩西，Y。；Vardi，M.Y.，《知识推理》（1995），麻省理工学院出版社：麻省剑桥麻省理工学院出版社·Zbl 0839.68095号 [33] P.Ferraris，J.Lee，V.Lifschitz，《关于稳定模型的新观点》，载于《第二十届国际人工智能联合会议论文集》（IJCAI-07），2007年，第372-379页。；P.Ferraris，J.Lee，V.Lifschitz，《关于稳定模型的新观点》，载于《第二十届国际人工智能联合会议论文集》（IJCAI-07），2007年，第372-379页。 [34] 费拉里斯，P。；Lee，J。；Lifschitz，V.，《稳定模型和界限》，人工智能，175，1，236-263（2011），（本刊）·Zbl 1227.68103号 [35] 菲克斯，R。；Nilsson，N.J.，STRIPS：将定理证明应用于问题解决的新方法，《人工智能》，第2期，第3-4期，第189-208页（1971年）·Zbl 0234.68036号 [36] J.J.Finger，设计综合中的约束开发，博士论文，斯坦福大学，斯坦福，加利福尼亚州，美国，1987年。；J.J.Finger，设计合成中的约束开发，博士论文，斯坦福大学，斯坦福，加利福尼亚州，美国，1987年。 [37] Frege，G.，Begriffsschrift，（Heijenoort，J.V.，From Frege to Gödel:A Sourcebook in Mathematical Logic，1879-1931（1967），哈佛大学出版社），英文标题：概念脚本，一种基于算术的纯思想形式语言·格式：11.0048.02 [38] Gabaldon，A.，情境演算中的非马尔可夫控制，人工智能，175，1，25-48（2011），（本刊）·Zbl 1216.68265号 [39] H.Gelernter，《几何定理证明机的实现》，载于：国际信息处理大会联合会（IFIP），1959年，第273-281页。；H.Gelernter，《几何定理证明机的实现》，载于：国际信息处理大会联合会（IFIP），1959年，第273-281页·Zbl 0114.06901号 [40] Gelfond，M。；Lifschitz，V.，将局限理论编译成逻辑程序，（第七届全国人工智能会议论文集，AAAI-1988（1988），AAAI出版社/麻省理工学院出版社），455-459·Zbl 0675.68047号 [41] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新一代计算，9，3/4，365-386（1991）·Zbl 0735.68012号 [42] Gelfond，M。；Lifschitz，V.，《用逻辑程序表示动作和变化》，《逻辑编程杂志》，17，2-4，301-321（1993）·Zbl 0783.68024号 [43] Gelfond，M。；Lifschitz，V.，动作语言，人工智能电子交易，2193-210（1998） [44] Ghaderi，H。；Levesque，H.J。；Lespérance，Y.，《协调与联合能力的逻辑理论》，（《第二十二届人工智能会议论文集》（AAAI-07）（2007），AAAI出版社），421-426 [45] de Giacomo，G。；Lespérance，纽约州。；Levesque，H.J.，Congolog——一种基于情境演算的并发编程语言，《人工智能》，121，1-2，109-169（2000）·Zbl 0948.68175号 [46] Gilmore，P.，量化理论的证明方法：其理由和实现，IBM研究与发展杂志，4，1（1960）·Zbl 0097.00301号 [47] 金斯伯格，M.L。；Smith，D.E.，《行动推理I：一种可能的世界方法》，《人工智能》，35，2，165-195（1988）·Zbl 0645.68109号 [48] Giunchiglia，E。；Lee，J。；Lifschitz，V。；麦凯恩，N。；Turner，H.，非单调因果理论，人工智能，153，1-2，49-104（2004）·Zbl 1085.68161号 [49] Gödel，K.，逻辑函数演算公理的完备性，（Heijenoort，J.V.，From Frege to Gödel:A Sourcebook in Mathematical logic，1879-1931（1967），哈佛大学出版社），582-591 [50] Gödel，K.，《关于数学原理和相关系统的形式上不可判定命题》（Heijenoort，J.V.，From Frege to Gödel:A Sourcebook in Mathematical Logic，1879-1931（1967），哈佛大学出版社），596-616·Zbl 0124.00403号 [51] R.V.Guha，《上下文：形式化和一些应用》，斯坦福大学博士论文，1991年。；R.V.Guha，《上下文：形式化和一些应用》，斯坦福大学博士论文，1991年。 [52] 古斯塔夫森，J。；Kvarnström，J.，通过面向对象的精化公差，人工智能，153，1-2239-285（2004）·Zbl 1085.68683号 [53] Haas，A.R.，《特定领域框架公理的案例》，（Brown，F.，《人工智能中的框架问题：1987年研讨会论文集》（1987），Morgan Kaufmann），343-348 [54] Halpern，J.Y。；Lakemeyer，G.，《只知道多代理》，《逻辑与计算杂志》，11，1，41-70（2001）·Zbl 0984.03016号 [55] Halpern，J.Y。；Pucella，R.，《处理逻辑全知：表达和语用学》，《人工智能》，175,1220-235（2011），（本刊）·Zbl 1216.68267号 [56] J.Y.Halpern，M.Y.Vardi，《模型检验与定理证明：宣言》，载于《第二届知识表示与推理原则国际会议论文集》，1991年，第325-334页。；J.Y.Halpern，M.Y.Vardi，《模型检验与定理证明：宣言》，载于《第二届知识表示与推理原则国际会议论文集》，1991年，第325-334页·Zbl 0765.68189号 [57] S.Hanks，D.V.McDermott，默认推理，非单调逻辑和框架问题，收录于：《第五届全国人工智能会议论文集》（AAAI-86），1986年，第328-333页。；S.Hanks，D.V.McDermott，默认推理，非单调逻辑和框架问题，收录于：《第五届全国人工智能会议论文集》（AAAI-86），1986年，第328-333页。 [58] 海耶斯，P。；Morgenstern，L.，《纪念约翰·麦卡锡80岁生日》，AI杂志，28，4，95-102（2007） [59] 辛提卡，J.，《知识与信仰》（1962），康奈尔大学出版社 [60] Hölldobler，S。；Schneeberger，J.，《规划的新演绎方法》，新一代计算，8，3，225-244（1990）·Zbl 0711.68026号 [61] Hughes，G.E.，Jean Buridan的模态逻辑，（Atti del Convegno internanazionale di storia della logica:le teorie delle modalità（1989），博洛尼亚），93-111 [62] H.Katsuno，A.O.Mendelzon，《关于更新知识库和修改知识库之间的差异》，载《第二届知识表示和推理原则国际会议论文集》（KR-91），1991年，第387-394页。；H.Katsuno，A.O.Mendelzon，《关于更新知识库和修改知识库之间的差异》，载《第二届知识表示和推理原则国际会议论文集》（KR-91），1991年，第387-394页·Zbl 0765.68197号 [63] H.Katsuno，K.Satoh，《后果关系、信念修正和条件逻辑的统一观点》，载《第十二届国际人工智能联合会议论文集》（IJCAI-91），1991年，第406-412页。；H.Katsuno，K.Satoh，《后果关系、信念修正和条件逻辑的统一观点》，载于《第十二届国际人工智能联合会议论文集》（IJCAI-91），1991年，第406-412页·Zbl 0747.68080号 [64] W.Kneale。；Kneale，M.，《逻辑的发展》（1962），牛津·Zbl 0100.00807号 [65] K.Konolige，《信念及其逻辑的演绎模型》，斯坦福大学博士论文，1984年，也出版为《SRI技术报告326》。；K.Konolige，《信念及其逻辑的演绎模型》，斯坦福大学博士论文，1984年，也作为SRI技术报告326出版·Zbl 0683.68080号 [66] Kowalski，R.A。；Sergot，M.J.，基于逻辑的事件演算，新一代计算，4，1，67-95（1986）·Zbl 1356.68221号 [67] 克劳斯，S。；莱曼·D·J。；Magidor，M.，《非单调推理、优先模型和累积逻辑》，《人工智能》，44，1-2，167-207（1990）·Zbl 0782.03012号 [68] 克劳斯，S。；佩利斯，D。；霍蒂，J.F.，《关于无知的推理：关于布什-戈尔巴乔夫问题的注释》，《信息基础》，第15、3-4、325-332页（1991年）·Zbl 0764.68153号 [69] Kripke，S.，模态逻辑中的完备性定理，《符号逻辑杂志》，24，1，1-14（1959）·Zbl 0091.00902号 [70] Kripke，S.，《模态逻辑的语义分析I：正规模态命题计算》，Zeitschrift fur Mathematische logic und Grundlagen der Mathematik，9，67-97（1963）·Zbl 0118.01305号 [71] Kripke，S.，《模态逻辑的语义思考》，《费尼卡哲学学报》，第1683-94页（1963年）·Zbl 0131.00602号 [72] Kripke，S.，《命名和必要性》（1972），哈佛大学出版社：哈佛大学出版社剑桥 [73] Kripke，S.，《真理理论纲要》，《哲学杂志》，第19期，第690-716页（1975年）·兹比尔0952.03513 [74] Kvarnström，J。；Doherty，P.，Talplanner:基于时间逻辑的前向链接规划器，《数学和人工智能年鉴》，30，1-4，119-169（2000）·Zbl 1002.68158号 [75] G.Lakemeyer，All they known:A study in multi-agent non-monotonic reasoning，in：Proceedings of the 13th International Joint Conference on Artificial Intelligence（IJCAI-93），1993年，第376-381页。；G.Lakemeyer，All they known:A study in multi-agent non-monotonic reasoning，in：Proceedings of the Thirth International Joint Conference on Artificial Intelligence（IJCAI-93），1993年，第376-381页。 [76] Lakemeyer，G。；Levesque，H.，《利用知识对情境演算有用片段进行语义表征》，《人工智能》，175，1，142-164（2011），（本期）·Zbl 1216.68269号 [77] G.Lakemeyer，H.J.Levesque，AOL：《行动、感知、知道和只知道的逻辑》，载于《第六届知识表示和推理原则国际会议论文集》（KR-98），1998年，第316-329页。；G.Lakemeyer，H.J.Levesque，AOL：《行动、感知、知道和只知道的逻辑》，载于《第六届知识表示和推理原则国际会议论文集》（KR-98），1998年，第316-329页。 [78] G.W.莱布尼茨（G.W.Leibniz），《形而上学论述》（Discourse on Metaphysics），1686年，乔治·R·蒙哥马利（George R.Montgomery）翻译，阿尔伯特·R·钱德勒（Albert R.Chandler）修订，1924年。；G.W.莱布尼茨，《形而上学论述》，1686年，乔治·蒙哥马利译，阿尔伯特·钱德勒修订，1924年。 [79] 莱布尼茨，G.W.，《关于人类理解的新论文》（1705） [80] Lenat，D.B.，《Cyc:知识基础设施的大规模投资》，《ACM的通信》，第38、11、32-38页（1995年） [81] 塞拉利昂，北。；Pfeifer，G。；Faber，W。；艾特，T。；Gottlob，G。；佩里，S。；Scarcello，F.，《用于知识表示和推理的DLV系统》，ACM计算逻辑学报，7，3，499-562（2006）·兹比尔1367.68308 [82] H.Levesque，在传感的情况下，计划做什么？摘自：《第十三届全国人工智能会议论文集》（AAAI-96），AAAI出版社，1996年，第1139-1146页。；H.Levesque，在传感的情况下，计划做什么？载：《第十三届全国人工智能大会论文集》（AAAI-96），AAAI出版社，1996年，第1139-1146页。 [83] Levesque，H。；Lakemeyer，G.，《认知机器人学》（van Harmelen，F.；Lifschitz，V.；Porter，B.，《知识表示手册》（2008），Elsevier），869-886，（第23章）·Zbl 1183.68611号 [84] H.J.Levesque，《隐性和显性信念的逻辑》，载于：《第四届全国人工智能会议论文集》（AAAI-84），1984年，第198-202页。；H.J.Levesque，《隐性和显性信念的逻辑》，载于《第四届全国人工智能会议论文集》（AAAI-84），1984年，第198-202页。 [85] Levesque，H.J.，《我所知道的一切：自认知逻辑研究》，《人工智能》，第42、2-3、263-309页（1990年）·Zbl 0724.03019号 [86] Levesque，H.J。；Reiter，R。；Lespérance，纽约州。；林，F。；Scherl，R.B.，Golog:动态域的逻辑编程语言，《逻辑编程杂志》，31，1-3，59-83（1997）·兹比尔0880.68008 [87] 刘易斯，C.I。；Langford，C.H.，《符号逻辑》（1932年），多佛再版：多佛再印纽约·JFM 58.0056.01号 [88] V.Lifschitz，《计算界限》，载《第九届国际人工智能联合会议论文集》（IJCAI-85），1985年，第121-127页。；V.Lifschitz，《计算界限》，载《第九届国际人工智能联合会议论文集》（IJCAI-85），1985年，第121-127页。 [89] V.Lifschitz，《论形式化语境》，手稿，1986年。；V.Lifschitz，《关于形式化语境》，手稿，1986年。 [90] Lifschitz，V.，《逐点限定：初步报告》（Ginsberg，M.，《非单调推理阅读》（1987），Morgan Kaufmann），179-193年，载于：《第五届全国人工智能会议论文集》（AAAI-86），1986年，第406-410页，扩展版 [91] V.Lifschitz，《在限制和自认知逻辑之间》，载于：《第一届知识表示和推理原则国际会议论文集》（KR-89），1989年，第235-244页。；V.Lifschitz，《在限定和自认知逻辑之间》，载于《第一届知识表示和推理原则国际会议论文集》（KR-89），1989年，第235-244页·Zbl 0706.03025号 [92] （弗拉基米尔·利夫希茨，《规范化常识：约翰·麦卡锡的论文》（1990），阿布莱克斯出版社） [93] Lifschitz，V.，《包围》（Gabbay，D.M.；Hogger，C.；Robinson，J.，《非单调推理和不确定推理》。非单调推理与不确定推理，《人工智能和逻辑编程逻辑手册》，第3卷（1994），克拉伦登出版社：克拉伦登牛津出版社），297-352·Zbl 0804.03017号 [94] V.Lifschitz，《因果计算器中的传教士和食人族》，载于《第七届知识表示和推理原则国际会议论文集》（KR-00），2000年，第85-96页。；V.Lifschitz，《因果计算器中的传教士和食人族》，载于《第七届知识表示和推理原则国际会议论文集》（KR-00），2000年，第85-96页。 [95] F.Lin，《在明确行动的间接影响时拥抱因果关系》，载于：《第十四届国际人工智能联合会议论文集》（IJCAI-95），1995年，第1985-1993页。；F.Lin，《在具体说明行动的间接影响时拥抱因果关系》，载于《第十四届国际人工智能联合会议论文集》（IJCAI-95），1995年，1985-1993页。 [96] Lin，F.，《情境演算》，（Lifschitz，V.；van Harmelen，F；Porter，F，《知识表示手册》（2008），Elsevier），649-669，（第16章）·Zbl 1183.68611号 [97] 林，F。；Reiter，R.，《重新审视国家约束》，《逻辑与计算杂志》，4，5，655-678（1994）·Zbl 0815.68096号 [98] 林，F。；周瑜，《从答案集逻辑编程到GK逻辑限定》，人工智能，175,1264-277（2011），（本刊）·Zbl 1216.68270号 [99] Loveland，D.W.，模型消除理论证明程序的简化格式，ACM杂志，16，3，349-363（1969）·Zbl 0183.29603号 [100] N.McCain，《关于行动的常识推理中的因果关系》，德克萨斯大学奥斯汀分校博士论文，1997年。；N.McCain，《关于行动的常识推理中的因果关系》，德克萨斯大学奥斯汀分校博士论文，1997年。 [101] N.McCain，H.Turner，《后果和资格的因果理论》，载于《第十四届国际人工智能联合会议论文集》（IJCAI-95），1995年，第1978-1984页。；N.McCain，H.Turner，《后果和资格的因果理论》，载于《第十四届国际人工智能联合会议论文集》（IJCAI-95），1995年，第1978-1984页。 [102] McCarthy，J.，《常识性程序》（《思维过程机械化泰丁顿会议记录》（1959年），英国女王文具局：英国女王文凭局伦敦分局），75-91 [103] McCarthy，J.，《情境、行为和因果律》（Minsky，M.，《语义信息处理》（1968），麻省理工学院出版社：麻省剑桥大学出版社），第410-417页，1963年。斯坦福大学技术代表，再版 [104] J.McCarthy，《人工智能的认识论问题》，载《第五届国际人工智能联合会议论文集》（IJCAI-77），1977年，第1038-1044页。；J.McCarthy，《人工智能的认识论问题》，载于《第五届国际人工智能联合会议论文集》（IJCAI-77），1977年，第1038-1044页。 [105] McCarthy，J.，《将心理素质归因于机器》（Ringle，M.，《人工智能中的哲学观点》（1979），人文出版社），161-195年 [106] McCarthy，J.，个体概念和命题的一阶理论，（机器智能，第9卷（1979），埃利斯·霍伍德：埃利斯·霍伍德-奇切斯特），129-148 [107] 麦卡锡，J.，《界限：非单调推理的一种形式》，《人工智能》，13，1-2，23-79（1980）·Zbl 0435.68073号 [108] McCarthy，J.，《限制在常识推理中的应用》，人工智能，28，1，89-116（1986） [109] McCarthy，J.，《人工智能概论》，《ACM的通信》，30，12（1987），对1971年麦卡锡图灵奖演讲进行了修订和扩充。弗拉基米尔·利夫施奇茨（编辑），《规范化常识》·Zbl 0644.68004号 [110] J.McCarthy，《关于形式化背景的注释》，载于《第十三届国际人工智能联合会议论文集》（IJCAI-93），1993年，第555-562页。；J.McCarthy，《关于形式化背景的说明》，载于《第十三届国际人工智能联合会议论文集》（IJCAI-93），1993年，第555-562页。 [111] McCarthy，J.，《让机器人意识到自己的心理状态》，《机器智能》，第15期，第3-17页（1995年） [112] McCarthy，J.，情态，si！，模态逻辑，不！，《逻辑研究》，59，1，29-32（1997）·Zbl 0884.03016号 [113] McCarthy，J.，《彩色地图与科瓦尔斯基学说》（Lifschitz，V.，《形式化常识：约翰·麦卡锡的论文》（1998）），167-174，最初写于1982年 [114] McCarthy，J.，精化容差（1998），载于：第四届常识推理逻辑形式化国际研讨会的工作文件，常识-1998。修订版和扩展版可在 [115] McCarthy，J.，精化容差（1998），载于：第四届常识推理逻辑形式化国际研讨会的工作文件，常识-1998，URL [116] 麦卡锡，J.，《涉及知识的两个谜题的形式化》（Lifschitz，V.，《形式化常识：约翰·麦卡锡的论文》，《情报》（1998）），158-166 [117] McCarthy，J.，《人工智能中的数学逻辑》（Lifschitz，V.，《形式化常识：John McCarthy.Intellect（1998）的论文》），237-249，最初在代达罗斯出版，1998年冬季，第297-311页 [118] J.McCarthy，《情境演算中的动作和其他事件》。in：D.Fensel、F.Giunchiglia、D.McGuinness、M.Williams（编辑），《第八届知识表示和推理原则国际会议论文集》（KR-02），2002年，第615-628页。；J.McCarthy，情境演算中的动作和其他事件。摘自：D.Fensel、F.Giunchiglia、D.McGuinness、M.Williams（编辑），《第八届知识表示和推理原则国际会议论文集》（KR-02），2002年，第615-628页。 [119] J.McCarthy，《自我意识笔记》，载于《DARPA自我意识研讨会工作文件》，2004年。；J.McCarthy，《自我意识笔记》，载于《DARPA自我意识研讨会工作文件》，2004年。 [120] McCarthy，J.，《精心设计的逻辑孩子》，《人工智能》，172、18、2003-2014（2008）·Zbl 1184.68382号 [121] 麦卡锡，J。；Hayes，P.J.，《从人工智能的角度来看的一些哲学问题》，（Meltzer，B.；Michie，D.，《机器智能》，第4卷（1969年），爱丁堡大学出版社：爱丁堡学院出版社），463-502·Zbl 0226.68044号 [122] McDermott，D.V.，《纯粹理性批判》，计算智能，3151-160（1987） [123] McDermott，D.V。；Doyle，J.，非单调逻辑I，人工智能，13，1-2，41-72（1980）·Zbl 0435.68074号 [124] McIlraith，S.A.，《整合行动和状态约束：分支问题的封闭解决方案（有时）》，人工智能，116，1-2，87-121（2000）·Zbl 0939.68840号 [125] S.A.McIlraith，T.C.Son，《改编Golog以组合语义web服务》，载于《第八届国际原则与知识表示与推理会议论文集》（KR-02），2002年，第482-496页。；S.A.McIlraith，T.C.Son，《改编Golog以组合语义web服务》，载于《第八届国际原则与知识表示与推理会议论文集》（KR-02），2002年，第482-496页。 [126] 米勒，R。；Morgenstern，L.，常识问题页（1997） [127] 米勒，R。；Shanahan，M.，情境演算中的叙述，《逻辑与计算杂志》，4，5，513-530（1994）·Zbl 0815.68097号 [128] 米勒，R。；Shanahan，M.，《事件演算的一些替代公式》，（Kakas，A.C.；Sadri，F.，《计算逻辑：逻辑编程及其以外》，《计算科学讲义》，第2408卷（2002），Springer），452-490·Zbl 1012.68192号 [129] R.C.Moore，《知识与行动的推理》，SRI技术报告1911980年。；R.C.Moore，《知识与行动的推理》，SRI技术报告1911980年。 [130] Moore，R.C.，非单调逻辑的语义考虑，人工智能，25，1，75-94（1985）·Zbl 0569.68079号 [131] L.Morgenstern，《知识、行动和沟通逻辑的基础》，纽约大学博士论文，1988年。；L.Morgenstern，《知识、行动和沟通逻辑的基础》，纽约大学博士论文，1988年。 [132] L.Morgenstern，《多智能体非单调推理的形式理论》，载于《第八届全国人工智能会议论文集》（AAAI-90），1990年，第538-544页。；L.Morgenstern，《多智能体非单调推理的形式理论》，载于《第八届全国人工智能会议论文集》（AAAI-90），1990年，第538-544页。 [133] Mueller，E.T.，《事件演算》（van Harmelen，F.；Lifschitz，V.；Porter，B.，《知识表示手册》（2008），Elsevier），第671-708页，（第17章） [134] A.Newell，J.Shaw，H.Simon，《逻辑理论机器的经验探索》，载于：《西方联合计算机大会论文集》，1956年，第218-239页。；A.Newell，J.Shaw，H.Simon，《逻辑理论机器的经验探索》，载于：《西方联合计算机大会论文集》，1956年，第218-239页。 [135] E.P.D.Pednault，ADL：探索STRIPS和情境演算之间的中间地带，摘自：《第一届知识表示和推理原则国际会议论文集》（KR-89），1989年，第324-332页。；E.P.D.Pednault，ADL：探索STRIPS和情境演算之间的中间地带，摘自：《第一届知识表示和推理原则国际会议论文集》（KR-89），1989年，第324-332页。 [136] Perlis，D.，《自动界定，人工智能》，36，2，222-236（1998）·兹比尔0648.68108 [137] J.A.Pinto，情境演算中的时间推理，加拿大多伦多多伦多大学博士论文，1994年。；J.A.Pinto，情境演算中的时间推理，加拿大多伦多多伦多大学博士论文，1994年。 [138] Pirri，F.，《精心设计的逻辑机器人：从观察到情境演算的学习和经验》，《人工智能》，175，1378-415（2011），（本刊）·Zbl 1216.68271号 [139] Pirri，F。；Reiter，R.，《对情境演算元理论的一些贡献》，《ACM杂志》，46，3，325-361（1999）·Zbl 1065.68627号 [140] Prior，A.，Diodoran模态，哲学季刊，5205-213（1955） [141] Prior，A.，《时间与形态》（1957），牛津大学出版社：牛津大学出版社·Zbl 0079.00606号 [142] Prior，A.，《过去、现在和未来》（1967），克拉伦登出版社：牛津克拉伦登出版公司·Zbl 0169.29802号 [143] Reiter，R.，《封闭世界数据库》（逻辑和数据库（1977）），第55-76页 [144] Reiter，R.，《默认推理的逻辑》，《人工智能》，13，1-2，81-132（1980）·Zbl 0435.68069号 [145] Reiter，R.，《情境演算中的框架问题：目标回归的简单解决方案（有时）和完整结果》，（Lifschitz，V.，《人工智能和计算数学理论：约翰·麦卡锡荣誉论文》（1991），学术出版社），359-380·Zbl 0755.68124号 [146] Reiter，R.，《行动中的知识》（2001），麻省理工学院出版社：麻萨诸塞州剑桥·Zbl 1018.03022号 [147] Rescher，N.，《假设推理》（1964），北荷兰：北荷兰阿姆斯特丹·Zbl 0166.25204号 [148] 罗宾逊，A.，《证明人、机器和逻辑学家所做的定理》（1957年（1960年）符号逻辑暑期研究所国防分析研究所演讲摘要）·Zbl 0168.26106号 [149] Robinson，J.A.，《计算机上的定理证明》，《ACM杂志》，第10、2、163-174页（1963年）·Zbl 0109.35603号 [150] Robinson，J.A.，《基于分辨原理的机器导向逻辑》，《ACM杂志》，第12期，第23-41页（1965年）·Zbl 0139.12303号 [151] Sandewall，E.，《特征与Fluents:动力系统知识的表征》，第一卷（1994），牛津大学出版社：牛津大学出版社·Zbl 0842.68077号 [152] E.Sandewall，基于逻辑的目标导向行为建模，载于：A.G.Cohn，L.K.Schubert，S.C.Shapiro（编辑），《第六届知识表示和推理原则国际会议论文集》（KR-98），1998年，第304-315页。；E.Sandewall，基于逻辑的目标导向行为建模，载于：A.G.Cohn，L.K.Schubert，S.C.Shapiro（编辑），《第六届知识表示与推理原则国际会议论文集》（KR-98），1998年，第304-315页。 [153] Sandewall，E.，《非单调推理早期发展中的从系统到逻辑》，《人工智能》，175，1，416-427（2011），（本期）·Zbl 1216.68274号 [154] R.B.Scherl，H.J.Levesque，《框架问题和知识创造行动》，载于《第十一届全国人工智能会议论文集》（AAAI-93），1993年，第689-695页。；R.B.Scherl，H.J.Levesque，《框架问题和知识创造行动》，载于《第十一届全国人工智能会议论文集》（AAAI-93），1993年，第689-695页。 [155] 谢尔，R.B。；Levesque，H.J.，《知识、行动和框架问题》，人工智能，144，1-2，1-39（2003）·Zbl 1079.68625号 [156] S.Schiffel，M.Thielscher，《Fluxplayer:一个成功的普通游戏玩家》，载于：《第二十届人工智能会议论文集》（AAAI-07），2007年，第1191-1196页。；S.Schiffel，M.Thielscher，《Fluxplayer:一个成功的普通游戏玩家》，载于：《第二十届人工智能会议论文集》（AAAI-07），2007年，第1191-1196页。 [157] 舒伯特，L.K.，《情境演算中框架问题的单调解：具有完全指定动作的世界的一种有效方法》（Kyburg，H.；Loui，R.；Carlson，G.，《知识表示和可延迟推理》（1990），克鲁沃学术出版社：克鲁沃学术出版商多德雷赫特），23-67 [158] Shanahan，M.，《解决框架问题》（1997），麻省理工学院出版社：麻萨诸塞州剑桥 [159] Shanahan，M.，诱因事件演算规划师，《逻辑编程杂志》，44，1-3，207-240（2000）·Zbl 0957.68106号 [160] 夏皮罗，S。；Pagnucco，M。；Lespérance，纽约州。；Levesque，H.，《情境演算中的迭代信念改变》，《人工智能》，175，1，165-192（2011），（本期）·Zbl 1216.68275号 [161] Shirazi，A。；Amir，E.，一阶逻辑滤波，人工智能，175,1193-219（2011），（本期）·Zbl 1216.68276号 [162] Y.Shoham，《时间的无知：时间、非单调性、必要性和因果理论》，载《第五届全国人工智能会议论文集》（AAAI-86），1986年，第389-393页。；Y.Shoham，《时序无知：时间、非单调性、必要性和因果理论》，载于《第五届全国人工智能会议论文集》（AAAI-86），1986年，第389-393页。 [163] Y.Shoham，《非单调逻辑的语义方法》，载于：《计算机科学中的逻辑研讨会论文集》，1987年，第275-279页。；Y.Shoham，《非单调逻辑的语义方法》，载于《计算机科学中的逻辑研讨会论文集》，1987年，第275-279页。 [164] Shoham，Y.，《情境的多样性》（Lifschitz，V.，《人工智能和计算数学理论：约翰·麦卡锡荣誉论文》（1991），学术出版社），393-408·Zbl 0800.68865号 [165] Stalnaker，R.，《非单调模态逻辑注释》（1980），康奈尔大学哲学系 [166] Tarski，A.，《逻辑、语义学和元数学》（1956年），克拉伦登：克拉伦登-牛津 [167] E.Ternovskaia，ID-logic和情境演算的分支问题，载于《第14届欧洲人工智能会议论文集》，2000年，第563-570页。；E.Ternovskaia，ID-logic和情境演算的分支问题，载于《第14届欧洲人工智能会议论文集》，2000年，第563-570页。 [168] Thielscher，M.，《流畅微积分导论》，《人工智能电子交易》，2179-192（1998） [169] Thielscher，M.，《从情境演算到流畅演算：状态更新公理作为推理框架问题的解决方案》，《人工智能》，111，1-2，277-299（1999）·Zbl 0996.68193号 [170] Thielscher，M.，Flux:推理代理的逻辑编程方法，逻辑编程理论与实践（TPLP），5，4-5，533-565（2005）·Zbl 1105.68333号 [171] M.Thielscher，How（not）to minimize events，in：A.G.Cohn，L.K.Schubert，S.C.Shapiro（Eds.），《知识表示与推理原则国际会议论文集》（KR-1998），1998年，第60-73页。；M.Thielscher，How（not）to minimize events，in：A.G.Cohn，L.K.Schubert，S.C.Shapiro（Eds.），《知识表示与推理原则国际会议论文集》（KR-1998），1998年，第60-73页。 [172] Thielscher，M.，《统一行动演算》，《人工智能》，175，1，120-141（2011），（本期）·Zbl 1216.68277号 [173] Tu，P.H。；儿子，T.C。；Gelfond，M。；Morales，A.R.，《行动理论的近似及其在一致性规划中的应用》，人工智能，175，1，79-119（2011），（本期）·Zbl 1230.68185号 [174] Turner，H.，非单调因果逻辑，（van Harmelen，F.；Lifschitz，V.；Porter，B.，知识表示手册（2008），爱思唯尔），759-776，（第19章）·Zbl 1183.68611号 [175] van Benthem，J.，《模式键中的Mccarthy变体》，《人工智能》，175，1428-439（2011），（本刊）·Zbl 1216.68278号 [176] 冯·赖特，G.H.，《道义逻辑，思维》，60，1-15（1951） [177] 冯·赖特，G.H.，《道义逻辑和一般行动理论论文》（1968），北荷兰：北荷兰阿姆斯特丹·Zbl 0172.29203号 [178] Wang，H.，走向机械数学，IBM研究与发展杂志，4，1，2-22（1960）·Zbl 0097.00404号 [179] 怀特黑德，A.N。；罗素，B.，《数学原理》（1957），大学出版社，1910-1913年首次出版·JFM 61.0061.03号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。