里士满·H·托马森。 Netl和随后的基于路径的继承理论。 （英语） Zbl 0800.68871号 计算。数学。应用。 23，第2-5号，179-204（1992）. 引用于6文件 MSC公司： 68立方英尺 知识表示 68T27型 人工智能中的逻辑 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 68兰特 计算机科学中的图论（包括图形绘制） 关键词：充分性;后续基于路径的继承理论;人工智能系统;知识表示;继承 软件：LISP公司 PDF格式BibTeX公司 XML格式引用 \textit{R.H.Thomason}，计算。数学。申请。23，编号2--5，179-204（1992；Zbl 0800.68871） 全文： 内政部 参考文献： [1] Brachman，R.，《论语义网络的认识论地位》，（Findler，N.，《联想网络：计算机对知识的表示和使用》（1979），学术出版社：纽约学术出版社），3-50·Zbl 0473.68088号 [2] Touretzky，D.，《遗传系统的数学》（1986年），Morgan Kaufmann:Morgan Koufmann San Mateo，CA·Zbl 0675.68006号 [3] Steele，G.，通用LISP公司：《语言》（1990），数字出版社：马萨诸塞州布拉德福德数字出版社·Zbl 0757.68008号 [4] Flickinger，D.，《层次词典中的词汇规则》（1987年斯坦福大学语言学系博士论文：加利福尼亚州帕洛阿尔托斯坦福大学语言学部） [5] Evans，R。；加兹达尔，G.，TheDATR公司论文：1990年2月，（萨塞克斯大学认知与计算科学学院认知科学研究论文CSRP 139（1990）：英国萨塞克斯布莱顿大学认知与计算机科学学院） [6] Fahlman，S。，美国国家电力公司《代表和使用现实世界知识的系统》（1979），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥·兹比尔0444.68083 [7] Hillis，W.D.，《连接机器》（The Connection Machine）（1985），麻省理工学院出版社：马萨诸塞州剑桥 [8] Evett，M。；亨德勒，J。；Spector，L.，连接机上的并行知识表示，（技术报告CS-TR-2409（1990），马里兰大学计算机科学系） [9] Spector，L。；亨德勒，J。；Evett，M.，知识表示派克大衣，（技术报告CS-TR-2410（1990），马里兰大学计算机科学系） [10] 多伊尔，J。；Patil，R.，《知识表征的两个教条：语言限制、分类分类和表征服务的效用》，MIT/LCS技术报告（1989） [11] Winston，P.，《人工智能》（1984），Addison-Wesley：马萨诸塞州Addison-Whesley Reading·Zbl 0598.68056号 [12] Minsky，M.，表示知识的框架，（Haugeland，J.，Mind Design（1981），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥），95-128 [13] Shieber，S.，《基于统一的语法方法导论》（1986），语言与信息研究中心：语言与信息中心，加利福尼亚州帕洛阿尔托 [14] McCarthy，J.，《人工智能、逻辑和形式化常识》（Thomason，R.，《哲学逻辑和人工智能》（1990），Kluwer），161-183 [15] （Ginsberg，M.，《非单调推理阅读》（1987），Morgan Kaufmann:Morgan Koufmann San Mateo，CA） [16] Loui，R.，《在论据中击败：可废止推理系统》，《计算智能》，第3100-106页（1987年） [17] 克劳斯，S。；莱曼，D。；Magidor，M.，《非单调推理、优先模型和累积逻辑》，人工智能，44167-207（1990）·Zbl 0782.03012号 [18] 多伊尔，J。；Wellman，M.，《基于普遍偏好的缺省理论的障碍》（KR’89：第一届知识表示和推理原则国际会议论文集（1989），Morgan Kaufmann：Morgan Koufmann-San Mateo），84-102·Zbl 0709.68082号 [19] 托马森，R。；Touretzky，D.，继承理论和角色网络，（Sowa，John，语义网络原理（1990），Morgan Kaufmann），即将出版 [20] J.Horty，非单调遗传的一些直接理论，In人工智能和逻辑编程逻辑手册等。; J.Horty，非单调遗传的一些直接理论，In人工智能和逻辑编程逻辑手册等。 [21] 霍蒂，J。；Thomason，R.，遗传网络的布尔扩展，（AAAI-90:第九届全国人工智能会议论文集（1990），AAAI出版社和麻省理工学院出版社），633-639 [22] Sandewall，E.，带例外的多重继承的非单调推理规则，（IEEE 74（1986）会议录），1345-1353 [23] 托雷茨基，D。；霍蒂，J。；Thomason，R.，《直觉的冲突：单调多重继承系统的当前状态》，（McDermott，J.，《第十届国际人工智能联合会议论文集》（1987），Morgan Kaufmann:Morgan Koufmann Los Altos），476-482 [24] Etherington，D.，《不完全信息推理》（1988），Morgan Kaufmann:Morgan Koufmann San Mateo，CA·Zbl 0694.68003号 [25] 塞尔曼，B。；Levsque，H.，基于路径的继承的可处理性（1989），多伦多大学计算机科学系：多伦多大学计算机科学系，安大略省多伦多市，技术报告·Zbl 0714.68094号 [26] McCarthy，J.，《具有常识的程序》（《思维过程机械化泰丁顿会议论文集》（1959年），女王办公厅：女王办公厅伦敦） [27] Curry，H.，《数学逻辑基础》（1963），麦格劳-希尔：麦格劳–希尔纽约·Zbl 0163.24209号 [28] （Barwise，J.，《数学逻辑手册》（1977），北荷兰：北荷兰阿姆斯特丹） [29] 霍蒂，J。；托马森，R。；Touretzky，D.，《非单调语义网中遗传的怀疑论》，《人工智能》，第42期，第311-348页（1990年）·兹比尔0717.68085 [30] D.Makinson和K.Schlechta，浮动结论和僵尸路径，人工智能; D.Makinson和K.Schlechta，浮动结论和僵尸路径，人工智能·Zbl 1117.68493号 [31] 托马森，R。；霍蒂，J。；Touretzky，D.，单调语义网中的继承演算（技术报告编号CMU-CS-86-138（1986），卡内基梅隆大学计算机科学系） [32] 北卡罗来纳州贝尔纳普（Belnap，N.），《计算机应该如何思考》（Ryle，G.，《当代哲学》（1977），奥利尔出版社：奥利尔牛津出版社），30-56 [33] Brachman，R.，“我对树撒了谎”，或知识表示中的默认值和定义，《人工智能杂志》，680-93（1985） [34] 霍蒂，J。；Thomason，R.，混合严格和可撤销继承，（AAAI-88:第七届全国人工智能会议论文集，第2卷（1988），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），427-432 [35] 托雷茨基，D。；Thomason，R.，《混合严格继承和不可行继承的网络推理算法》，（Ras，Z等，《智能系统方法论》，第五届智能系统方法学国际研讨会论文集（1990年），北荷兰：北荷兰阿姆斯特丹），212-225 [36] 托雷茨基，D。；Thomason，R.，非单调遗传和泛型自反式，（AAAI-88《第七届全国人工智能会议论文集》，第2卷（1988），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），433-438 [37] Hayes，P.，《框架的逻辑》（Metzing，D.，《框架概念和文本理解》（1979），Walter de Gruyter&Co:Walter de Gluyter和Co Berlin&New York），46-61 [38] 托马森，R。；Horty，J.，《非单调遗传的逻辑学》，（Reinfrank，M.；de Kleer，J.；Ginsberg，M.，Sandewall，E.，《第二届非单调推理国际研讨会论文集》，格拉索（FRG），1988年6月13日至15日（1988年），斯普林格-Verlag LNCS，220-237，LNAI子系列 [39] Sandewall，E.，《使用部分解释定义的非单调蕴涵语义》（Reinfrank，M.；de Kleer，J.；Ginsberg，M.）；Sandewall，E.，第二届非单调推理国际研讨会论文集。第二届国际非单调推理研讨会论文集，格拉索（FRG），1988年6月13日至15日（1988年），Springer-Verlag LNCS），27-41，LNAI子系列·Zbl 0675.03009号 [40] Doherty，P.，《继承属性与优先蕴涵逻辑之间的对应关系》，（Ras，Z等，《智能系统方法论》，第四届智能系统方法学国际研讨会论文集（1989年），北荷兰：北荷兰阿姆斯特丹），395-402 [41] Krishnaprasad，T.，《继承网络的语义》（1989年纽约州立大学石溪分校计算机科学系博士论文：纽约州立大学石溪分校计算机系）·Zbl 0714.68088号 [42] Krishnaprasad，T。；Kifer，M。；Warren，D.，《关于继承网络的限定语义》（Ras，Z等，《智能系统方法论》，第四届智能系统方法学国际研讨会论文集（1989年），北荷兰：北荷兰阿姆斯特丹），448-456 [43] Haugh，B.，普通非单调逻辑中多重可解继承的可追踪理论，（AAAI-88《第七届全国人工智能会议论文集》，第2卷（1988），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），421-426 [44] Gelfond，M。；Przymusinska，H.，《自认知逻辑中的继承推理》（Ras，Z.；etal.，《智能系统方法论》，第四届智能系统方法学国际研讨会论文集（1989年），北荷兰：北荷兰阿姆斯特丹），419-429 [45] Gregoire，E.，继承和非单调逻辑的怀疑论，（Ras，Z.；等人，智能系统方法论，第四届智能系统方法论国际研讨会论文集（1989），北荷兰：北荷兰阿姆斯特丹），430-438 [46] 也在第三届信息处理和基于知识的系统不确定性管理国际会议记录; 也在第三届信息处理和基于知识的系统不确定性管理国际会议记录·Zbl 0800.68884号 [47] Brewska，G.，《框架系统中的继承逻辑》（McDermott，J.，《第十届国际人工智能联合会议论文集》（1987），Morgan Kaufmann:Morgan Koufmann Los Altos），483-488 [48] Pearl，J.，《决定遗传网络的一致性》（技术报告870053（R-96）（1987），加州大学洛杉矶分校认知系统实验室） [49] Pearl，J.，《非单调推理的概率语义：一项调查》（Brachman，R.；etal。，在KR'89：《第一届知识表示与推理原则国际会议论文集》（1989），Morgan Kaufmann：Morgan Kaufmann San Mateo），505-516·Zbl 0703.03008号 [50] Geffner，H.（技术报告137（1989），加州大学洛杉矶分校认知系统实验室：加州大学洛杉矶校区认知系统实验室）·Zbl 0709.68083号 [51] 格夫纳，H。；Verna，T.，《继承=链接+失败》，（Ras，Z.等，《智能系统方法论》，第四届智能系统方法学国际研讨会论文集（1989年），北荷兰：北荷兰阿姆斯特丹），411-418·Zbl 0801.68006号 [52] 霍蒂，J。；托马森，R。；Touretzky，D.，非单调语义网中的怀疑论继承，（AAAI-87:第六届全国人工智能会议论文集，第2卷（1987），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），358-363 [53] Stein，L.，《怀疑继承：计算轻信扩展的交集》，（Srindharan，N.，《第十一届国际人工智能联合会议论文集》（1989），Morgan Kaufmann:Morgan Koufmann-Los Altos），1153-1158·Zbl 0714.68095号 [54] Gabow，H。；马赫什瓦里，S。；Osterweil，L.，《关于程序测试路径生成中的两个问题》，IEEE软件工程学报，227-231（1976） [55] 塞尔曼，B。；Levesque，H.，《基于路径的遗传的可驾驭性》，（Srindharan，N.，《第十一届国际人工智能联合会议论文集》（1989），Morgan Kaufmann:Morgan Koufmann Los Altos），1140-1145·Zbl 0714.68094号 [56] Thomason，R.，带关系和恒等式的单调网的完备性证明，（Ras，Z；等，智能系统方法论，第四届智能系统方法学国际研讨会论文集（1989），北荷兰：北荷兰阿姆斯特丹），523-532·Zbl 0801.68006号 [57] de T.Guerreiro，R.A。；Hemerly，A。；Shoham，Y.，《关于单调遗传与角色的复杂性》，（AAAI-90《第九届全国人工智能会议论文集》（1990），AAAI出版社和麻省理工学院出版社：AAAI Press&MIT Press Menlo Park，CA&Cambridge，MA），627-632 [58] 托马森，R。；霍蒂，J。；Touretzky，D.，单调语义网中的继承演算，（Ras，Z.；Zemankova，M.，《智能系统方法论》，第二届智能系统方法学国际研讨会论文集（1987），北荷兰：北荷兰阿姆斯特丹），280-287 [59] 托雷茨基，D。；霍蒂，J。；Thomason，R.，《直觉的冲突：非单调多重继承系统的当前状态》（缩写版），（McDermott，J.，《第十届国际人工智能联合会议论文集》（1987），Morgan Kaufmann:Morgan Koufmann Los Altos），476-482 [60] D.Touretzky、J.Horty和R.Thomason，非单调多重继承系统设计中的问题，卡内基梅隆大学计算机科学系技术报告（即将出版）。；D.Touretzky、J.Horty和R.Thomason，非单调多重继承系统设计中的问题，技术报告，卡内基梅隆大学计算机科学系（即将出版）·兹比尔0717.68085 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。