×
詹姆斯·德尔格兰德。

原型属性的一阶条件逻辑。 （英语） Zbl 0654.68106号

Artif公司。智力。 33, 105-130 (1987).
本文讨论了关于各种对象的缺省和原型属性的知识的适当表示问题。接受的方法分析了其他一些方法的弱点，并考虑了与类似任务相关的逻辑系统。为了设计一个新的、更充分的逻辑系统来表示具有默认值和原型属性的语句，我们选择了经典一阶逻辑的框架，但使用了一个“可变条件”操作符来表示实体及其原型属性之间的关系。
作为该系统的第一阶段，提出了带有形式语义和证明理论的命题逻辑（PC）。语义是基于可能世界的概念。将PC系统扩展为条件逻辑（NP），作为包含微积分PC的最小逻辑。然后将该NP系统扩展为结果一阶逻辑系统，并证明其是健全和完整的。得到的形式系统的属性被认为与关于缺省值和原型属性的常见直觉相对应。
审核人：萨伊达

引用于36文件

MSC公司：

68T99型 人工智能
03B60号 其他非经典逻辑

关键词：

知识表示;默认值;原型特性;条件逻辑
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Delgrande}，阿蒂夫。智力。33、105-130（1987年；Zbl 0654.68106）
全文： 内政部

参考文献：

[1] Brachman，R.J.，“我对树撒谎”或知识表示中的默认值和定义，《人工智能杂志》，6，3，80-93（1985）
[2] Carlson，G.N.，（参考英语中的种类（1980），Garland:Garland New York）
[3] Carlson，G.N.，通用术语和通用句子，J.Philos。逻辑，11145-181（1982）
[4] Chellas，B.F.，《基本条件逻辑》，J.Philos。逻辑，4133-153（1975）·Zbl 0317.02029号
[5] Dahl，O.，《论泛型》（Keenan，E.L.，《自然语言的形式语义学》（1975），剑桥大学出版社：剑桥大学出版社，剑桥），99-111·Zbl 0314.00011号
[6] Delgrand，J.P.，《自然种类的命题逻辑》（AI-86加拿大人工智能计算研究学会会议（1986年5月））
[7] Delgrand，J.P.，《原型属性的一阶逻辑：扩展报告》，（《技术报告》第86-15页（1986年），西蒙弗雷泽大学计算科学学院计算机与通信研究实验室：西门弗雷泽大学伯纳比计算科学学院计算与通信研究室）·Zbl 0654.68106号
[8] 休斯，G.E。；Cresswell，M.J.，模态逻辑导论（1968），伦敦梅休恩·Zbl 0205.00503号
[9] 休斯，G.E。；Cresswell，M.J.，《模态逻辑指南》（1984），伦敦梅休恩·Zbl 0625.03005号
[10] Lewis，D.（反事实（1973），哈佛大学出版社：哈佛大学出版社，马萨诸塞州剑桥）
[11] McCarthy，J.，《界限——非单调推理的一种形式》，《人工智能》，13，27-39（1980）·Zbl 0435.68073号
[12] 麦克德莫特，D。；Doyle，J.，非单调逻辑I，人工智能，13，41-72（1980）·Zbl 0435.68074号
[13] Mendelson，E.（数学逻辑导论（1964），Van Nostrand：Van Nostrand纽约）
[14] Moore，R.C.，《非单调逻辑的语义考虑》（Proceedings IJCAI-83）。《IJCAI-83程序集》，卡尔斯鲁厄，F.R.G.（1983），272-279·Zbl 0569.68079号
[15] Nute，D.，《反事实》，《圣母院J.形式逻辑》，第16卷，第476-482页（1975年）·Zbl 0283.02007号
[16] Nute，D.，《条件逻辑专题》，《哲学哲学研究丛书》，20（1980），莱德尔，多德雷赫特·兹比尔0453.03016
[17] Putnam，H.，语义可能吗？，（《思维、语言与现实：哲学论文》，第二卷（1975年），剑桥大学出版社：剑桥大学出版社，马萨诸塞州剑桥），215-271·Zbl 0311.00035号
[18] Reiter，R.，《默认推理的逻辑》，《人工智能》，第13期，第81-132页（1980年）·Zbl 0435.68069号
[19] Reiter，R。；Criscuolo，G.，《交互违约》（Proceedings IJCAI-81）。不列颠哥伦比亚省温哥华市IJCAI-81会议记录（1981），270-276
[20] Rosch，E.，《分类原则》（Rosch，E；Lloyds，B.B.，《认知与分类》（1978），埃尔鲍姆：埃尔鲍姆-希尔斯代尔，新泽西州）
[21] Stalnaker，R.F.，《条件句理论》（Rescher，N.，《逻辑理论研究》（1968），巴西尔·布莱克威尔：巴西尔·布雷威尔牛津），98-112
[22] 汤普森，T.R.，《证据推理理论的平行表述》（Proceedings IJCAI-85）。IJCAI-85会议记录，加利福尼亚州洛杉矶（1985）），321-327
[23] 范·弗拉森（van Fraassen），《有条件义务的逻辑》，J.Philos。逻辑，1417-438（1972）·Zbl 0246.020155号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。