德鲁·麦克德莫特;乔恩·多伊尔 非单调逻辑。一、。 （英语） Zbl 0435.68074号 Artif公司。智力。 13, 41-72 (1980). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于11评论引用于130文件 MSC公司： 68T99型 人工智能 第68季度第65季度 抽象数据类型；代数规范 03B60号 其他非经典逻辑 关键词：信息不完整;非单调逻辑;非单调谓词演算;非单调句子演算;真相维护系统;模型理论;证明理论 PDF格式BibTeX公司 XML格式引用 \textit{D.McDermott}和\textit{J.Doyle}，Artif。智力。13、41-72（1980年；Zbl 0435.68074） 全文： 内政部 参考文献： [1] Beth，E.W.，《关于证明定理的机器》，Simon Stevin（Wis-en Natuurkundig Tijdschrift），32，49（1958）·Zbl 0084.25001 [2] Boolos，E.，《一致性的不可证实性》（1979），剑桥大学出版社：剑桥大学出版社·Zbl 0409.03009号 [3] 查尼亚克，E。；里斯贝克，C。；McDermott，D.，《人工智能编程》（1980），劳伦斯·埃尔鲍姆：新泽西州劳伦斯·尔鲍姆·希尔斯代尔·Zbl 0518.68055号 [4] de Kleer，J.，《电路识别中的因果和目的推理》（麻省理工学院电气工程和计算机科学系博士论文（1979）） [5] 德克莱尔，J。；多伊尔，J。；斯蒂尔，G.L。；Sussman，G.J.，推理的显式控制（1977），麻省理工学院人工智能实验室，备忘录427 [6] Doyle，J.，《真理维护系统》，《人工智能》，第12期，第231-272页（1979年） [7] Dummett，M.A.E.，《演绎的正当性》（Proc.British Academy，LIX（1973））·兹伯利0632.06022 [8] Fikes，R.E。；新泽西州尼尔森。，条状物：定理应用的新方法，证明问题的解决，人工智能，2189-208（1971）·Zbl 0234.68036号 [9] Hayes，P.J.，机器人学（Meltzer，B.；Michie，D.，机器智能，5（1970），美国爱思唯尔：美国爱思惟尔纽约），533-554·兹伯利0219.68053 [10] Hayes，P.J.，《行动逻辑》（Meltzer，B.；Michie，D.，《机器智能》，6（1971），美国爱思唯尔：美国爱思惟尔纽约），495-520·Zbl 0268.68039号 [11] Hayes，P.J.，人工智能中的框架问题和相关问题，（Elithorn，A.；Jones，D.，《人工与人类思维》（1973），Josey Bass:Josey Bass，旧金山） [12] Hewitt，C.E.，《关于……的描述和理论分析（使用图式）》规划师：一种在机器人中证明定理和操纵模型的语言（1972），麻省理工学院人工智能实验室TR-258 [13] Heyting，A.，《直觉主义：导论》（1956年），北荷兰：北荷兰阿姆斯特丹·Zbl 0070.00801号 [14] 休斯，G.E。；Cresswell，M.J.，《模型逻辑导论》（1972），Methuen和Co:Methuen and Co London·Zbl 0855.0302号 [15] Joshi，A.K.，《部分信息推理系统的一些扩展》，（Hayes-Roth，F.；Waterman，D.，《模式定向推理系统》（1978），学术出版社：纽约学术出版社） [16] Joshi，A.K。；Rosenschein，S.J.，《词汇和语用信息关联的形式主义：其与识别和生成的相关性》，（自然语言处理理论问题研讨会论文集，自然语言处理的理论问题研讨会，马萨诸塞州剑桥（1975）），79-83 [17] Kramosil，I.，《关于带有否定前提的扣除规则的说明》（第四届国际人工智能联合会议（1975年），第53-56页） [18] Kripke，S.A.，直觉主义逻辑的语义分析I，（Crossley，J.N.；Dummett，M.A.E.，《形式系统和递归函数》（1965），北荷兰：北荷兰阿姆斯特丹），92-130·Zbl 0137.00702号 [19] 克里普克，S.A.，《真理理论纲要》，《哲学杂志》，第72、19、690-716页（1975年）·Zbl 0952.03513号 [20] Lipski，W.，《关于不完全信息的逻辑》，（Goos，G.；Hartmanis，J.，1977年计算机科学数学基础研讨会论文集（1977），Springer:Springer Berlin），374-381·Zbl 0363.02025号 [21] 伦敦，P.E.，《作为一般问题解决者建模代表的依赖网络》（1978），马里兰大学计算机科学系TR-698 [22] 马丁·R·L。；伍德拉夫，P.W.，《关于在（L）中表示“（L中的真）”》（Kasher，A.，《聚焦中的语言：基础、方法和系统》（1976），D.Reidel:D.Reidel Dordrecht），113-117·Zbl 0386.03001号 [23] McAllester，D.A.，《三值真理维护系统》（1978），麻省理工学院人工智能实验室，备忘录473 [24] 麦卡锡，J。；Hayes，P.J.，《从人工智能的角度来看的一些哲学问题》（Meltzer，B.；Michie，D.，《机器智能》，4（1969），美国爱思唯尔：美国爱思惟尔纽约），463-502·Zbl 0226.68044号 [25] McCarthy，J.，《人工智能的认识论问题》，（第五届国际人工智能联合会议（1977年），1038-1044 [26] McDermott，D.，通过自然语言理解系统吸收新信息（1974），麻省理工学院人工智能实验室，AI-TR-291 [27] Mendelson，E.，《数理逻辑导论》（1964），范诺斯特兰德·莱因霍尔德（Van Nostrand Reinhold），纽约·Zbl 0192.01901号 [28] （Winston，P.，《计算机视觉心理学》（1975），纽约 [29] Moore，R.C.，《程序演绎系统中不完全知识的推理》（1975），麻省理工学院人工智能实验室，AI-TR-347 [30] Nevins，A.J.，《用于自动定理证明的面向人的逻辑》，J.Assoc.Compute。机械，21，606-621（1974）·Zbl 0332.68061号 [31] Pratt，V.R.，《编程中的能力/性能二分法》（1977），麻省理工学院人工智能实验室，备忘录400 [32] Quine，W.V.，《从逻辑的角度来看》（1953年），哈佛大学出版社：哈佛大学出版社剑桥·Zbl 0050.00501号 [33] 奎因，W.V。；Ullian，J.S.，《信仰之网》（1978），兰登书屋：纽约兰登书屋 [34] Reiter，R.，《关于封闭世界数据库》（1977年），不列颠哥伦比亚大学计算机科学系，TR-77-14 [35] Reiter，R.，《默认推理》（《TINLAP第二交响曲汇编》，伊利诺伊州乌尔班纳，第二交响汇编，1978年）·兹伯利0435.68069 [36] Rescher，N.，《假设推理》（1964年），《北荷兰：北荷兰阿姆斯特丹》·Zbl 0166.25204号 [37] Robinson，A.，形式主义64，（Bar-Hillel，Y.，《逻辑、方法论和科学哲学》（1965），北荷兰：北荷兰阿姆斯特丹），228-246·Zbl 0199.00204号 [38] Robinson，J.A.，《基于归结原理的面向机器的逻辑》，J.Assoc.Compute。机械，12，23-41（1965）·Zbl 0139.12303号 [39] Sandewall，E.，《框架问题及其实现方法》（Meltzer，B.；Michie，D.，《机器智能》，7（1972），威利出版社：威利纽约），195-204年·Zbl 0249.68035号 [40] Scriven，M.，《以自白为历史解释的依据》（Gardiner，P.，《历史理论》（1959），自由出版社：纽约自由出版社） [41] 斯克里文，M.，《解释逻辑中的新问题》（胡克，S.，《哲学与历史》（1963），纽约大学出版社：纽约大学出版社） [42] Stallman，R.M。；Sussman，G.J.，计算机辅助电路分析系统中的正向推理和依赖定向回溯，人工智能，9，2，135-196（1977）·Zbl 0372.94024号 [43] 苏斯曼，G.J。；Winograd，T。；查尼亚克，E(微型镀膜机参考手册（1971），麻省理工学院人工智能实验室，AI Memo 203a [44] Takeuti，G.，《形式化原理》（Van Rootselaar，B.；Staal，J.F.，《逻辑方法论和科学哲学III》（1968年），荷兰北部：阿姆斯特丹北部），105-118·Zbl 0182.32801号 [45] Van Frassen，B.，《奇异项、真值间隙和自由逻辑》，J.Phil.，LXIII，17，481-495（1966） [46] Weyhrauch，R.，形式推理理论概论（1978），斯坦福人工智能实验室，备忘录AIM-315 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。