弗里茨·莱曼 语义网络。 （英语） Zbl 0800.68872号 计算。数学。申请。 23，第2-5、1-50号（1992年）. 引用于3文件 MSC公司： 68立方英尺 知识表示 68兰特 计算机科学中的图论（包括图形绘制） 68问题55 计算理论中的语义学 2012年第68季度 语法和重写系统 关键词：语义网络系统;链接类型;框架系统;案例关系;链接价;继承层次结构;关系图论;graph-grammar理论;语义基元;多重交叉;推理层次结构 PDF格式BibTeX公司 XML格式引用 \textit{F.Lehmann}，计算。数学。申请。23，编号2--5，1--50（1992；Zbl 0800.68872） 全文： 内政部 参考文献： [1] 诉讼程序。注：程序。国际JCAI诉讼国际人工智能联合会议程序。啊啊啊全国人工智能会议记录;诉讼程序。注：程序。国际JCAI诉讼国际人工智能联合会议程序。啊啊啊全国人工智能会议记录 [2] （Beller，E.，《人工智能简编：1954-1987年人工智能理论和应用研究摘要和索引》（1988），科学数据链：科学数据链，纽约州拉斐特街270号，10012） [3] 夏皮罗，S.C.，《人工智能百科全书》（1987），约翰·威利父子公司：约翰·威利母子公司纽约·兹比尔0664.68085 [4] （Brachman，R.J.；Levesque，H.J.，《知识表征阅读》（1985），Morgan Kaufman：Morgan Koufman Los Altos，California），重印于·Zbl 0609.68007号 [5] Levesque，H.J.，《知识表征阅读》（Brachman，R.J.（1985），Morgan Kaufmann:Morgan Koufmann Los Altos，California）·Zbl 0609.68007号 [6] MacRandal，D.，语义网络，（Ringland，G.A.；Duce，D.A.，《知识表示方法：导论》（1988），研究出版社/John Wiley&Sons：研究出版社/约翰·威利&Sons Letchworth，赫特福德郡/纽约） [7] （Cercone，N.；McCalla，G.，《知识前沿：知识表征的论文》（1987），施普林格：施普林格纽约）·Zbl 0635.68092号 [8] Cercone，N。；McCalla，G.，IEEE Computer:知识表示专刊，第16卷，第10期（1983年） [9] （Bobrow，D.G.；Collins，A.，《表征与理解：认知科学研究》（1975），学术出版社：佛罗里达州奥兰多学术出版社）·Zbl 0332.68007号 [10] Colby，K.M.，《思维和语言的计算机模型》（Schank，R.（1973），W.H.Freeman:W.H.Freeman旧金山，加利福尼亚州）·Zbl 0281.68043号 [11] 查尼亚克，E。；McDermont，D.，《人工智能导论》（1985），Addison-Wesley：Addison-Whesley Reading，Mss·Zbl 0605.68083号 [12] Nilsson，N.，《人工智能原理》（1980），蒂奥加出版公司：蒂奥加出版社，加利福尼亚州帕洛阿尔托，由加利福尼亚州圣马特奥的Morgan Kaufmann再版·Zbl 0422.68039号 [13] Nagao，M.，《知识与干扰》（1980），学术出版社：加州圣地亚哥学术出版社 [14] Harris，M.D.，《自然语言处理概论》（1985），Reston Publishing Co:Reston Publishion Co Reston，弗吉尼亚州 [15] 巴尔，A。；科恩，P。；Feigenbaum，E.，（《人工智能手册》，第一卷至第三卷（1981年），威廉·考夫曼：威廉·考文·帕洛·阿托，加利福尼亚州），再版，第四卷出版，艾迪森·韦斯利，雷丁，马萨诸塞州，（1989年）·Zbl 0509.68087号 [16] （Findler，N.V.，《联想网络：计算机对知识的表示和使用》（1979），学术出版社：佛罗里达州奥兰多学术出版社）·Zbl 0473.68088号 [17] J.F.Sowa，编辑。，语义网络原理：知识表示的探索；J.F.Sowa，编辑。，语义网络原理：知识表示的探索·Zbl 0758.68018号 [18] （Evens，M.W.，《词汇的关系模型：语义网络中的知识表示》（1988），剑桥大学出版社：剑桥大学出版社） [19] Fahlman，S.E.，《NETL：表示和使用现实世界知识的系统》（1979年），麻省理工学院出版社：麻省理学院出版社剑桥，马萨诸塞州·Zbl 0444.68083号 [20] （《詹姆斯·约瑟夫·西尔维斯特论文集》，第三卷（1909年），剑桥大学出版社），103-104年，重印于 [21] 《詹姆斯·约瑟夫·西尔维斯特的论文集》，第三卷（1909年），剑桥大学出版社，148-206年，重印于 [22] Kempe，A.B.，更正于：《数学形式理论回忆录》（英国皇家学会学报，42（1887）），193-196年，伦敦 [23] Kempe，A.B.，《修正与解释》，《一元论》，第7453-458页（1897年） [24] 罗伯茨，D.D.，《查尔斯·皮尔斯的存在图》（1973），《莫顿：海牙莫顿》 [25] Pierce，C.S.，（Hartshorne，C.；Weiss，P.；Burks，A.，《查尔斯·桑德斯·皮尔斯论文集》，第4卷（1958年），贝尔纳普出版社（哈佛大学出版社）：贝尔纳普出版（哈佛大学出版）剑桥，马萨诸塞州）·Zbl 0081.00410号 [26] 皮尔斯，C.S.（艾斯勒，C.，《数学新元素》，第三卷第1期（1976年），穆顿/人文出版社：穆顿/人文出版社，新泽西州大西洋高地）·Zbl 0443.01021号 [27] Frege，G.，标题翻译为：概念写作，一种基于算术的公式语言，用于纯粹的思考（van Haijenoort，J.，Frege和Gödel:《数学逻辑中的两个基本文本》（1970），哈佛大学出版社：哈佛大学出版社剑桥，马萨诸塞州），重印于·Zbl 0209.00601号 [28] Ketner，K.L.，Pierce的“最清晰和有趣的论文”：cenopythagorealism导论，《国际哲学季刊》，25，375-392（1986） [29] R.W.伯奇，皮尔斯约化命题与拓扑逻辑基础；R.W.伯奇，皮尔斯约化命题与拓扑逻辑基础 [30] Herzberger，H.G.，Pierce的显著定理，（Summer，L.W.；Slater，J.G.；Wilson，F.，《实用主义与目的：提交给Thomas A.Gougge的论文》（1981），多伦多大学出版社：多伦多大学 [31] （哈德威克，C.S.，《符号学与意义：查尔斯·S·皮尔斯与维多利亚·韦尔比夫人的通信》（1977年），印第安纳大学出版社：印第安纳大学出版社，印第安纳州布鲁明顿） [32] 朱利安出版社，纽约，1972年再版，班塔姆图书（平装本），纽约，1973年。；朱利安出版社，纽约，1972年再版，班塔姆图书公司（平装本），纽约，1973年再版·Zbl 0207.00701号 [33] Sowa，J.F.，《概念结构：大脑和机器中的信息处理》（1984年），《艾迪森·韦斯利：艾迪生·韦斯利阅读》，马萨诸塞州·Zbl 0536.68077号 [34] （停刊日记账。在菲利普·米尔斯-阿诺德符号学收藏；（停刊日记账。在菲利普·米尔斯-阿诺德符号学收藏 [35] Richens，R.H.，《剑桥语言研究所研究报告》，机械翻译，3，2（1956年），见前注 [36] Masterman，M.，《使用语际语言进行机器翻译的语义信息检测》，（1961年国际语言机器翻译和应用语言分析会议论文集（1962年），女王陛下文具办公室：伦敦女王陛下文具办公室） [37] Jones，K.Sparck，《同义词和语义分类》（1964年论文（1986年），爱丁堡大学出版社：爱丁堡学院出版社），最新印刷·Zbl 0939.68872号 [38] 琼斯·K·斯派克；Boguraev，B.，案例研究笔记，计算语言学，13，1-2，65-68（1987） [39] Ceccato，S.，《机械翻译的语言分析和编程》（1961年），Gordon&Breach：Gordon和Breach纽约 [40] Reitman，W.R.，《认知与思维：信息处理方法》（1965），John Wiley&Sons：John Willey&Sons纽约 [41] Genesereth，M.R。；Nilsson，N.J.，《人工智能的逻辑基础》（1988），Morgan Kaufmann:Morgan Koufmann Palo Alto，California·兹比尔0645.68104 [42] Turner，R.，《人工智能逻辑》（1984），Ellis Horwood/John Wiley:Ellis Holwood/约翰·威利·奇切斯特，苏塞克斯/纽约 [43] （Barwise，J.；Feferman，S.，《模型理论逻辑》（1985），Springer:Springer New York）·Zbl 0587.03001号 [44] Woods，W.A.，《链接中的内容：语义网络的基础》（Bobrow，D.；Collins，A.，《表示与理解》（1975），学术出版社：佛罗里达州奥兰多学术出版社），转载于[5] [45] Brachman，R.J.，《IS-A是什么和不是什么：语义网络中链接的分类分析》，IEEE计算机，16，30-36（1983） [46] Touretzky，D.S.，《继承系统的数学》（1986年），皮特曼/摩根考夫曼：皮特曼/摩尔根考夫曼伦敦/加利福尼亚州圣马特奥·Zbl 0675.68006号 [47] Guise，D.，《高效框架系统》（Martins，J.P.；Morgado，E.M.，《1989年EPIA汇编》）。程序。1989年EPIA，《人工智能课堂讲稿》，第390号（1989），施普林格出版社：柏林施普林格） [48] （Brachman，R.J.；Levesque，H.J.，《知识表示》（1985），摩根考夫曼：摩根考夫曼·洛斯·阿尔托斯，加利福尼亚），重印于·兹比尔0609.68007 [49] 艾伦，J.F。；弗里希，A.M.，语义网络中有什么？，（计算语言学协会第20届年会（1982年）议事录，计算语言学协会：多伦多计算语言学协会） [50] Deliyanni，A。；Kowalski，R.A.，逻辑和语义网络，ACM通信，22，3，184-192（1979）·Zbl 0394.68063号 [51] McSkimin，J.R。；Minker，J.，基于谓词演算的演绎搜索语义网络，（Findler，N.V.，Associative Networks（1979），学术出版社：佛罗里达州奥兰多学术出版社） [52] Dersthick，M.，《Cyc的结膜水平接口》（技术报告ACT Cyc-084-90，MCC，3500（1990），Balcones中心医生：Balconens中心医生，德克萨斯州奥斯汀），78759 [53] （Brachman，R.J.；Levesque，H.J.，《知识表征阅读》（1985），Morgan Kaufman：Morgan Koufman Los Altos，California），重印于·兹比尔0609.68007 [54] 戈尔茨坦，I.P。；Roberts，B.，《在调度中使用帧》（Winston，P.H.，《人工智能：麻省理工学院的观点》（1979），麻省理工大出版社：麻省剑桥麻省理学院出版社） [55] 罗伯茨，R.B。；Goldstein，I.P.，（FRL用户手册A.I.备忘录第408号（1977年），麻省理工学院人工智能实验室：麻省理工大剑桥人工智能实验室） [56] （Brachman，R.J.；Levesque，H.J.，《知识表征阅读》（1985），摩根考夫曼：摩根考夫曼·洛斯·阿尔托斯，加利福尼亚），重印于·Zbl 0609.68007号 [57] 温斯顿，P.H。；霍恩，B.K.P.，LISP（1981），《艾迪生-韦斯利：艾迪生·韦斯利阅读》，马萨诸塞州·Zbl 0476.68011号 [58] Winston，P.H.，《人工智能》（1977年），《艾迪森·韦斯利：艾迪生·韦斯利阅读》，马萨诸塞州·兹比尔0358.68134 [59] Kalay，Y.E.，《建模对象和环境》（1989），John Wiley&Sons:John Willey&Sons New York [60] 科因·R·D。；罗森曼，医学硕士。；Radford，A.D。；Balachandrian，M。；Gero，J.S.，《基于知识的设计系统》（1990），Addison-Wesley：Addison-Whesley Reading，马萨诸塞州 [61] 菲克斯，R。；Kehler，T.，《基于框架的表征在推理中的作用》，《ACM的沟通》，28904-920（1985） [62] Bruce，B.，《自然语言中的案例系统》，《人工智能》，6327-360（1975）·Zbl 0313.68059号 [63] Fillmore，C.J.，《案例与案例》（Bach，E.；Harms，R.T.，《语言理论的普遍性》（1968），霍尔特、莱因哈特和温斯顿：霍尔特、雷因哈特与温斯顿，纽约） [64] Celce-Murchia，M.，句子识别范例，（加州大学洛杉矶分校语言学系技术报告（1972），劳里空军基地训练研究部空军人力资源实验室：科罗拉多州劳里空军空军基地训练科研部空军人力资源实验室），80230，出版为技术报告afhrl-tr-72-30 [65] Simmons，R.F.，《语义网络：它们的计算和用于理解英语句子》（Schank，R.；Colby，K.M.，《思维和语言的计算机模型》（1973），W.H.Freeman:W.H.Freeman Chicago） [66] Rumelhart，D.E。；Norman，D.A.，《作为人类记忆模型的主动语义网络》（Proc.IJCAI（1973）） [67] （Ostyn，B.R.，《认知语言学专题》（1988），约翰·本杰明斯：约翰·本杰明阿姆斯特丹） [68] 《语言与空间认知：英语介词的跨学科研究》（1986），剑桥大学出版社：剑桥大学出版社 [69] Parunak，H.V.D.，《槽语义问题的语言学方法》（Proc.Ann.Conf.Cognitive Science Society（1989）） [70] Lindsay，R.K.，为特设系统辩护，（Schank，R.；Colby，K.M.，《思想和语言的计算机模型》（1973），W.H.Freeman：W.H.Freeman San Fransisco）·Zbl 0281.68043号 [71] 菲利普·海斯（Philip J.Hayes），《论语义网、框架和关联》（Proc.IJCAI（1979）） [72] Safier，S.A。；Finger，S.，实体几何模型中的解析特征(程序。ECAI-90标准，第九届欧洲人工智能会议（1990年），斯德哥尔摩：斯德哥尔摩·皮特曼，伦敦） [73] （Brachman，R.J.；Levesque，H.J.，《知识表征阅读》（1985），摩根考夫曼：摩根考夫曼·洛斯·阿尔托斯，加利福尼亚），重印于·Zbl 0518.68050号 [74] （Brachman，R.J.；Levesque，H.J.，《加拿大智能计算研究学会》，《加拿大智力计算研究学会，知识表示读物》（1985），Morgan Kaufmann:Morgan Koufmann Los Altos，California），修订和重印于·兹比尔0609.68007 [75] Schmolze，J.G.，《支持术语的术语知识表示系统》（Proc.KR-89，First Int.Conf.on Principles of knowledge representation and Reasoning（1989），Morgan Kaufmann:Morgan Koufmann San Mateo，California） [76] Adámek，J.，《数学结构理论》（1983），D.Reidel:D.Reidel Dordecht，荷兰·Zbl 0523.18001号 [77] Grätzer，P.M.，《通用代数》（1968），范诺斯特兰德：新泽西州普林斯顿·Zbl 0182.34201号 [78] 威廉姆斯，D.C.，《存在的要素》（《经验现实主义原则》（1966），托马斯：托马斯·斯普林菲尔德） [79] 培根，J.，《四种模型》，《哲学逻辑》，17，2，91-114（1988）·Zbl 0638.03016号 [80] （Freeman，E.，《查尔斯·皮尔斯的相关性》（1983）一元论者赫格勒学院哲学图书馆：一元论者伊利诺伊州拉萨尔黑格勒学院哲学图书馆），重印于 [81] P.G.Kuntz，为类别做点什么：类别方法的选择及其产生的类别树，In查尔斯·桑德斯·皮尔斯哲学研究；P.G.Kuntz，为类别做点什么：类别方法的选择及其产生的类别树，In查尔斯·桑德斯·皮尔斯哲学研究 [82] Percy，W.，《三角洲因素》（The Delta factor）（The Message in The Bottle:How Queer Man Is，How Quee Language Is，and What One Has to The Other（1975），法拉、斯特劳斯和吉鲁：法拉、施特劳斯和吉鲁纽约） [83] 加利尔，Z。；霍夫曼，C.M。；Luks，E.M。；施诺尔，C.P。；韦伯，A.，三价图的（o（n^3）log（n））确定性和（o（n ^3）拉斯维加斯同构检验，ACM杂志，34，3，513-531（1987） [84] 阿塔迪，G。；Simi，M.，《OMEGA的一致性和完整性，知识表示逻辑》（Proc.IJCAI（1981）） [85] 北加尔丁。；Sibson，R.，《数学分类学》（1971），John Wiley&Sons：John Willey&Sons London·Zbl 0322.62065号 [86] 斯内斯，P.H.A。；Sokal，R.R.，《数值分类学》（1973），W.H.Freeman&Co：W.H.Freeman&Co旧金山·Zbl 0285.92001 [87] Van Ryzin，J.，《分类和聚类》（1977），学术出版社：纽约学术出版社 [88] 米查尔斯基，R。；Stepp，R.，《分类的自动构造：概念聚类与数值分类法》，IEEE模式分析汇刊，机器智能，5，4，346-409（1983） [89] Jain，A.K。；Dubes，R.C.，《聚类数据算法》（1988），普伦蒂斯·霍尔：普伦蒂斯霍尔-恩格尔伍德悬崖出版社，新泽西州·Zbl 0665.62061号 [90] （Diday，E.，《数据分析，学习符号和数字知识》（1989年），Nova科学出版社：Nova Science出版社Comack，N.Y） [91] 拉斯基纳，A.A。；西多罗夫，I.S。；Shreider，Y.A.，对象/特征语言的语义基础，（Naucho-Tektechnicheskaya Informatsiya，Seriya 2，10（1976），Allerton出版社：Allerton Press New York），18-25，翻译如下 [92] Tsalenko，M.Sh.，不可约系统和分类模型的规范表示，（Naucho-Tekhnichischeskaya Informatsiya，Seriya 2，19（1985），阿勒顿出版社：阿勒顿出版社，纽约），30-34，翻译为自动文档和数学语言学·Zbl 0581.68074号 [93] 波利亚科夫，O.M。；Dunaev，V.V.，《分类方案：通过关系进行综合》，（Naucho-Tektechnicheskaya Informatsiya，Seriya 2，19（1985），Allerton出版社：Allerton Press New York），15-21，翻译为·Zbl 0625.08001号 [94] Polyakov，O.M.，《分类数据模型》（Naucho-Tektechnicheskaya Informatsiya，Seriya 2，20（1986），Allerton出版社：Allerton Press New York），13-20，翻译如下·Zbl 0639.68113号 [95] Polyakov，O.M.，《系统化》（Naucho-Tektechnicheskaya Informatsiya，Seriya 2，22（1988），Allerton出版社：Allerton Press New York），21-28，翻译如下·Zbl 0739.62053号 [96] Kononov，B.P.，《形式合成问题：合成对象的可分割性和不相容性》，（Naucho-Tektechnicheskaya Informatsiya，Seriya 2，19（1985），Allerton出版社：Allerton Press New York），17-23，翻译如下 [97] Kolodner，J.L.，在动态长期记忆中维持组织，认知科学，7243-280（1983） [98] Kolodner，J.L.，《概念记忆中的检索和组织策略：计算机模型》（1984），Lawrence Erlbaum Associates:Lawrence Erlbaum Associates Hillside，N.J [99] 科顿，P。；Chase，M.P.，《基于案例的推理系统中的知识表示：默认和例外》（Proc.KR-89，第一届知识表示和推理原则国际会议（1989），Morgan Kaufmann:Morgan Koufmann San Mateo，California） [100] （Cercone，N.，计算语言学（1983），Pergamon:Pergamon牛津），重印于·Zbl 0523.68083号 [101] Patel-Schneider，P.F.，继承与知识表示有什么关系？，（Lenzerini，Maurizio；Nardi，Daniele；Simi，Maria，《知识表示和编程语言的继承层次》（1991），John Wiley&Sons:John Willey&Sons New York） [102] 弗里希，A.M。；Cohn，A.G.，《关于1988年混合推理原理研讨会的思考和后续思考》，AI杂志，11，5，77-87（1991），（专题研讨会） [103] （Horn，W.，《临时人工智能模型：走向应用的步骤》（1989），《半球出版：半球出版》，纽约），165-189年，重印于 [104] Guha，R.V。；Lenat，D.B.，《Cyc:中期报告》，AI杂志，11，3，32-59（1990） [105] （Ginsberg，M.L.，《非单调推理阅读》（1897），摩根考夫曼：摩根考夫曼·圣马特奥，加利福尼亚州） [106] Nebel，B.，（Springer人工智能讲义第422号（1989），Springer:Springer Berlin），再版·Zbl 0861.68096号 [107] Pearl，J.，《智能系统中的概率推理》（1988），Morgan Kaufmann:Morgan Koufmann San Mateo，California [108] Bacchus，F.，《一个谦逊但语义上有充分依据的继承推理器》（Proc.IJAI（1989））·兹比尔0714.68080 [109] （Vardi，M.，《关于知识推理理论方面的第二届会议论文集》（1988年），Morgan Kaufmann:Morgan Koufmann San Mateo，California）·Zbl 0699.00012号 [110] 路易·R·P。；卡恩，M。；Simari，G.，（专一性和多重继承的可废止推理研讨会。专一性与多重继承的不可行推理研讨会，技术报告WUCS-90-22（1990），华盛顿大学计算机科学系：密苏里州圣路易斯华盛顿大学计算机系），63130 [111] 多罗什，J。；Loui，R.P.，《特殊性和多重遗传可判定推理研讨会的编辑转录》，SIGART Bulletin，2，1，3-51（1991） [112] Guha，R.V.，《违约在Cyc中的表现》（Proc.AAAI-90（1990）） [113] 查芬，R。；Herrmann，D.J.，《语义关系的本质：两种方法的比较》（Evens，M.W.，《词汇的关系模型》（1988），剑桥大学出版社：剑桥大学出版社） [114] 查芬，R。；Herrmann，D.J.，《关系元素理论：语义关系表征和处理的新解释》（Gorfein，D.；Hoffman，R.，《记忆与学习：埃宾浩斯百年大会》（1987），劳伦斯·埃尔鲍姆协会：劳伦斯·埃尔鲍姆协会希尔斯代尔，新泽西州） [115] 科恩，P.R。；Loiselle，C.，Beyond IS-A:语义网络中似是而非推理的结构（Proc.AAAI-88（1988）） [116] Vilain，M.，《混合表示系统的受限语言架构》（Proc.IJCAI（1985）） [117] Moser，M.G.，《NIKL概述，KL-ONE的新实现》，（自然语言理解的知识表示研究——1982-1983年年度报告（1983），BBN实验室），技术报告5421 [118] Dernthick，M.，《用直接模型进行反事实推理》（Proc.AAAI-87（1987）） [119] R.H.Thomason和D.S.Touretzky，继承理论和角色网络，In语义网络原理；R.H.Thomason和D.S.Touretzky，继承理论和角色网络，In语义网络原理 [120] Huhns，M.N。；Stephens，L.M.，《使用扩展合成进行合理推断》（Proc.IJCAI（1989））·Zbl 0719.68061号 [121] Huhns，M.N。；Stephens，L.M.，关系的扩展构成，（MCC技术报告ACA-AI-376-88，MMC，3500（1988），Balcones中心医生：Balcone中心医生，德克萨斯州奥斯汀），78759 [122] Bakker，R.R.，《知识图：科学知识的表示和结构》，（博士论文（1987年），特温特大学：荷兰特温特大学） [123] 伯恩斯，J.R。；Winstead，W.H。；Haworth，D.A.，作为因果和判断知识表示范式的语义网，IEEE Trans。《系统、人与控制论》，19，1，58-67（1989） [124] Davis，R。；Lenat，D.B.，《人工智能中基于知识的系统》（1982），McGraw-Hill:McGraw-Hill纽约·Zbl 0479.68093号 [125] 格雷纳，R。；Lenat，D.B.，一种表示语言（Proc.AAAI-80（1980）） [126] Lenat，D.B。；Guha，R.V.，《构建大型知识型系统》（1990），《艾迪生-韦斯利：艾迪生·韦斯利阅读》，马萨诸塞州 [127] Hendrix，G.G.，《分区网络中的编码知识》（Findler，N.V.，Associative networks（1979），学术出版社：佛罗里达州奥兰多学术出版社） [128] Harel，D.，《视觉形式主义》，《ACM通讯》，31514-530（1988） [129] Esch，J.W.，概念结构的图形显示，（Gerholz，L.；Elkund，P.，Proc.5th Annual Workshop on Conceptive structures（1990），J.W.Esch，Unisys，564525号信箱：J.W.Esch，Unisys，564525号信箱，明尼苏达州圣保罗，55164） [130] W.A.Woods，《理解包容和分类：进步的框架》，In语义网络原理；W.A.Woods，《理解包容和分类：进步的框架》，In语义网络原理 [131] （Mylopoulos，J.；Brodie，M.L.，《人工智能和数据库系统阅读》（1989），摩根考夫曼：摩根考夫曼·圣马特奥，加利福尼亚州），重印于 [132] 以太灵顿，D.W。；Borgida，A。；Brachman，R.J。；Kautz，H.，《生动的知识和易于驾驭的推理：初步报告》（Proc.IJCAI（1989））·Zbl 0714.68086号 [133] Dyer，M.G.，自然语言处理的符号神经工程：多层次研究方法，（Barnden，J.A.；Pollock，J.B.，连接主义和神经计算理论，第1卷：高级连接主义模型（1991），Ablex：Ablex Norwood，N.J） [134] Borges，J.L.，《约翰·威尔金斯的分析语言》，（其他调查：论文1937-1952（1964），德克萨斯大学出版社：德克萨斯大学出版社，德克萨斯州奥斯汀） [135] B.史密斯。；Mulligan，K.，《理论碎片》（Smith，B.，《部分与瞬间：逻辑与形式本体研究》（1986），《哲学：慕尼黑哲学》） [136] McCarthy，J.，《情境、行动和偶然法律》，（斯坦福人工智能项目备忘录第2号（1963年），斯坦福大学：斯坦福大学，加利福尼亚州斯坦福） [137] （Ginsberg，M.L.，《非单调推理阅读》（1987），Morgan Kaufmann:Morgan Koufmann San Mateo，California），重印于·Zbl 0226.68044号 [138] Davis，E.，《常识知识的代表》（1990），Morgan Kaufmann:Morgan Koufmann San Mateo，California [139] Barwise，J。；Perry，J.，《情境与态度》（1983年），麻省理工学院出版社：麻省理学院出版社，剑桥·Zbl 0946.03007号 [140] 特普芬哈特，W.M。；Lazzara，A.V.，情境数据模型，（Esch，J.W.，Proc.3rd Ann.Conf.on Conceptual Graphs（1988），知识系统概念，262 Liberty Plaza:Knowledge Systems Concepts，262，Liberty Plaza Rome，N.Y），5812-13440，本论文及后续论文可从作者处获得 [141] 蒙塔古（Thomason，R.，《形式哲学：理查德·蒙塔古论文选集》（1974），耶鲁大学出版社：耶鲁大学，康涅狄格州纽黑文出版社） [142] Martin，R.M.，《符号学与语言结构》（1978），纽约州立大学出版社：纽约州立大学出版公司，纽约奥尔巴尼 [143] 舒伯特，L.K。；Hwang，C.H.，《叙事文本的情节性知识表征》（Proc.KR-89，《知识表征和推理原则第一次国际会议》，多伦多（1989），摩根考夫曼：摩根考夫曼·圣马特奥，加利福尼亚）·Zbl 0709.68097号 [144] 舒伯特，L.K。；Hwang，C.H.，叙事文本的情节性知识表示，（《技术报告》345（1990），罗切斯特大学计算机科学系TR图书馆员：新泽西州罗切斯特州立大学计算机科学部TR图书馆人），14627，（长篇，53页） [145] Lehnert，W.，《基于知识的自然语言理解》（Shrobe，H.E.；AAAI，探索人工智能（1988），Morgan Kaufmann:Morgan Koufmann San Mateo，California） [146] Soergel，D.，《索引语言和同义词库：构建和维护》（1974年），梅尔维尔出版社（约翰·威利父子公司）：梅尔维尔出版社 [147] Lenat，D.B。；Guha，R.V。；Pittman，K。；普拉特·D。；Shepherd，M.，Cyc:走向常识项目，ACM的沟通，33，8，30-49（1990） [148] Sowa，J.F.，《通过可教系统获取知识》（Martins，J.P.；Morgado，E.M.，Proc.EPIA 80-4葡萄牙人工智能会议，Proc.ESIA 80-4葡萄牙人用智能会议，第390号人工智能讲稿（1990），Springer:Springer Berlin） [149] Jolley，J.L.，The Holotheme，（Wojciechowski，J.A.，《知识分类的概念基础：渥太华会议的程序》（1971），Verlag Dokumentation:Verlag Domkumentation Box 148，D-8023 Pullach bei München，德国） [150] 私人印刷。在菲利普·米尔斯-阿诺德符号学收藏；私人印刷。在菲利普·米尔斯-阿诺德符号学收藏 [151] P.Doudna，《个人沟通》（1990）。；P.Doudna，《个人沟通》（1990年）。 [152] 里格，C。；Grinberg，M.，《物理系统因果关系的声明性表示和程序模拟》（Proc.IJCAI（1977）） [153] 重印麻省理工学院出版社，剑桥，马萨诸塞州，（1985）。；重印麻省理工学院出版社，剑桥，马萨诸塞州，（1985年）。 [154] （Weld，D.S.；de Kleer，J.，《物理系统定性推理读物》（1989），摩根考夫曼：摩根考夫曼·圣马特奥，加利福尼亚州） [155] Patil，R.S.，《医学诊断推理技术》，（Shrobe，H.E.；AAAI，探索人工智能（1988），Morgan Kaufmann：Morgan Kaufmann San Mateo，加利福尼亚州） [156] Patil，R.S.，《电解质和酸碱诊断患者疾病的随机表现》，（技术报告第267号（1981年），麻省理工学院计算机科学实验室，545技术广场：麻省剑桥大学麻省理工学院计算机科学实验室，545技术广场），02189 [157] Shoham，Y.，《关于变化的推理：从人工智能的角度来看时间和因果关系》（1988年），麻省理工学院出版社：麻省理学学院出版社剑桥，马萨诸塞州 [158] W.Zadrożny，《心灵探矿者的符号网络》（未出版MS）。；W.Zadrożny，面向思想探矿者的符号网络，（未出版MS）。 [159] 冈萨雷斯共和国。；汤姆森，M.G.，《句法模式识别：导论》（1978年），《艾迪生·韦斯利：艾迪生-韦斯利阅读》，马萨诸塞州·Zbl 0383.68065号 [160] 傅康生，《模式识别中的句法方法》（1974），学术出版社：纽约学术出版社·Zbl 0311.68014号 [161] （Kunii，T.L.，《可视化数据库系统》（1989），北荷兰：北荷兰阿姆斯特丹）·兹比尔074568012 [162] （Bolc，L.，《利用图形信息系统进行自然语言交流》（1984），施普林格出版社：柏林施普林格）·Zbl 0547.68088号 [163] Neumann，B.，《时变场景的自然语言描述》（Waltz，D.，《语义结构：自然语言处理进展》（1989），劳伦斯·埃尔鲍姆协会：劳伦斯·埃尔鲍姆协会，新泽西州希尔斯代尔） [164] Bulko，W.C.，《理解物理单词问题解决系统中的共指现象》（1989年，德克萨斯大学：德克萨斯大学奥斯汀分校博士论文），78712 [165] Giunchiglia，F。；Trucco，E.，《通过增量描述的空间约束进行对象配置》（《第400号技术报告》（1988年），爱丁堡大学人工智能系：爱丁堡州立大学人工智能部，80 S.Bridge，Edinburgh EH1 1HN，Scotland） [166] Rao，A.R。；Jain，R.，《计算机视觉系统中的知识表示和控制》，IEEE Expert，64-79（1988），Spring [167] Ballard，D.H.，《知识导向图像分析方法》（Hanson，A.R.；Riseman，E.M.，《计算机视觉系统》（1978），学术出版社：纽约学术出版社）·Zbl 0454.68112号 [168] Guzman，A.，《使用上下文和全局信息分析曲线图》（Meltzer，B.；Michie，D.，《机器智能6》（1971），爱丁堡大学出版社：爱丁堡学院出版社）·Zbl 0259.00015号 [169] Lirov，Y。；Rodin，E.Y。；麦克哈尼，B.G。；Wilbur，L.W.，控制系统的人工智能建模，仿真，50，1，12-24（1988） [170] Rodin，E.Y.，语义控制理论，《应用数学快报》，1，1，73-78（1988）·兹比尔062693007 [171] Sztipanovits，J.，语义控制的计算模型，（《技术报告》，1989年5月89日，范德布利特大学电气工程系：田纳西州纳什维尔范德布利特大学电子工程系，37235）·Zbl 0723.68078号 [172] Mesarović，M.D.，《论自组织系统》（Yovits，M.C.；Jacobi，G.T.；Goldstein，G.P.，《自组织系统1962》（1962），《斯巴达书籍：斯巴达图书华盛顿特区》）·Zbl 0314.93003号 [173] Acar，L。；尤格纳。，大型功能系统的知识丰富的分层控制器设计，IEEE Trans。系统论，人（E）控制论，20,4791-803（1990）·Zbl 0705.93002号 [174] 霍兰，J.S。；Hutchins，E.L。；Weitzman，L.，Steamer:交互式可检查模拟训练系统，AI杂志，5，2，15-27（1984） [175] Beck，H.W。；Fishwick，P.A.，《将自然语言描述纳入建模和仿真》，《仿真》，52，3，95-101（1989） [176] Fishwick，P.A.，《HIRES:层次推理系统1.0版美国用户手册》（1989年技术报告（1985年），美国国务院。宾夕法尼亚大学科学部。宾夕法尼亚大学（宾夕法尼亚州费城） [177] Joskowicz，L.，《重新设计的机制比较和分类》（研究报告编号：RC 14573（#65152）4/19/89（1989），IBM T.J.Watson研究中心：IBM T.J Watson Research Center Yorktown Heights，N.Y.10598） [178] 《基于联想网络的启发式信息检索系统》（Findler，N.V.，associative networks（1979），学术出版社：佛罗里达州奥兰多学术出版社）·Zbl 0163.39901号 [179] N.V.芬德勒，信息和事实检索的人工智能技术——在医学知识处理中的应用；N.V.Findler，信息和事实检索的人工智能技术——在医学知识处理中的应用 [180] J.M.Crawford和B.Kuipers，ALL:形式化访问限制推理，In语义网络原理；J.M.Crawford和B.Kuipers，ALL:形式化访问限制推理，In语义网络原理·Zbl 0711.03007号 [181] 克劳福德，J.M。；Kuipers，B.，《走向访问限制逻辑的形式化》（技术报告AI90-133（1990），德克萨斯大学：德克萨斯大学奥斯汀分校，德克萨斯州78712）·Zbl 0711.03007号 [182] Winston，P.H.，《类比学习与推理》，《ACM通讯》，第23、12页（1980年）·Zbl 0518.68050号 [183] Gentner，D.，《结构映射：类比的理论框架》，《认知科学》，第7155-170页（1983年） [184] Leishman，D.，《类比作为概念图上的约束部分对应》（Proc.KR-89，第一届知识表示和推理原理国际会议（1989），Morgan Kaufmann:Morgan Koufmann San Mateo，California） [185] Way，E.C.，《知识表征与隐喻》（1991年），纽约州立大学：纽约州立大学，荷兰·Zbl 0743.68124号 [186] 博古拉耶夫，B.K。；Briscoe，E.J.，《自然语言处理的计算词典学》（1989），朗曼：朗曼伦敦 [187] （Brachman，R.J.；Levesque，H.J.，《知识表征阅读》（1985），摩根考夫曼：摩根考夫曼·洛斯·阿尔托斯，加利福尼亚），重印于·Zbl 0609.68007号 [188] Quillian，M.R.，《语义记忆》（Minsky，M.，语义信息处理（1968），麻省理工学院出版社：麻省理学院出版社剑桥）·Zbl 0313.68081号 [189] Georgescu，I.，《表示知识的超网方法》（Bibel，W.；Petkoff，B.，《人工智能：方法论、系统、应用》（1985），北荷兰：北荷兰阿姆斯特丹） [190] Wilks，Y.，《关于语义原语、沟通和认知的好与坏的争论》，第10期，第181-221页（1977年） [191] Winograd，T.，《关于原语、原型和其他语义异常》（Waltz，D.L.，Proc.TINLAP-2，第二届自然语言处理理论问题大会（1978年），伊利诺伊大学协调科学实验室） [192] （Bonner，A.，《拉蒙·卢尔作品选集》，第二卷（1985），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿），译于·Zbl 0562.01001号 [193] Gardner，M.，《逻辑机器与图表》（1982），芝加哥大学出版社：芝加哥大学出版社，伊利诺伊州芝加哥·Zbl 0506.0020号 [194] 莱布尼茨，G.W.，《后果演算》，（Ariew，R.；Garber，D.，《哲学论文》（1989），哈科特出版社。公司）·Zbl 0031.14503号 [195] （van Heijenoort，J.，Frege and Gödel:《数学逻辑的两个基本文本》（1970），哈佛大学出版社：哈佛大学出版社，马萨诸塞州剑桥），再版于 [196] 斯科拉出版社重印，英国约克郡门斯顿，1968年。；斯科拉出版社重印，英国约克郡门斯顿，1968年。 [197] 斯劳特，M.M.，《十七世纪的通用语言和分类学》（1982），剑桥大学出版社：剑桥大学出版社 [198] 科尼利厄斯，P.，《十七世纪和十八世纪早期的语言想象之旅》（1965），《德罗兹图书馆：日内瓦德罗兹博物馆》 [199] Cohen，J.，《关于普遍性的项目》，Mind，，63，49，49-63（1954），新系列 [200] Lodwick，F.，《共同写作：两个人虽然不理解其他语言，但在语言的帮助下，可以相互交流思想》，（Salmon，V.，the Works of Francis Lodwick（1972），朗曼：朗曼伦敦），伦敦（1647） [201] AMS出版社/约翰逊再版公司再版，纽约，（1971年）。；AMS Press/Johnson Reprint Corp.重印，纽约（1971）。 [202] 《匿名》，《描述和解释一种“普遍特征”或写作方式》，因为它建立在一种简单易行的模式上，即对我们的思想进行分类，只需要很少的任意符号，因此对居民来说可能是可理解的（1835年），J.Hollway:J.Hollyway Bath，英格兰，大约 [203] 匿名，Die Neue Sinnschrift'Safo'als Einheitszeichenschrift-der Völker（1956），私人版：私人版，德国斯坦伯格 [204] 修订版（1965年）。材料由Blissymbolics Institute（加拿大安大略省多伦多市拉姆齐路350号，M4G 1R8）和EBSCO（阿拉巴马州伯明翰市北一大道1230号，邮编35203）分发。；修订版（1965年）。资料由Blissymbolics Institute（加拿大安大略省多伦多市拉姆齐路350号，M4G 1R8）和EBSCO（阿拉巴马州伯明翰市北一大道1230号，邮编35203）分发。 [205] Helfman，E.，《无言语的极乐符号演讲》（1981），爱思唯尔：爱思唯尔纽约 [206] Whitehead，A.N。；罗素，B.，《数学原理》（1927），剑桥大学出版社：剑桥大学出版社 [207] Patrick J.Hayes（Brachman，R.J.；Levesque，H.J.，《知识表征阅读》（1985），Morgan Kaufmann:Morgan Koufmann Los Altos，California），再版于·Zbl 0609.68007号 [208] 弗洛伊登塔尔，H.A.，《LINCOS：宇宙交往语言的设计》（1960年），荷兰北部：荷兰北部阿姆斯特丹·Zbl 0095.00506号 [209] Wierzbicka，A.，Lingua Mentalis（1980），学术出版社：悉尼/纽约学术出版社 [210] Wierzbicka，A.，《英语言语行为动词：语义词典》（1989），学术出版社：悉尼/纽约学术出版社 [211] Laffal，J.，《英语概念词典》（1973），康涅狄格州埃塞克斯美术馆出版社/约翰·威利父子：康涅狄格州埃塞x美术馆出版社/John Wiley父子纽约 [212] （Evans，M.W.，《词汇关系模型》（1988），剑桥大学出版社：剑桥大学出版社 [213] Litkowski，K.C.，《论语义原语的搜索》，计算语言学，14，1，52（1988） [214] Litkowski，K.C.，词典语义结构模型，美国计算语言学杂志，81，25-74（1978），缩微胶片 [215] 扩展摘要。原始未连接。MS：K.Litkowski，20239 Lea Pond Pl.，Gaithersburg，MD.20879。；扩展摘要。原始未连接。MS：K.Litkowski，马里兰州盖瑟斯堡Lea Pond Pl.20239号，邮编：20879。 [216] Parker-Rowes，A.F.，《干扰语义学》（1978），Harvester出版社/人文出版社：Harvester Press/Humanities Press Hassox，Sussex/Alantic Highlands，N.J [217] Parker-Rowes，A.F.，《句法描述的一种新模式》（1961年语言机器翻译和应用语言分析国际会议——过程），1961年国际语言机器翻译与应用语言分析会议——过程，伦敦（1962年），女王文具局）·Zbl 0492.03001号 [218] P.Doubna，10644 Jesskamp Dr.，St.Louis，MO.63136，（1990）。；P.Doubna，10644 Jesskamp Dr.，St.Louis，MO.63136，（1990）。 [219] Aít-Kaci，H.，基于部分有序型结构微积分的格理论计算方法，（宾夕法尼亚大学博士论文（1984）） [220] Kay，M.，《功能语法》，（伯克利语言学学会第五届年会论文集，伯克利语言学协会第五届年度会议论文集，加州伯克利（1979），伯克利语言学会） [221] Kay，M.，《功能语法中的语法分析》，（Dowty，D.；Karttunen，L.；Zwicky，A.，《自然语言语法分析》（1985），剑桥大学出版社：剑桥大学出版社） [222] K.奈特，《统一：多学科调查》，ACM计算调查，21,193-124（1989）·Zbl 0677.68098号 [223] 艾特·卡奇，H。；Nasr，R.，LOGIN:一种内置继承的逻辑编程语言，《逻辑编程杂志》，3185-215（1986）·Zbl 0599.68013号 [224] 斯莫尔卡，G。；艾特·卡奇，H.，《继承层次：语义和统一》（Kirchner，C.，《统一》（1990），学术出版社：伦敦学术出版社）·Zbl 0678.68009号 [225] （Bläsius，K.H.；Hedtstück，U.；Rollinger，C.-R.，《人工智能的分类和类型》，人工智能讲义，第418期（1990），施普林格：施普林格-柏林）·Zbl 0743.68016号 [226] Smolka，G.，《带子类别的功能逻辑》，LILOG Report 33（1988），IBM Deutschland，Postfach 80 08 80，7000 Stuttgart 80，Germany [227] Nebel，B。；Smolka，G.，《用定语描述进行表示和推理》，（Bläsius，K.H.；Hedtstück，U.；Rollinger，C.-R.，《人工智能中的分类和类型》，人工智能讲义，第418期（1990年），《施普林格：施普林格-柏林》）·Zbl 0747.68075号 [228] Schmidt-Schauβ，M.，《KL-ONE中的吸积是不可判定的》（Proc.KR-89，第一届知识表示和推理原理国际会议（1989），Morgan Kaufmann:Morgan Koufmann San Mateo，California）·兹比尔0709.68096 [229] （Mylopoulos；Brodie，《人工智能和数据库阅读》（1989），Morgan Kaufmann:Morgan Koufmann San Mateo，California），重印于 [230] Searle，J.，《确定性和相似性概念》（《亚里士多德学会学报》，第33卷（1959年）），第141-158页，补充 [231] Johnson，W.E.，《逻辑》（1964），多佛：纽约多佛 [232] Hautäki，A.，《观点及其逻辑分析》（Acta Philosophica Fennica No.41（1986），Societas Philosrophica Fenneica，学术书店：Societa Philosphica Fennica，学术书店Keskuskatu 1，00100赫尔辛基10，芬兰） [233] Torgerson，W.S.，《缩放理论与方法》（1958），John Wiley&Sons:John Willey&Sons New York [234] 甘特尔，B。；Wille，R.，概念标度，（Roberts，F.，组合数学和图论在生物和社会科学中的应用（1989），施普林格：施普林格纽约）·Zbl 0703.06002号 [235] Rubashkin，V.Sh.，《属性和值》（Naucho-Tektechnicheskata Informatsiya，Seriya 2，3（1976），Allerton出版社：Allerton Press New York），3-10，翻译如下自动文档和数学语言学·Zbl 0707.68097号 [236] 莱曼，K.，《调性音乐中的维度抽象与结构》（硕士论文（1989），华盛顿大学：华盛顿大学西雅图分校，华盛顿） [237] （Wojciechowski，J.A.，《知识分类的概念基础：渥太华会议程序》（1971年），Verlag Dokumentation：Verlag Domkumentation Box 148，D-8023 Pullach bei München，德国） [238] Batty，C.D.，《科隆分类导论》（1967），执政官图书：执政官图书，康涅狄格州哈姆登 [239] Ranganathan，S.R.，《Colon分类》（1965），Rudgers州立大学：新不伦瑞克Rudgers国立大学 [240] 巴塔查里亚，G。；Ranganathan，S.R.，《从知识分类到图书馆分类》（Wojciechowski，J.A.，《知识分类的概念基础：渥太华会议的程序》（1971年），Verlag Dokumentation:Verlag Domutation Box 148，D-8023 Pullach bei München，Germany） [241] Ranganathan，S.R.，Prolegomena to Library Classification（1987），马德拉斯：印度马德拉斯 [242] Prieto-Diaz，R.，《为软件感知重用实现分面分类》，ACM通信，34，5，89-97（1991） [243] 玛丽⇔ldno，O。；Rechenmann，F。；Uvietta，P.，《面向对象表示中的多视角和分类机制》（Proc.ECAI-90，第九届欧洲人工智能会议（1990），斯德哥尔摩，皮特曼：斯德哥尔曼，皮特曼伦敦） [244] Bates，M.J.，《在线目录中的主题访问：设计模型》，美国信息科学学会期刊，37，6，357-375（1986） [245] Ellis，G.，《编译概念图》（第六届概念图年度研讨会（1991年），纽约州立大学宾厄姆顿分校：纽约州立大学宾厄姆顿校区）即将出版 [246] （Mylopoulos，J.；Brodie，M.，《人工智能和数据库读物》（1989），Morgan Kaufmann:Morgan Koufmann Palo Alto，California），重印于 [247] Nijssen，G。；van Assche，F。；Snijders，J.，《信息系统需求定义的最终用户工具》（Schneider，H.，《用于信息系统设计的形式化模型和实用工具》（1979），北荷兰：北荷兰阿姆斯特丹） [248] Verheijen，G.等人。；Bekkum，J.V.，《NIAM：信息分析方法》，（Olle，T.；Sol，H.；Verrijn-Stuart，A.，《信息系统设计方法：比较评论》（1982），IFIP，北荷兰：IFIP，北荷兰阿姆斯特丹） [249] Sandewall，E.，《信息管理系统理论》（技术报告编号：LiTH-IDA-R-83-03（1983），林雪平大学计算机和信息科学系，S-581 83：林雪平学院计算机和信息学系，瑞典林雪平S-581 83.）·Zbl 0263.68034号 [250] Rönnquist，R.，《基于网络和格的知识表示方法》（技术论文第113号（1987），林雪平大学计算机与信息科学系：瑞典林雪平S-581 83计算机与信息学系） [251] 齐克里茨特区。；Lochovsky，F.H.，《数据模型》（1982），《普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德悬崖》，新泽西州·Zbl 0327.68050号 [252] （Mylopoulos，J.；Brodie，M.L.，《人工智能和数据库系统阅读》（1989），摩根考夫曼：摩根考夫曼·圣马特奥，加利福尼亚州） [253] （Brodie，M.L.；Mylopoulos，J.；Schmidt，J.W.，《关于概念建模：人工智能、数据库和编程语言的观点》（1984），Springer:Springer New York）·Zbl 0542.68089号 [254] （Brodie，M.L.；Mylopoulos，J.，《基于知识的管理系统》（1986），Springer:Springer New York）·Zbl 0628.68073号 [255] （Zdonik，S.B.；Maier，D.，《面向对象数据库系统中的读取》（1990），Morgan Kaufmann：Morgan Koufmann-San Mateo，加利福尼亚州） [256] （Kim，W.；Lochovsky，F.H.，《面向对象的概念、数据库和应用》（1989），ACM出版社/Addison-Wesley：ACM出版社/Addison-Werley纽约/雷丁，马萨诸塞州） [257] 艾特·卡奇，H。；博伊尔，R。；林肯，P。；Nasr，R.，网格运算的有效实现，ACM Trans。关于编程语言和系统，11，115-146（1989） [258] 辛顿，G。；Anderson，J.A.，《联想记忆的平行模型》（1989），劳伦斯·埃尔鲍姆协会：劳伦斯·埃尔鲍姆协会，新泽西州希尔斯代尔，1981年版更新·Zbl 0685.68013号 [259] （Barnden，J.A.；Pollack，J.B.，《连接主义和神经计算理论的进展》，第1卷：高级连接主义模型（1991），Ablex：Ablex Norwood，N.J） [260] Hinton，G.E.，《在联结主义网络中代表局部整体层次结构》（认知科学学会学报（1988年）） [261] Touretzky，D.S。；Hinton，G.E.，《分布式连接生产系统》，Proc。认知科学学会第九届年度大会。程序。认知科学学会第九届年度大会，认知科学，12，3，423-466（1987） [262] Pinkas，G.，能量最小化和命题演算的可满足性，（Touretzky，D.S.；Elman，J.L.；Sejnowski，T.J.；Hinton，G.E.，1990年连接主义模型暑期学校会议记录（1990年），Morgan Kaufmann：Morgan Kaufmann San Mateo，California） [263] Pinkas，G.，对称神经网络中的命题非动力推理和不一致性（Proc.IJCAI（1991）） [264] van Gelder，T.，《构成：经典主题上的联结主义变体》，《认知科学》，第14、3、355-384页（1990年） [265] Hinton，G.E.，《在并行硬件中实现语义网络》（Hinton、G.E.；Anderson，J.A.，《联想记忆的并行模型》（1989），劳伦斯·埃尔鲍姆协会：劳伦斯·埃尔鲍姆协会-希尔斯代尔，新泽西），1981年更新版。 [266] Conklin，J.，《超文本：介绍和调查》，IEEE Computer，20，9，17（1987） [267] Richards，T.，Clausal Form Logic（1989），Addison-Wesley:Addison-Whesley Sydney出版社·Zbl 0713.68002号 [268] Wegner，P.，《基于对象的语言设计的维度》（面向对象系统、语言和应用（OOPSLA）会议（1987）） [269] McGregor，J.D。；Korson，T.，面向对象设计专刊，ACM通信，33，9（1990） [270] （Shriver，B.；Wegner，P.，《面向对象编程的研究方向》（1987），麻省理工学院出版社：麻省理学院出版社剑桥） [271] （Lenzerini，M.；Nardi，D.；Simi，M.，《知识表示和编程语言中的继承层次》（1991），John Wiley&Sons:John Wiley&Sons纽约）·Zbl 0743.68121号 [272] XLISP可从AI SIG获得，地址：马萨诸塞州波士顿市中心广场1号波士顿计算机学会，邮编：02108。；XLISP可从AI SIG获得，地址：马萨诸塞州波士顿中心广场1号波士顿计算机学会，邮编：02108。 [273] 以色列，D.J。；Brachman，R.J.，《表示语言语义中的一些评论》（Brodie，M.L.；Mylopoulos，J.；Schmidt，J.W.，《关于概念建模》（1984），Springer:Springer New York） [274] Sowa，J.F.，《逻辑结构与语言结构的匹配》，（Houser，N.；Roberts，D.D.；Van Evra，J.，《查尔斯·桑德斯·皮尔斯的逻辑研究》（1991年），印第安纳大学出版社：印第安纳大学布卢明顿出版社）即将出版 [275] L.K.Schubert，《语义网络在旁观者眼中》语义网络原理；L.K.Schubert，《语义网络在旁观者眼中》语义网络原理 [276] Davey，B.A。；Priestley，H.A.，《格与秩序导论》（1990），剑桥大学出版社：剑桥大学出版社·Zbl 0701.06001号 [277] Verbände理论（1963），曼海姆：德国曼海姆，最初出版为·Zbl 0199.04901号 [278] （Rival，I.，有序集。有序集，北约ASI系列第83号（1982），Reidel:Reidel Dordecht，荷兰）·Zbl 0497.06002号 [279] （Rival，I.，Graphs and Order。Graphs and Order，北约ASI系列第147号（1985年），Reidel:Reidel Dordecht，荷兰）·Zbl 0549.0002号 [280] （Rival，I.，《算法与秩序》，《算法和秩序》，北约ASI系列第255号（1989年），莱德尔：荷兰莱德尔·多德克特）·Zbl 0709.68004号 [281] Birkhoff，G.，《格理论》（Coll.Publ.XXV（1967），美国数学。Soc：美国数学。Soc Providence，R.I）·兹伯利0126.03801 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。