×
曼弗雷德·施密特·沙乌；格特·斯莫尔卡

带有补语的定语概念描述。 （英语） Zbl 0712.68095号

Artif公司。智力。 48，第1期，1-26页（1991年）.
摘要：我们研究了在术语知识表示语言中使用的属性概念描述中添加并集和补集的后果。结果表明，确定这种描述的相干性和包含性是可以用线性空间确定的PSPACE完备问题。

引用于4评论
引用于91文件

MSC公司：

68立方英尺 知识表示
65年第68季度 算法和问题复杂性分析
68T99型 人工智能

关键词：

知识表示；概念描述；术语知识表示语言
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}和\textit{G.Smolka}，Artif。智力。48，第1号，1-26（1991；Zbl 0712.68095）
全文： 内政部

参考文献：

[1] Aït-Kaci，H.，类型方程有效求解的代数语义方法，Theor。计算。科学。，45, 293-351 (1986) ·Zbl 0628.68010号
[2] Aít-Kaci，H.，基于部分有序型结构微积分的格理论计算方法（博士论文（1984），宾夕法尼亚大学：宾夕法尼亚大学费城分校，PA）
[3] 艾特·卡奇，H。；Nasr，R.，LOGIN:一种内置继承的逻辑编程语言，J.logic Program。，3, 185-215 (1986) ·兹伯利0599.68013
[4] Borgida，A。；Brachman，R.J。；McGuiness，D.L。；Resnick，L.A.，CLASSIC:对象的结构数据模型，（Proceedings ACM SIGMOD International Conference on Management of data。Proceeding ACM SIGMOD Internation Conferences on Management of Datas，Portland，OR（1989）），59-67
[5] Brachman，R.J。；Levesque，H.J.，《基于框架的描述语言中包含的可处理性》（Proceedings AAAI-84）。AAAI-84会议记录，德克萨斯州奥斯汀（1984），34-37
[6] Brachman，R.J。；Gilbert，V.Pigman；Levesque，H.J.，《一个基本的混合推理系统：KRYPTON中的知识和符号级帐户》（Proceedings IJCAI-85）。IJCAI-85会议记录，加利福尼亚州洛杉矶（1985），532-539
[7] Brachman，R.J。；Schmolze，J.G.，《KL-ONE知识表示系统概述》，Cogn。科学。，9, 2, 171-216 (1985)
[8] F.Donini、B.Hollander、M.Lenzerini、A.M.Spacamela、D.Nardi和W.Nutt，术语推理中存在量化的复杂性，DFKI-Rept。，DFKI、Kaiserslautern、FRG（待发布）。；F.Donini、B.Hollander、M.Lenzerini、A.M.Spacamela、D.Nardi和W.Nutt，术语推理中存在量化的复杂性，DFKI-Rept。，DFKI、Kaiserslautern、FRG（待发布）·Zbl 1193.68241号
[9] Dörre，J。；Eisele，A.，《用分布式析取确定特征项的一致性》，（Metzing，D.，GWAI-89，第13届德国人工智能研讨会，GWAI-99，第十三届德国人工智慧研讨会，Informatik Fachberichte，216（1989），Springer:Springer Berlin），270-279
[10] Artif公司。智力。(1991)
[11] 艾赛尔，A。；Dörre，J.，分离特征描述的统一，（ACL第26届年会论文集。ACL第二十六届年会文献集，纽约州布法罗（1988）），286-294
[12] Garey，M.R。；Johnson，D.S.，（计算机与不可恢复性——NP-完全性理论指南（1979），弗里曼：弗里曼旧金山，加利福尼亚州）·Zbl 0411.68039号
[13] 霍兰德，B。；Nutt，W.，概念描述语言的包容算法，（DFKI-Res.报告RR-90-04（1990），DFKI:DFKI Kaiserslautern，FRG）
[14] Kaczmarek，T.S。；贝茨，R。；Robins，G.，《NIKL的最新发展》（论文集AAAI-86）。美国宾夕法尼亚州费城AAAI-86会议记录（1986），978-987
[15] 卡普兰，R.M。；Bresnan，J.，《词汇功能语法：语法表征的形式系统》（Lexical-functional grammar:a formal system for grammal representation），（Bresnan-J.，The Mental representation of Grammatic Relations（1982），麻省理工学院出版社：麻省剑桥麻省理学院出版社），173-381
[16] Kasper，R.T.，《特征结构：逻辑理论在语言分析中的应用》（1987年密歇根大学：密歇根州安阿伯大学博士论文）
[17] Kasper，R.T.，一种用于析取特征描述的统一方法，（ACL第25届年会论文集。ACL第25届年会论文集，斯坦福，CA（1987）），235-242
[18] Kasper，R.T。；Rounds，W.C.，《特征结构的逻辑语义》（ACL第24届年会论文集。ACL第二十四届年会文献集，纽约（1986）），257-265
[19] Kay，M.，功能语法，（伯克利语言学学会第五届年会论文集。伯克利语言学学会第五届年会论文集，加利福尼亚州伯克利（1979））
[20] Levesque，H.J。；Brachman，R.J.，《知识表示和推理中的表达性和可驾驭性》，计算。智力。，3, 78-93 (1987)
[21] Levesque，H.J。；Brachman，R.J.，知识表示和推理的基本权衡（修订版），（Brachman，R.J.；Levsque，H.J.，《知识表示阅读》（1985），Morgan Kaufmann：Morgan Kaufmann Los Altos，CA），41-70·Zbl 0609.68007号
[22] 麦克格雷戈，R。；Bates，R.，织机知识表示语言，（《技术报告》ISI/RS-87-188（1987），南加州大学信息科学研究所：南加州大学，信息科学研究院玛丽娜·德尔·雷，加利福尼亚州）
[23] Nebel，B.，《BACK中术语推理的计算复杂性》，Artif。智力。，34, 371-383 (1988) ·Zbl 0646.68110号
[24] Nebel，B.，《混合表示系统中的推理与修正》，（博士论文（1989），萨尔兰大学：萨尔兰大学萨尔布吕肯分校，FRG），另见：《人工智能讲义》（柏林斯普林格出版社出版）·Zbl 0702.68095号
[25] 奈贝尔，B.，人工制品。智力。，43, 235-249 (1990) ·Zbl 0717.68089号
[26] （Bläsius，K.H.；Hedtstück，U.；Rollinger，C.-R.，《人工智能的分类和类型》，人工智能讲义，418（1990），施普林格：施普林格柏林），112-139·Zbl 0747.68075号
[27] Nebel，B。；von Luck，K.，《BACK中的混合推理》（Ras，Z.W.；Saitta，L.，《智能系统方法论》（1988），北荷兰：北荷兰阿姆斯特丹），260-269
[28] Patel-Schneider，P.F.，《小可以在知识表示中变得漂亮》（《基于知识的系统原理IEEE研讨会论文集》，IEEE知识系统原理研讨会论文集，科罗拉多州丹佛（1984）），11-16
[29] 波拉德，C。；Sag，I.A.，《基于信息的句法和语义》，（CSLI课堂讲稿，13（1987），语言和信息研究中心：语言与信息研究中心，加利福尼亚州斯坦福市）
[30] 圆形，W.C。；Kasper，R.T.，《记录结构表示语言信息的完整逻辑演算》，（第1届IEEE计算机科学逻辑研讨会论文集。第1届计算机科学逻辑IEEE研讨会论文集，马萨诸塞州波士顿（1986）），38-43
[31] Schmidt-Schauß，M.，《KL-ONE中的沉没是不可判定的》，（Brachman，R.J.；Levesque，H.J.；Reiter，R.，《第一届知识表示和推理原则国际会议论文集》，安大略省多伦多市，第421-431页·Zbl 0709.68096号
[32] Shieber，S.M.，《基于统一的语法方法导论》，（CSLI课堂讲稿，4（1986），语言与信息研究中心：加利福尼亚州斯坦福大学语言与信息中心）·Zbl 0770.68008号
[33] Smolka，G.，《统一文法的特征约束逻辑》（IWBS Rept.93（1989），IWBS，IBM Deutschland:IWBS、IBM Deutscheland Stuttgart，FRG），以及J.逻辑程序.（出现）·Zbl 0754.68108号
[34] Smolka，G.，《带子段的特征逻辑》（LILOG Rept.33（1988），IWBS，IBM Deutschland:IWBS、IBM Deutscheland Stuttgart，FRG）
[35] Vilain，M.B.，《混合表示系统的受限语言架构》（Proceedings IJCAI-85）。IJCAI-85会议记录，加利福尼亚州洛杉矶（1985年），547-551
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。