×
扬切夫，M。

\（\mathcal{ALCQPI}_{R^+}：表达性描述逻辑中的合理分级，具有逆向和传递角色和计数。 （英文） Zbl 1492.68125号

Lobachevskii J.数学。 41，第9期，1726-1746（2020）.
摘要：在本文中，我们考虑表达描述逻辑（DL）{ALCQPI}_{R^+}\）具有概念构造器，称为实现合理分级的部分限制。部件限制能够传达关于一组后继件的理性部分的语句，并且它们本质上丰富了DL的表达能力。这就是为什么在推理复杂性方面评估它们的使用成本很重要。我们修改了用于\（\mathcal）的tableaux算法{ALCNI}公司_{R^+}）（一个只有数字限制而不是限定数字1的DL），并用处理部分限制的特定技术对其进行补充，以证明所考虑的DL中的概念可满足性和包含性仍在PSPACE中。

MSC公司：

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

关键词：

描述逻辑;合理级配;零件限制;复杂性;PSPACE公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Yanchev}，Lobachevskii J.数学。41，第9号，1726-1746（2020；Zbl 1492.68125）
全文： 内政部

参考文献：

[1] Savitch，W.J.，《不确定性和确定性磁带复杂性之间的关系》，J.Compute。系统。科学。，4, 177-192 (1970) ·Zbl 0188.33502号 ·doi:10.1016/S0022-0000（70）80006-X
[2] Fine，K.，《在如此多的可能世界中》，《圣母院J.形式逻辑》，第13516-520页（1972）·Zbl 0205.30306号 ·数字对象标识代码：10.1305/ndjfl/1093890715
[3] 施密特·沙乌（M.Schmidt-Schau）。；Smolka，G.，带补语的定语概念描述，Artif。智力。，48, 1-26 (1991) ·Zbl 0712.68095号 ·doi:10.1016/0004-3702（91）90078-X
[4] 美国塞特勒，“概念语言扩展了不同类型的及物性角色”，载于第20届德意志Jahrestagung für Künstliche Intelligenz，Ed.，G.Görz和S.Hölldobler，第1137卷，《人工智能讲稿》（Springer，Berlin，1996）。
[5] 多尼尼，F.M。；Lenzerini，M。；Nardi，D。；Nutt，W.，《概念语言的复杂性》，Inform。计算。，134, 1-58 (1997) ·兹伯利0906.68145 ·doi:10.1006/inco.1997.2625
[6] I.Horrocks、U.Sattler和S.Tobies，“PSpace-algorithm for decision\（\mathcal）”{ALCNI}公司_{R^+}\）-可满足性“”，LTCS-报告98-08（LuFG理论计算科学，德国亚琛RWTH，1998）。
[7] I.Horrocks、U.Sattler和S.Tobies，“表达描述逻辑的实用推理”，摘自《第六届逻辑编程和自动推理国际会议论文集》，LPAR’99（Springer，Berlin，1999），第161-180页·Zbl 0947.68134号
[8] S.Tobies，“分级模态逻辑的PSpace算法”，载于《自动演绎-CADE-16》，Lect。注释计算。科学。1632, 52-66 (1999). ·Zbl 0937.03012号
[9] V.Haarslev、M.Timmann和R.Möller，“将表和代数方法结合起来，用限定的数字限制进行推理”，载于《DL 2001年会议录》，《CEUR研讨会会议录》（2001年），第49卷。CEUR-wS.org。
[10] E.Pacuit和S.Salame，“多数逻辑”，《知识表示和推理原则会议记录》，KR 2004（2004），第598-605页。
[11] T.Tinchev和M.Yanchev，“合理分级的模态算子”，《保加利亚数学先驱国际会议论文集》，保加利亚索非亚，2006年，第123-124页。
[12] S.Demri和D.Lugiez，“Presburger模态逻辑是PSPACE-完整的”，载于《2006年自动推理国际会议论文集》，Lect。注释计算。科学。4130 (2006). ·Zbl 1222.03024号
[13] T.Lai、J.Endrullis和L.S.Moss，“多数有向图”，arXiv:1509.07567（2015）·Zbl 1338.05102号
[14] F.Baader，“对角色继承者具有集合约束和基数约束的新描述逻辑”，《FroCoS会议记录》，2017年，第43-59页·Zbl 1495.68203号
[15] M.Yanchev，“零件限制：在描述逻辑中添加新的表达能力”，载于《非正式陈述摘要》2012（2012），第144页。
[16] M.Yanchev，“描述逻辑中的部分限制：多项式时间复杂性中的推理”，《2012年LC会议论文集》（2012），第38-39页。
[17] M.Yanchev，“具有并集和计数构造器的描述逻辑中的部分限制”，载于2013年《CiE会议记录》（2013），第43页。
[18] M.Yanchev，“具有逆关系和关系交叉的PSPACE理性分级”，摘自《国际代数和数学逻辑会议论文集：理论与应用》，俄罗斯喀山，2014年，第168页。
[19] M.Yanchev，“具有部分限制的描述逻辑：PSPACE完全表达性”，载于《2014年国际电子工程师大会论文集》，匈牙利布达佩斯，2014，A.Beckmann、E.Csuhaj Varjú和K.Meer编辑，第261-270页。
[20] M.Yanchev，“表达描述逻辑中的理性分级”，载于M.Šimkus和G.Weddell（2019）编著的第32届描述逻辑国际研讨会论文集，DL 2019。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。