×
詹姆斯·德尔格兰德。

基于一阶条件逻辑的默认推理方法：修订报告。 （英语） Zbl 0646.03015号

Artif公司。智力。 36，No.1，63-90（1988）。
基于经典一阶逻辑的扩展，提出了一个用于默认推理的逻辑N，该逻辑N具有运算符“if…then normal…”和可能世界语义。与其他方法相比，N更适合表示常识直觉和关于缺陷的信息。两种默认推理公式依赖于明确作出的正态性和相关性假设，表明它们在默认推理集方面是等价的。
审核人：E.梅利斯

引用于47文件

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
68T99型 人工智能

关键词：

默认推理;可能世界语义;常识直觉与信息
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Delgrande}，阿蒂夫。智力。36，编号1，63--90（1988；Zbl 0646.03015）
全文： 内政部

参考文献：

[1] Brachman，R.J.，“我对树撒谎”或知识表示中的默认值和定义，《人工智能杂志》，6，3，80-93（1985）
[2] Chellas，B.F.，《基本条件逻辑》，J.Philos。逻辑，4133-153（1975）·Zbl 0317.02029号
[3] Davis，M.，《非单调推理的数学》，《人工智能》，第13期，第73-80页（1980年）·Zbl 0435.68075号
[4] Delgrand，J.P.，《自然种类的命题逻辑》，（AI-86加拿大人工智能计算研究学会会议，AI-86《加拿大人工智能计算机研究学会会议》，魁北克省蒙特利尔（1986））
[5] Delgrand，J.P.，《基于一阶条件逻辑的默认推理方法》（Proceedings AAAI-87）。AAAI-87会议记录，西雅图，华盛顿州（1987），340-345
[6] Delgrand，J.P.，《典型属性的一阶逻辑》，《人工智能》，33，1，105-130（1987）·Zbl 0654.68106号
[7] Delgrand，J.P.，《基于一阶条件逻辑扩展和修订报告的默认推理方法》（LCCR TR 87-9（1987），西蒙弗雷泽大学计算科学学院：西蒙弗雷泽州立大学伯纳比计算科学学院，不列颠哥伦比亚省）·兹伯利0646.03015
[8] Delgrand，J.P.，基于正常条件逻辑的默认推理，准备中。；Delgrand，J.P.，《基于正常条件逻辑的默认推理，准备中》。
[9] 以太灵顿，D.W。；Reiter，R.，《关于有例外的继承层次结构》（Proceedings AAAI-83）。会议记录AAAI-83，华盛顿特区（1983年），104-108
[10] 汉克斯，S。；McDermott，D.，《缺省推理、非单调逻辑和框架问题》（Proceedings AAAI-86）。诉讼程序AAAI-86，宾夕法尼亚州费城（1986）），328-333
[11] 霍蒂，J.F。；托马森，R.H。；Touretzky，D.S.，《非单调语义网络中遗传的怀疑论》（Proceedings AAAI-87）。《AAAI-87会议记录》，西雅图，华盛顿州（1987），358-363·Zbl 0717.68085号
[12] 休斯，G.E。；克雷斯韦尔，M.J.（模态逻辑导论（1968），《Methuen:Methuen London》）·Zbl 0205.00503号
[13] 休斯，G.E。；克雷斯韦尔，M.J.，（模态逻辑指南（1984），Methuen:Methuen London）·Zbl 0625.03005号
[14] Lewis，D.（反事实（1973），哈佛大学出版社：哈佛大学出版社，马萨诸塞州剑桥）
[15] McCarthy，J.，非单调推理的一种形式，《人工智能》，13，27-39（1980）·Zbl 0435.68073号
[16] McCarthy，J.，《限制在形式化常识推理中的应用》（《非单调推理研讨会论文集》（1984）），295-324
[17] 麦克德莫特，D。；Doyle，J.，非单调逻辑I，人工智能，13，41-72（1980）·Zbl 0435.68074号
[18] Nute，D.（条件逻辑主题，哲学哲学研究系列，20（1980），Reidel:Reidel Dordrecht）·Zbl 0453.03016号
[19] Reiter，R.，《默认推理的逻辑》，《人工智能》，第13期，第81-132页（1980年）·Zbl 0435.68069号
[20] Reiter，R。；Criscuolo，G.，《交互违约》（Proceedings IJCAI-81）。不列颠哥伦比亚省温哥华市IJCAI-81会议记录（1981），270-276
[21] Rosch，E.，《分类原则》（Rosch，E；Lloyds，B.B.，《认知与分类》（1978），埃尔鲍姆：埃尔鲍姆-希尔斯代尔，新泽西州）
[22] Touretzky，D.S.，《继承系统中默认值的隐式排序》（Proceedings AAAI-84）。AAAI-84会议记录，德克萨斯州奥斯汀（1984），322-325
[23] 范·弗拉森（van Fraassen），《有条件义务的逻辑》，J.Philos。逻辑，1417-438（1972）·Zbl 0246.020155号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。