弗兰兹·巴德;菲利普·汉斯克 将具体领域集成到概念语言中的方案。 （英语） Zbl 0742.68063号 人工智能，IJCAI-91，Proc。第十二届国际会议，悉尼/澳大利亚，1991，452-457（1991）。 [关于整个系列，请参见Zbl 0741.68016号.]在许多应用程序中，人们希望能够引用具体的域和这些域上的谓词，自然地集成到基于KL-one表示语言的概念语言中。本文提出了一种将这些具体领域集成到基于KL-ONE的知识表示和推理系统中的方案。作者首先正式定义了具体领域的概念，并描述了通过任意具体领域扩展概念语言的方案。将ALC语言作为概念语言[M.Schmidt Schauss先生和G.斯莫尔卡，艺术。智力。48(1), 1-26 (1991;Zbl 0712.68095号)]术语和断言部分通过具体领域进行扩展，并借助统一的模型理论语义进行集成。分析了包含、实例化和一致性等重要推理问题，以及创建子任务的基本推理算法，这些子任务必须由具体领域的专用推理机解决。尽管PSPACE在最坏的情况下计算复杂（但对于典型的知识库来说，它的行为要好得多），但基本的推理算法是健全和完整的。该方法的动机是将机械工程概念语言扩展到实数运算作为其具体领域。审核人：N.Curteanu（伊阿什） 引用于1审查引用于18文件 MSC公司： 68立方英尺 知识表示 68T27型 人工智能中的逻辑 03B65号 自然语言逻辑 68T50型 自然语言处理 关键词：概念语言的具体领域扩展;术语逻辑;特征结构逻辑 引文：Zbl 0741.68016号;Zbl 0712.68095号 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{P.Hanschke}，in：IJCAI 91，《第十二届国际人工智能会议论文集》。1991年8月24日至30日，澳大利亚悉尼。第1-2卷。加利福尼亚州圣马特奥：Morgan Kaufmann Publ。。452--457（1991年；Zbl 0742.68063）