×
约翰·霍蒂。;里士满·H·托马森。;大卫·S·图雷茨基。

非单调语义网络中的怀疑论继承。 （英语） Zbl 0717.68085号

Artif公司。智力。 42，编号2-3，311-348（1990）.
摘要：本文描述了一种在语义网络中进行继承推理的新方法，该方法允许有例外的多重继承。该方法可以分析定义明确且直观有吸引力的可定义继承：它可以在任何非循环语义网络中产生明确的结果，并且在直觉本身坚定且明确的情况下，结果符合我们的直觉。然而，由于这里提供的定义是基于对继承推理的另一种持怀疑态度的观点，当它被应用于我们的直觉不稳定的网络，或者不同的推理策略自然会产生不同的结果时，它并不总是与以前的定义一致。在研究了这里给出的定义的某些特征之后，我们还描述了一种混合（并行-串行）算法，该算法在并行标记传递体系结构中实现了该定义。

引用于2评论
引用于44文件

MSC公司：

68吨15 定理证明（演绎、解析等）（MSC2010）
68立方英尺 知识表示
68T99型 人工智能

关键词：

混合推理算法;通用LISP;继承推理;语义网络
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Horty}等人，Artif。智力。42，编号2--3，311--348（1990；Zbl 0717.68085）
全文： 内政部

参考文献：

[1] 北卡罗来纳州贝尔纳普（Belnap，N.），《计算机应该如何思考》（Ryle，G.，《当代哲学》（1977），奥利尔出版社），第30-56页
[2] 贝尔纳普，N，一个有用的四值逻辑，（Dunn，J.；Epstein，G.，《多值逻辑的现代使用》（1977），Reidel:Reidel Dordrecht，荷兰），8-37·Zbl 0417.03009号
[3] Carlson，G.，通用术语和通用句子，J.Philos。逻辑，11145-181（1982）
[4] Etherington，D.，形式化非单调推理系统，人工智能，3141-85（1987）·Zbl 0638.68100号
[5] Fahlman，S.，《NETL：表示和使用现实世界知识的系统》（1979年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥·Zbl 0444.68083号
[6] Fahlman，S.，《百万元件NETL机器的设计草图》（Proceedings AAAI-80）。AAAI-80会议记录，加利福尼亚州斯坦福（1980），249-252
[7] Fahlman，S。；托雷茨基，D。；van Roggen，W.，《并行语义网络中的取消》（Proceedings IJCAI-81）。不列颠哥伦比亚省温哥华市IJCAI-81会议记录（1981），257-263
[8] Hillis，W.，The Connection Machine（1985），麻省理工学院出版社：麻省理学院出版社剑桥
[9] Horty，J.，非单调遗传的一些直接理论，（《技术报告》（1990），马里兰大学高级计算机研究所：马里兰大学帕克学院高级计算机研究院，医学博士）
[10] 霍蒂，J。；Thomason，R.，《严格继承与不可行继承的混合》（Proceedings AAAI-88）。美国明尼苏达州圣保罗AAAI-88会议记录（1988），427-432
[11] 霍蒂，J。；托马森，R。；Touretzky，D.，《非单调语义网络中的怀疑继承理论》（技术报告CMU-CS-87-175（1987），卡内基梅隆大学计算机科学系：宾夕法尼亚州匹兹堡卡内基梅隆大学计算机系）·Zbl 0717.68085号
[12] 麦卡锡，J.，《界限：非单调推理的一种形式》，《人工智能》，13，27-39（1980）·Zbl 0435.68073号
[13] 麦克德莫特，D。；Doyle，J.，非单调逻辑I，人工智能，13，41-72（1980）·Zbl 0435.68074号
[14] Moore，R.，非单调逻辑的语义考虑，人工智能，25，75-94（1985）·Zbl 0569.68079号
[15] 纳多·R。；Fikes，R.，《具有默认值的正式定义框架语言的语义健全继承》（Proceedings AAAI-87）。诉讼程序AAAI-87，宾夕法尼亚州费城（1987）），443-448
[16] （Minsky，M.，《语义信息处理》（1968），麻省理工学院出版社：麻省理学院剑桥出版社）·Zbl 0313.68081号
[17] Rector，A.，《医学知识表示系统中的默认、例外和模糊性》，《医学信息》，第11295-306页（1986年）
[18] Reiter，R.，《默认推理的逻辑》，《人工智能》，第13期，第81-132页（1980年）·Zbl 0435.68069号
[19] 罗伯茨，R。；Goldstein，I.，《FRL手册》（AI Memo No.409（1977），麻省理工学院人工智能实验室：麻省理学院剑桥人工智能实验室）
[20] Sandewall，E.，关于多重继承的非单调推理规则（例外），（美国电气与电子工程师协会，74（1986）），1345-1353
[21] 托马森，R。；霍蒂，J。；Touretzky，D.，单调语义网中的继承演算，（技术报告CMU-CS-86-138（1986），卡内基梅隆大学计算机科学系：卡内基梅隆大学匹兹堡计算机科学系，宾夕法尼亚州）
[22] Touretzky，D.，《遗传系统的数学》（1986年），Morgan Kaufmann:Morgan Koufmann Los Altos，CA·Zbl 0675.68006号
[23] 托雷茨基，D。；霍蒂，J。；Thomason，R.，直觉的冲突：非单调多重继承系统的当前状态，（Proceedings IJCAI-87。IJCAI-87会议记录，米兰（1987），476-482
[24] 托雷茨基，D。；霍蒂，J。；Thomason，R.，《非单调继承系统设计中的问题》，（《技术报告》（1990），卡内基梅隆大学计算机科学系：卡内基梅隆大学匹兹堡计算机科学系，宾夕法尼亚州）
[25] 托雷茨基，D。；Thomason，R.，《非单调遗传和泛型自反式》（Proceedings AAAI-88）。AAAI-88会议记录，明尼苏达州圣保罗（1988），433-438
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。