哈罗德·博利;菲利普·汉斯克;克努特·辛克尔曼;曼弗雷德·梅耶 CoLab：一个混合知识表示和编译实验室。 （英语） Zbl 0844.68110号 安·Oper。物件。 55, 11-79 (1995). 摘要：机械工程等真实领域的知识库需要有表达能力强、效率高的表示和处理工具。我们追求知识工程的声明编译方法。虽然Horn逻辑（在PROLOG中实现）非常适合表示关系子句，但其他类型的声明性知识需要混合扩展：函数依赖和高阶知识应该直接建模。正向（自下而上）推理应与反向（自上而下）推理相结合。应尽可能使用约束传播，而不是搜索密集型分辨率。分类知识应划分为直观的包含层次。我们基于LISP的工具将这些声明性表示直接转换为抽象机器，例如扩展的Warren抽象机器（WAM）和相互接口的专用推理引擎。更重要的是，为了用户方便和机器效率，我们在各种知识类型之间提供源到源转换器。这些形式及其翻译人员和变形金刚是CoLab的一部分，CoLab是一个编译实验室，用于研究我们分别称之为“垂直”和“水平”的知识编译，以及探索知识表示形式的协同合作。机械工程领域的案例研究是CoLab发展的重要推动力。在讨论增强形式、混合表示体系结构和编译器时，它将作为整个论文的示例来源。 引用于1文件 理学硕士： 68立方英尺 知识表示 关键词：知识库;喇叭逻辑 PDF格式BibTeX公司 XML格式引用 \textit{H.Boley}等人，Ann.Oper。第55号决议、第11-79号决议（1995年；Zbl 0844.68110） 全文： 内政部 参考文献： [1] A.Abecker，《TAXLOG:Taxonomische Wissensrepräsentation und Logische Programmierung》，Projektarbeit（1993），德语版。 [2] J.F.Allen，保持对时间间隔的了解，Commun。ACM 26（1983）832–843·Zbl 0519.68079号 ·数字对象标识代码：10.1145/182.358434 [3] F.Baader，H.-J.Bürckert，B.Hollunder，W.Nutt和J.H.Siekmann，概念逻辑，技术报告RR-90-10，DFKI，德国凯泽斯劳滕（1990）。 [4] F.Baader和P.Hanschke，将具体领域集成到概念语言中的方案，见：Proc。第十二届国际人工智能联合会议（1991年）·Zbl 0742.68063号 [5] F.Baader和P.Hanschke，《机械工程应用的概念语言扩展》，收录于Proc。德国人工智能研讨会。GWAI-92（施普林格，1992年9月）。 [6] J.巴克斯。编程能从冯·诺依曼风格中解放出来吗？函数风格及其程序代数。Commun公司。ACM 21（1978）613–641·Zbl 0383.68013号 ·doi:10.1145/359576.359579 [7] I.Balbin和K.Ramamohanarao，递归查询求值微分方法的推广，J.Logic Progr。4 (1987) 259–262. ·Zbl 0636.68125号 ·doi:10.1016/0743-1066（87）90004-5 [8] F.Bancilhon和R.Ramakrishnan，递归查询处理策略的业余介绍，《Proc》。ACM SIGMOD Conf.（ACM，1986）第16–52页。 [9] F.Bancilhon和R.Ramakrishnan，《数据密集型逻辑程序的性能评估》，载于：演绎数据库和逻辑编程的基础，J.Minker主编（Morgan Kaufmann，Los Altos，CA，1988），第441-517页。 [10] C.Beeri和R.Ramakrishnan，《魔法的力量》，J.Logic Progr。10 (1991) 255–299. ·Zbl 0722.68018号 ·doi:10.1016/0743-1066（91）90038-Q [11] H.Beringer和F.Porcher，Prolog扩展的相关方案：CLP（概念理论），收录于：Proc。ICLP 89（1989）131–148。 [12] H.Boley，一种关系/函数语言及其在WAM中的汇编，SEKI报告SR-90-05，凯泽斯劳滕大学，Fachbereich Informatik（1990年4月）。 [13] H.Boley，扩展逻辑加函数编程，在：逻辑编程扩展研讨会，ELP’91，斯德哥尔摩1991，LNAI（Springer，1992）。 [14] H.Boley，RELFUN的直接语义表征，in：Proc。第三届1992年ELP国际研讨会，编辑E.Lamma和P.Mello，LNAI第660卷（Springer，1993）。 [15] H.Boley、K.Elsbernd、H.-G.Hein和T.Krause，《RFM手册：将RELFUN编译成关系/功能机器》，文件D-91-03，DFKI（1991）。 [16] H.Boley，P.Hanschke，M.Harm，K.Hinkelmann，T.Labisch，M.Meyer，J.Mueller，T.Oltzen，M.Sintek，W.Stein和F.Steinle，{（\mu\）}CAD2NC：一个声明式车床工作计划模型，将类CAD几何体转换为抽象NC程序，技术报告文件D-91-15，凯泽斯劳滕大学，DFKI（1991年11月）。 [17] A.Borgida、R.J.Brachman、D.L.McGuinness和L.A.Resnick，《CLASSIC：对象的结构数据模型》，载于《数据管理国际会议》，ACM SIGMOD（1989）。 [18] R.J.Brachman、V.P.Gilbert和H.J.Levesque，《基本混合推理系统：KRYPTON中的知识和符号级帐户》，摘自：Proc。第九届国际人工智能联合会议（1985年8月），第532-539页。 [19] R.J.Brachman和J.G.Schmolze，KL-ONE知识表示系统概述，认知科学。9（1985）171–216·doi:10.1207/s15516709cog0902_1 [20] W.J.克兰西，《启发式分类》，《国际法》第27条（1985年）第289–350页·doi:10.1016/0004-3702（85）90016-5 [21] D.DeGroot和G.Lindstrom（编辑），《逻辑编程：函数、关系和方程》（Prentice-Hall，1986年）·Zbl 0588.68005号 [22] Y.Descotte和J.-C.Latombe，《在计划者的对抗性约束之间做出妥协》，《国际法》第27条（1985）183-217·doi:10.1016/0004-3702（85）90053-0 [23] F.Donini、B.Hollander、M.Lenzerini、A.M.Spacamela、D.Nardi和W.Nutt，概念语言中存在量词的复杂性，研究报告RR-91-02，DFKI（1991年1月）·Zbl 1193.68241号 [24] C.Falter，《einer hybriden Expertensystem-Shell中的von Vorwärtsregeln汇编》，凯泽斯劳滕大学文凭论文，FB Informatik（1992），德语版。 [25] C.L.Forgy，《OPS5用户手册》，卡内基梅隆大学计算机科学系，宾夕法尼亚州匹兹堡，15213（1981）。 [26] F.Frayman和S.Mittal，《COSSACK：配置任务的基于约束的专家系统》，载于：《工程中基于知识的专家系统：规划和设计》，D.Sriram和R.Adey编辑，《计算力学》（1987）。 [27] E.弗洛伊德，综合约束表达式，Commun。ACM 21（1978）958–966·Zbl 0386.68065号 ·doi:10.1145/359642.359654 [28] L.Fribourg，SLOG:基于子句叠加和重写的逻辑编程语言解释器，载于：1985年逻辑编程研讨会（IEEE计算机社会出版社，1985年），第172-184页。 [29] M.R.Genesereth和R.Fikes，《知识交换格式3.0版参考手册》，Logic-92-1技术报告，斯坦福大学计算机科学系，Logic Group（1992年6月）。 [30] P.Hanschke，《在概念语言中指定角色交互》，载于：第三版Inter。《知识表示和推理原理大会》（KR’92）（1992年10月）。 [31] P.Hanschke和K.Hinkelmann，将术语推理和基于规则的推理结合起来用于抽象过程，见：Proc。德国人工智能研讨会，GWAI-92（Springer，1992年9月）。 [32] H.-G.Hein和M.Meyer，WAM编译方案，收录于：逻辑编程：Proc。第1版和第2版俄罗斯Conf，编辑A.Voronkov，第592卷，LNAI（Springer，1992），第201–214页。 [33] R.Helm和K.Marriott，声明性图形，收录于：第三届逻辑编程国际会议（ICLP），编辑E.Shapiro，LNCS 225（Springer，1986年7月），第513–527页。 [34] K.Hinkelmann，horn子句程序的双向推理：转换和编译，技术备忘录TM-91-02，DFKI（1991年1月）。 [35] K.Hinkelmann，《正向逻辑评估：从部分评估的元解释器开发编译器》，技术备忘录TM-91-13，DFKI（1991年10月）。 [36] K.Hinkelmann，《正向逻辑评估：将部分评估的元解释器编译到WAM中》，in：Proc。德国人工智能研讨会，GWAI-92（施普林格，1992年9月）。 [37] B.Hollander、W.Nutt和M.Schmidt-Schauß，概念描述语言的吸纳算法，收录于：第九届欧洲人工智能大会（ECAI'90）（皮特曼出版社，1990年），第348-353页。 [38] C.Klauck、R.Legleitner和A.Bernardi，《FEAT-REP：在CAD/CAM中表示特征》，载于《第四国际交响曲》。《人工智能：在信息学中的应用》，墨西哥坎昆（1991）。扩展版本也可作为研究报告RR-91-20，DFKI获得。 [39] A.Kobsa，The SB-ONE knowledge representation workbench，收录于：语义网络形式方面研讨会的预印本，加利福尼亚州两港市（1989）。 [40] R.Kowalski，《逻辑作为儿童的计算机语言》，载于《欧洲人工智能会议》（ECAI）（1982年）第2-10页。 [41] A.Mackworth、J.Mulder和W.Havens，《层次一致性：在约束满足问题中利用结构化域》，Comp。国际1（1985）118-126·doi:10.1111/j.1467-8640.1985.tb00064.x [42] A.K.Mackworth和E.C.Freuder，约束满足问题的一些多项式网络一致性算法的复杂性，第25条（1985）65–73·doi:10.1016/0004-3702（85）90041-4 [43] E.Mays、C.Apté、J.Griesmer和J.Kastner，《K-Rep的经验：一种以对象为中心的知识表示语言》，摘自：Proc。IEEE CAIA-88（1988），第62-67页。 [44] P.Meseguer，约束满足问题：概述，AI Commun。2 (1989) 3–17. [45] M.Meyer，逻辑编程框架中的并行约束满足，摘自：Proc。并行计算技术国际会议（PaCT-91）（世界科学，新加坡，1991年），第148-157页。 [46] M.Meyer，《在CIM环境中使用分层约束满足进行车床刀具选择》，载于：第五国际研讨会。人工智能（ISAI'92）（AAAI出版社，1992）第167-177页。 [47] M.Meyer，H.-G.Hein和J.Müller，FIDO:逻辑编程中的有限域一致性技术，in：逻辑编程：程序。第一届和第二届俄罗斯会议，编辑A.Voronkov，第592卷，LNAI（Springer，1992），第294–301页。 [48] M.Meyer和J.Müller，《弱前瞻及其在计算机辅助生产计划中的应用》，载于：第七国际交响乐团。智能系统方法论（ISMIS’93），LNAI（Springer，1993）。 [49] C.Moss，大型Prolog知识库的商业应用，摘自：Proc。《处理声明性知识国际研讨会》（PDK’91），编辑H.Boley和M.M.Richter，第567卷，LNAI（Springer，1991），第32–40页。 [50] B.Nebel，混合表示系统中的推理和修正，博士论文，萨尔布吕肯大学（1989）·兹比尔0702.68095 [51] P.F.Patel-Schneider、B.Owsnicki-Klewe、A.Kobsa、N.Guarino、R.McGregor、W.S.Mark、D.McGuiness、B.Nebel、A.Schmiedel和J.Yen。《人工智能杂志》第11期（1990年）第16-23页，关于知识表示中术语包容语言研讨会的报告。 [52] L.C.Paulson和A.W.Smith，《逻辑编程、函数编程和归纳定义》，载于：ELP’91，P.Schroeder-Heister编，LNCS 475（Springer，柏林/海德堡/纽约，1991）。 [53] F.Pereira，《能否从冯·诺依曼风格中解放绘图》，载于：《逻辑编程及其应用》，M.van Caneghem和H.Warren主编，《人工智能中的Ablex系列》（1986）第2卷。 [54] C.Reade，《函数编程的要素》（Addison-Wesley，1989）·Zbl 0714.68006号 [55] F.Schmalhofer、O.Kuehn和G.Schmidt，从文本、以前解决的案例和专家记忆中获取综合知识，应用。《国际法》第5条（1991年）311–337·doi:10.1080/08839519108927932 [56] M.Schmidt-Schauß和G.Smolka，带补语的定语概念描述，《国际艺术期刊》第47卷（1991年）·Zbl 0712.68095号 [57] A.Schmiedel，《时间术语逻辑》，摘自：Proc。第八届全国人工智能大会，第2卷（AAAI，1990），第640–645页。 [58] W.Stein和M.Sintek，广义智能索引方法，摘自：研讨会“Sprachen für KI-Anwendengen，Konzepte–Methoden–Implementierungen”，Bad Honnef（明斯特大学应用数学与计算机科学研究所，1992年5月）。 [59] F.Steinle，HAMLET：Erweiterung eines Constraint-Systems um Negation und Disjunktion und dessen Anbindung an eine Konzeptbeschreibungssprache，Projektarbeit（1993），德语版。 [60] C.Walther，Schubert蒸汽压路机的机械解决方案，多种分辨率，技术报告A31-84，卡尔斯鲁厄大学，德国卡尔斯鲁埃信息研究所I（1984）·Zbl 0569.68076号 [61] D.E.Waltz，《生成阴影场景的语义描述》，技术报告MAC AI-TR-271，麻省理工学院，马萨诸塞州剑桥市（1972年）。 [62] D.H.D.Warren，抽象Prolog指令集，技术说明309，SRI International，Menlo Park，CA（1983年10月）。 [63] A.Yamamoto和H.Tanaka，将生产规则转换为正向推理Prolog程序。新一代公司。4（1986）97 105·doi:10.1007/BF03037384 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。