拉杰夫·戈雷;阮琳安 EXPTIME表格具有全局缓存，用于描述具有传递角色、反向角色和角色层次结构的逻辑。 （英语） Zbl 1132.68731号 Olivetti，Nicola（编辑），《使用分析表和相关方法的自动推理》。第16届国际会议，2007年7月3日至6日，法国普罗旺斯艾克斯TABLEAUX。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73098-9/pbk）。计算机科学课堂讲稿4548。人工智能课堂讲稿，133-148（2007）。 摘要：描述逻辑（mathcal{SHI}）用传递角色、角色层次结构和反向角色扩展了基本描述逻辑（mathcal{ALC}）。已知的基于表格的\（\mathcal{SHI}\）决策过程显示（至少）NEXPTIME行为，即使已知\（\mathcal{SHI}\）是EXPTIME-complete。基于自动机的\（mathcal{SHI}\）算法通常会产生最佳的最坏情况复杂度结果，但在实践中表现不佳，因为尚未找到对它们的良好优化。通过添加分析切割规则，我们将在\（\mathcal{ALC}\）中的全局缓存方法扩展到\（\mathcal{SHI}\），从而给出了第一个基于EXPTIME表的\（\mathcal{SHI}\）决策过程，并展示了一种合并全局缓存和反转角色的方法。有关整个系列，请参见[Zbl 1121.68006号]. 引用于11文件 MSC公司： 第68页第27页 人工智能中的逻辑 第68页第15页 定理证明（演绎、解析等）（MSC2010） 68立方英尺 知识表示 软件：LoTREC公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Goré}和\textit{L.A.Nguyen}，莱克特。注释计算。科学。4548、133--148（2007年；Zbl 1132.68731） 全文： 内政部