×
弗朗西斯科·多尼尼。;莫里齐奥·伦泽里尼;丹尼尔·纳尔迪;伯恩哈德·霍兰德;沃纳·纳特;阿尔贝托省马切蒂·斯帕卡米拉

概念语言中存在量化的复杂性。 （英语） Zbl 1193.68241号

Artif公司。智力。 53，第2-3号，309-327（1992）.
概要：关于概念语言（也称为术语语言）的许多研究都集中于包含的计算复杂性。棘手的结果可分为两组。首先，已有研究表明，用包含某种形式逻辑析取的结构扩展基本语言（mathcal Fmathcal L^-）会导致共NP-hard包含问题。其次，将否定加到\（\mathcal F\mathcall L^-\）使包含PSPACE-完成。
本文的主要结果是，用不受限制的存在量化扩展（mathcal Fmathcal L^-）使包含NP完全。这证明了一种概念语言无论是显式还是隐式都不包含表示析取的构造，这是很难处理的。因此，在概念语言中，无限制存在量化和析取是计算复杂性的一个来源。

引用于18文件

MSC公司：

68立方英尺 知识表示
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
65年第68季度 算法和问题复杂性分析
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Donini}等人，Artif。智力。53，编号2--3，309--327（1992；Zbl 1193.68241）
全文： 内政部

参考文献：

[1] Brachman，R.J。；Levsque，H.J.，《基于框架的描述语言中包容的可处理性》，（Proceedings AAAI-84。德克萨斯州奥斯汀AAAI-84会议记录（1984）
[2] Brachman，R.J。；Schmolze，J.，《KL-ONE知识表示系统概述》，Cogn。科学。，9, 2, 171-216 (1985)
[3] 多尼尼，F.M。；Lenzerini，M。；丹尼尔·纳尔迪（Daniele Nardi）；Nutt，W.，《概念语言的复杂性》（Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning）·Zbl 0765.68187号
[4] Garey，M.R。；Johnson，D.S.，《计算机与难处理性——NP-完备性理论指南》（1979），弗里曼：弗里曼旧金山，加利福尼亚州·Zbl 0411.68039号
[5] 霍兰德，B。；纳特·W。；Schmidt-Schauß，M.，《概念描述语言的包容算法》（Proceedings ECAI-90）。ECAI-90会议记录，瑞典斯德哥尔摩（1990年）
[6] 莱维斯克，H.J。；Brachman，R.J.，《知识表示和推理中的表达性和可驾驭性》，计算。智力。，3, 78-93 (1987)
[7] Nebel，B.，《BACK中术语推理的计算复杂性》，Artif。智力。，34, 3, 371-383 (1988) ·Zbl 0646.68110号
[8] Nebel，B.，术语推理天生就很难处理，Artif。智力。，43, 2, 235-249 (1990) ·Zbl 0717.68089号
[9] Nebel，B.，《混合表示系统中的推理与修正》，（《人工智能讲义》（1990），施普林格出版社：施普林格-柏林），422·Zbl 0702.68095号
[10] Nebel，B。；Smolka，G.，《用定语描述进行表示和推理》，（Bläsius，K.H.；Hedtstück，U.；Rollinger，C.-R.，《人工智能中的分类和类型》，人工智能讲义（1990），施普林格：施普林格柏林），418·Zbl 0747.68075号
[11] Patel-Schneider，P.F.，《小可以在知识表示中变得漂亮》（《基于知识的系统原理IEEE研讨会论文集》，《基于知识系统的原理IEEE会议论文集》（1984年），科罗拉多州丹佛市）
[12] Schmidt Schauß，医学博士。；Smolka，G.，《带有并集和补集的归因概念描述》，（SEKI报告SR-88-21（1988），FB Informatik，德国凯泽斯劳滕大学：FB Information，德国凯泽斯劳顿大学）·兹比尔0712.68095
[13] Schmidt Schauß，医学博士。；Smolka，G.，《带有补语的归因概念描述》，人工制品。智力。，48, 1, 1-26 (1991) ·兹比尔0712.68095
[14] Smullyan，R.M.，一阶逻辑（1968），《施普林格：柏林施普林格》·Zbl 0172.28901号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。