奥利弗·库茨；卡斯滕·卢茨；弗兰克·沃尔特；扎卡里亚舍夫，迈克尔 \（{mathcal E}）-抽象描述系统的连接。 （英语） Zbl 1085.68162号 Artif公司。智力。 156，第1期，1-73页（2004年）. 摘要：将知识表示与推理形式相结合是一项重要且具有挑战性的任务。这一点很重要，因为非平凡的人工智能应用程序通常包含世界的不同方面，因此需要对这些方面进行建模的可用形式的适当组合。这是一个挑战，因为结果混合的计算行为通常比其组件的行为差得多。我们提出了一种新的组合方法，该方法在计算上是鲁棒的，因为可判定形式的组合再次是可判定的，并且尽管如此，它允许组合组件之间的非平凡的交互。这种新方法称为（{mathcal E}）-连接，它是根据抽象描述系统（ADS）、描述逻辑的一种常见推广、许多时间和空间逻辑以及模态和认知逻辑定义的。连接的基本思想是，组合系统的解释域是不相交的，这些域是通过元“连接关系”连接的。我们定义了（{mathcal E}）-连接的几个自然变体，并深入研究了可判定性从组件系统到它们的（{mathcal E}-连接的转移。 引用于12文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 03B44号 时间逻辑 关键词：描述逻辑；时间逻辑；空间逻辑；组合逻辑；可决定性 软件：TRP公司++ PDF格式BibTeX公司 XML格式引用 \textit{O.Kutz}等人，Artif。智力。156，编号1，1-73（2004年；兹bl 1085.68162） 全文： 内政部 参考文献： [1] Allen，J.F.，《保持对时间间隔的了解》，美国医学委员会，26，11，832-843（1983）·Zbl 0519.68079号 [2] 安德雷卡，H。；内梅蒂，I。；van Benthem，J.，《模态语言和谓词逻辑的有界片段》，J.Philos。逻辑，27217-274（1998）·Zbl 0919.03013号 [3] 阿瑞斯，C。；布莱克本，P。；Marx，M.，《混合逻辑复杂性的路标》（Flum，J.；Rodríguez-Artalejo，M.），《计算机科学逻辑》，计算机科学讲义，第1683卷（1999年），施普林格：施普林格-柏林），307-321·Zbl 0942.03048号 [4] Areces，C。；布莱克本，P。；Marx，M.，《混合时序逻辑的计算复杂性》，J.IGPL，8653-679（2000）·Zbl 0959.03011号 [5] （Armando，A.，《组合系统的前沿IV.组合系统的边境IV》，《人工智能讲义》，第2309卷（2002年），《施普林格：施普林格-柏林》）·Zbl 0990.00065号 [6] Artale，A。；Franconi，E.，《行动和计划推理的时间描述逻辑》，《人工智能研究杂志》，第9期，第463-506页（1998年）·Zbl 0911.68190号 [7] Baader，F.，《通过角色的传递闭包增强概念语言：术语循环的替代方法》（Proc.IJCAI-91，Sydney，Australia（1991）），446-451·Zbl 0742.68064号 [8] 巴德，F。；Bürckert，H.-J。；Nebel，B。；纳特·W。；Smolka，G.，《关于带否定、函数不确定性和排序方程的特征逻辑的表达性》，《逻辑计算》。，2，1-18（1993年）·Zbl 0788.68131号 [9] （Baader，F.；Calvanee，D.；McGuinness，D.；Nardi，D.；Schneider，P.，《描述逻辑手册：理论、实现和应用》（2003），剑桥大学出版社：剑桥大学出版社）·Zbl 1058.68107号 [10] 巴德，F。；Hanschke，P.，《将具体领域集成到概念语言中的方案》（Proc.IJCAI-91，Sydney，Australia（1991）），452-457·Zbl 0742.68063号 [11] 巴德，F。；Hanschke，P.，《机械工程应用概念语言的扩展》，（第16届德国AI-Conference（GWAI-92）。程序。第16届德国人工智能会议（GWAI-92），计算机科学讲义，第671卷（1992），施普林格：施普林格柏林），132-143 [12] 巴德，F。；Laux，A.，《带模态算子的术语逻辑》（Proc.IJCAI-95，蒙特利尔，魁北克（1995），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），808-814 [13] 巴德，F。；卢茨，C。；斯特姆，H。；Wolter，F.，描述逻辑与抽象描述系统的融合，《人工智能研究杂志》，16，1-58（2002）·Zbl 0995.03025号 [14] 巴德，F。；Ohlbach，H.-J.，《多维术语知识表示语言》，J.Appl。非经典逻辑，5153-197（1995）·Zbl 0845.68098号 [15] （Baader，F.；Schulz，K.，《组合系统的前沿》（1996），Kluwer Academic:Kluwer-Academic Dordrecht）·Zbl 0885.00046号 [16] Bennett，B.，《定性空间推理的模态逻辑》，B.兴趣组纯粹应用。逻辑（IGPL），4，1，23-45（1996）·Zbl 0843.03010号 [17] Bettini，C.，《时间相关概念：使用时间描述逻辑的表示和推理》，《数据和知识工程》，22，1-38（1997）·Zbl 0907.68183号 [18] Borgida，A。；Serafini，L.，《分布式描述逻辑：联邦信息源中的定向域通信》（Distributed description logics:Directed domain corresponses in federated information sources），（Meersman，R.；Tari，Z.，《On The Move to Meaningful Internet Systems 2002:CoopIS，Doa，and ODBase.On The Move to Meansingful InternetSystems 2002:CoopIS、Doa，andODBase，《计算机科学中的课堂笔记》，第2519卷（2002），施普林格：柏林施普林格），36-53·兹比尔1018.68562 [19] 查格罗夫，A。；Zakharyaschev，M.，《模态逻辑》，《牛津逻辑指南》，第35卷（1997年），克拉伦登出版社：克拉伦登牛津出版社·Zbl 0871.03007号 [20] 德贾科莫，G。；Lenzerini，M.，表达描述逻辑中的TBox和ABox推理，（第五届知识表示和推理原则国际会议论文集（KR-96），马萨诸塞州剑桥市（1996），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），316-327 [21] de Rijke，M.，关于分级模态逻辑的注释，Studia Logica，64，2，271-283（2000）·Zbl 0951.03018号 [22] （de Rijke，M.；Gabbay，D.，《组合系统的前沿II》（2000），研究出版社：英国研究出版社）·Zbl 0978.00029号 [23] 费金，R。；Halpern，J。；摩西，Y。；Vardi，M.，《关于知识的推理》（1995年），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0839.68095号 [24] Fine，K.，《在如此多的可能世界中》，《圣母院J.形式逻辑》，第13516-520页（1972）·Zbl 0205.30306号 [25] 罚款，K。；Schurz，G.，分层模态逻辑的转移定理，（Copeland，J.，逻辑与现实，纯逻辑与应用逻辑论文。纪念亚瑟·普赖尔（1996），牛津大学出版社：牛津大学出版社），169-213·Zbl 0919.03015号 [26] 手指，M。；Gabbay，D.，《为逻辑系统添加时间维度》，《逻辑语言通知》。，2, 203-233 (1992) ·Zbl 0798.03031号 [27] 配件，M。；Mendelsohn，R.，一阶模态逻辑（1998），Kluwer Academic:Kluwer-Academic Dordrecht·Zbl 1025.03001号 [28] Gabbay，D.，Fibring Logics，《牛津逻辑指南》，第38卷（1999），克拉伦登出版社：克拉伦登牛津出版社·Zbl 0909.03001号 [29] 加巴伊，D。；霍德金森，I。；Reynolds，M.，《时间逻辑：数学基础和计算方面》，第1卷（1994年），牛津大学出版社：牛津大学出版社·Zbl 0921.03023号 [30] 加巴伊，D。；A.库鲁茨。；Wolter，F。；Zakharyaschev，M.，《多维模态逻辑：理论与应用》，《逻辑研究》（2003），爱思唯尔：爱思唯尔阿姆斯特丹·Zbl 1051.03001号 [31] Goldblatt，R.，《时间与计算的逻辑》，CSLI课堂讲稿，第7卷（1987），CSLI:CSLI斯坦福·Zbl 0635.03024号 [32] 哈尔斯列夫，V。；卢茨，C。；Möller，R.，《描述逻辑中的定义拓扑关系》，（第六届知识表示和推理原则国际会议（KR-98），意大利特伦托（1998）），112-124 [33] Halpern，J。；Moses，Y.，《知识和信念模态逻辑的完整性和复杂性指南》，《人工智能》，54，319-379（1992）·Zbl 0762.68029号 [34] Halpern，J。；《时间间隔的命题模态逻辑》，J.ACM，38，935-962（1991）·Zbl 0799.68175号 [35] Halpern，J。；Vardi，M.，《知识与时间推理的复杂性I：下限》，《计算机系统科学杂志》。，38, 195-237 (1989) ·Zbl 0672.03015号 [36] 赫希，R。；霍德金森，I。；Kurucz，A.，《关于（K×K×K）和（S5×S5×S 5）之间的模态逻辑》，J.符号逻辑，67，221-234（2002）·Zbl 1002.03019号 [37] 霍德金森，I。；Wolter，F。；Zakharyaschev，M.，一阶分支时序逻辑的可判定和不可判定片段，（第17届IEEE计算机科学逻辑年会（LICS-02），丹麦哥本哈根（2002），IEEE），393-402 [38] 霍兰德，B。；Baader，F.，《概念语言中的限定数字限制》（第二届知识表示和推理原则国际会议论文集（KR-91），马萨诸塞州剑桥（1991）），335-346·兹比尔0765.68190 [39] B.Hollander，W.Nutt，《概念语言的吸纳算法》，《技术报告RR-90-04》，德国人工智能研究中心（DFKI），凯泽斯劳滕，1990年；B.Hollower，W.Nutt，概念语言的吸收算法，技术报告RR-90-04，德国人工智能研究中心（DFKI），凯泽斯劳滕，1990年 [40] Horrocks，I.，《实现和优化技术》（Baader，F.；Calvanee，D.；McGuinness，D.；Nardi，D.；Patel-Schneider，P.，《描述逻辑手册：理论、实现和应用》（2003），剑桥大学出版社：剑桥大学出版社·Zbl 1058.68107号 [41] 霍洛克斯，I。；Sattler，U.，shiq（d）描述逻辑中的本体推理，（Proc.IJCAI-01，西雅图，WA（2001），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），199-204·Zbl 1183.68244号 [42] 霍洛克斯，I。；美国萨特勒。；Tobies，S.，表达描述逻辑的实用推理，（第六届国际编程逻辑和自动推理会议（LPAR-99），格鲁吉亚第比利斯（1999）），161-180·Zbl 0947.68134号 [43] 霍洛克斯，I。；美国萨特勒。；Tobies，S.，《非常富有表现力的描述逻辑的实用推理》，《逻辑J.IGPL》，8，3，239-264（2000）·Zbl 0967.03026号 [44] Hustadt，U。；Konev，B.，（TRP^{+}）：时间分辨率证明，（Nieuwenhuis，R.，Proc.第三届逻辑实现国际研讨会（2002）） [45] （Kirchner，H.；Ringeissen，C.，《组合系统的前沿III.组合系统的边境III》，《人工智能讲义》，第1794卷（2000），《Springer:Springer-Berlin》）·Zbl 0935.00044号 [46] Kracht，M。；Wolter，F.，可独立公理化双峰逻辑的性质，符号逻辑，561469-1485（1991）·Zbl 0743.03013号 [47] 库茨，O。；Sturm，H。；纽约铃木。；Wolter，F。；Zakharyaschev，M.，公理化距离逻辑，J.Appl。非经典逻辑，12，425-440（2002）·Zbl 1185.03034号 [48] 库茨，O。；Sturm，H。；纽约铃木。；Wolter，F。；Zakharyaschev，M.，度量空间的逻辑，ACM Trans。计算。逻辑，4，2，260-294（2003）·Zbl 1365.68407号 [49] 库茨，O。；Wolter，F。；Zakharyaschev，M.，《连接抽象描述系统》（Fensel，D.；Giunchiglia，F.；McGuinness，D.；Williams，A.，《第八届知识表示和推理原则国际会议（KR-02），法国图卢兹（2002），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），215-226 [50] Ladner，R.，《模态逻辑系统可证明性的计算复杂性》，SIAM J.Compute。，6, 467-480 (1977) ·Zbl 0373.02025号 [51] Laux，A.，《多智能体世界的信念：术语方法》（第11届欧洲人工智能会议（ECAI-94），阿姆斯特丹（1994）），299-303 [52] Lutz，C.，《重新审视术语推理的复杂性》，（第六届编程和自动推理逻辑国际会议（LPAR-99），格鲁吉亚第比利斯。程序。第六届程序设计和自动推理逻辑国际会议（LPAR-99），格鲁吉亚第比利斯，人工智能讲义，第1705卷（1999），施普林格：施普林格柏林），181-200年·Zbl 0949.03030号 [53] Lutz，C.，基于区间的一般TBoxes时间推理，（Nebel，B.，Proc.IJCAI-01，西雅图，华盛顿州（2001），Morgan Kaufmann：Morgan Kaufmann Los Altos，CA），89-94 [54] Lutz，C.，NExpTime-具有具体领域的完整描述逻辑，（Goré，R.；Leitsch，A.；Nipkow，T.，Proc.国际自动推理联合会议（IJCAR-2001）。程序。国际自动推理联合会议（IJCAR-2001），计算机科学讲稿，第2083卷（2001），施普林格：施普林格柏林），45-60·Zbl 0988.68175号 [55] Lutz，C.，《将数字加到（SHIQ）描述逻辑第一结果中》，（第八届知识表示和推理原则国际会议（KR-2002），法国图卢兹（2002），Morgan Kaufman：Morgan Koufman Los Altos，CA），191-202 [56] 卢茨，C。；巴尔比亚尼，P。；纽约铃木。；Wolter，F。；Zakharyaschev，M.，《具有具体领域的描述逻辑——一项调查》。具有具体域的描述逻辑——综述，模态逻辑进展，第4卷（2003），国王学院出版社：伦敦国王学院出版社·Zbl 1082.03032号 [57] 马克思，M.，模态逻辑产品的复杂性，J.逻辑计算。，9, 197-214 (1999) ·Zbl 0945.03025号 [58] Möller，R。；Haarslev，V.，描述逻辑系统，（Baader，F.；Calvanee，D.；McGuinness，D.；Nardi，D.；Patel-Schneider，P.，《描述逻辑手册：理论、实现和应用》（2003），剑桥大学出版社：剑桥大学出版社·Zbl 1058.68107号 [59] Randell，D.A。；崔，Z。；Cohn，A.G.，《基于区域和联系的空间逻辑》，（第三届知识表示与推理原则国际会议论文集（KR-92），马萨诸塞州剑桥（1992），Morgan Kaufmann：Morgan Kaufmann Los Altos，CA），165-176 [60] Rao，A.S。；Georgeff，M.，BDI逻辑的决策程序，J.逻辑计算。，8, 3, 293-344 (1998) ·Zbl 0904.68158号 [61] Renz，J.，《区域联系演算的典型模型》（Cohn，A.G.；Schubert，L.；Shapiro，S.，《知识表示和推理原则：第六届国际会议论文集》（KR-98），意大利特伦托（1998），Morgan Kaufman:Morgan Koufman-Los Altos，CA），330-341 [62] 伦茨，J。；Nebel，B.，《带拓扑信息的空间推理》（Freksa，C.；Habel，C.；Wender，K.，《空间认知——空间知识表示和处理的跨学科方法》，空间认知——跨学科方法，计算机科学讲义（1998），施普林格：施普林格柏林），351-372 [63] Schaerf，A.，《概念语言中的个体推理》，《数据与知识工程》，第13、2、141-176页（1994年） [64] Schild，K.，术语逻辑的对应理论：初步报告，（Mylopoulos，J.；Reiter，R.，Proc.IJCAI-91，Sydney，Australia（1991），Morgan Kaufmann：Morgan Kaufmann Los Altos，CA），466-471·Zbl 0742.68059号 [65] S.Schwendimann，《计算逻辑方面》，博士论文，瑞士伯尔尼大学，1998年；S.Schwendimann，《计算逻辑方面》，博士论文，瑞士伯尔尼大学，1998年 [66] Shehtman，V.，《无处不在》和《这里》，J.Appl。非经典逻辑，9（1999）·Zbl 0993.03020号 [67] Sistla，A。；Clarke，E.，命题线性时序逻辑的复杂性，J.ACM，32，733-749（1985）·Zbl 0632.68034号 [68] E.Spaan，模态逻辑的复杂性，阿姆斯特丹大学数学与计算机科学系博士论文，1993年；E.Spaan，模态逻辑的复杂性，阿姆斯特丹大学数学与计算机科学系博士论文，1993年·Zbl 0831.03005号 [69] Sturm，H。；纽约铃木。；Wolter，F。；Zakharyaschev，M.，《关于距离的半定性推理：初步报告》，（人工智能中的逻辑，JELIA 2000年会议记录，西班牙马拉加（2000），施普林格：施普林格柏林），37-56·兹比尔0998.68157 [70] Tarski，A.，Der Aussagenkalkül und die Topologie，基础数学。，31, 103-134 (1938) ·联合表格64.0928.04 [71] S.Tobies，《知识表示中逻辑的复杂性结果和实用算法》，博士论文，亚琛RWTH，2001年；S.Tobies，《知识表示中逻辑的复杂性结果和实用算法》，博士论文，亚琛RWTH，2001 [72] Tobies，S.，分级模态逻辑的PSpace推理，J.逻辑计算。，11, 1, 85-106 (2001) ·Zbl 0992.03028号 [73] 范德霍克，W。；Wooldridge，M.，走向理性代理的逻辑，logic J.IGPL，11，2，133-157（2003）·Zbl 1029.03014号 [74] Wolter，F.，《重温模态逻辑的融合》（Kracht，M.；Rijke，M.D.；Wansing，H.；Zakharyaschev，M.，《模态逻辑的进展》，第1卷（1997），CSLI:CSLI Stanford），361-379·Zbl 0956.03512号 [75] Wolter，F。；Zakharyaschev，M.，《带模态算子的描述逻辑中的可满足性问题》，（第六届知识表示和推理原则国际会议（KR-98），意大利特伦托（1998），摩根·考夫曼：摩根·考夫曼-洛斯阿尔托斯，CA），512-523 [76] Wolter，F。；Zakharyaschev，M.，多维描述逻辑（Proc.IJCAI-99，斯德哥尔摩，瑞典（1999），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），104-109 [77] Wolter，F。；Zakharyaschev，M.，基于RCC-8的时空表示与推理，（第七届知识表示与推理原理会议，KR-2000，Breckenridge，CO（2000），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），3-14 [78] Wolter，F。；Zakharyaschev，M.，《定性时空表示和推理：计算视角》（Lakemeyer，G.；Nebel，B.，《探索新千年的人工智能》（2002），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），175-216 [79] Wolter，F。；Zakharyaschev，M.，关于距离的推理，（Proc.IJCAI-2003，墨西哥阿卡普尔科（2003）），1275-1280 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。