伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯,斯蒂芬 非常富有表现力的描述逻辑的实用推理。 (英语) Zbl 0967.03026号 日志。J.IGPL公司 8,第3期,239-263(2000). 描述逻辑提供了知识表示语言的形式化。形式化是基于概念(一元谓词)和角色(二元谓词)的概念。复杂的概念和角色是使用一些构造函数从原子概念和角色构建而成的。描述逻辑的语言,({\mathcal a}{\mathcal L}{\mathcal C}),通过传递和反向角色、角色层次结构和功能限制进行了扩展。这个逻辑与命题(多)模态逻辑({mathbf S4_{(m)}})有关系。提出了一种判定扩展语言可满足性的算法。该算法只处理传递角色,而不处理传递闭包,这导致不确定性程度较低,实验表明该算法非常适合实现。结果表明,具有传递和逆角色的扩展的({mathcalA}{mathcal L}{matHCalC})仍然在PSPACE中。该算法使用增强的块技术。从高效实现更具表现力的描述逻辑的角度来看,该技术似乎很有用。研究了所考虑的描述逻辑族的可判定极限。结果表明,放松对数字限制中使用的角色类型的限制会导致所有推理问题的不可判定性。研究了一些优化技术。这些技术对于实现决策过程至关重要。本文的结论部分描述了使用所实现系统的计算实验。审核人:扬·谢夫拉内克(布拉迪斯拉发) 引用于34文件 MSC公司: 03B70号 计算机科学中的逻辑 68立方英尺 知识表示 03B42号 知识和信念的逻辑(包括信念变化) 68吨15 定理证明(演绎、解析等)(MSC2010) 03B35型 证明和逻辑操作的机械化 68T27型 人工智能中的逻辑 03B45号 模态逻辑(包括规范逻辑) 关键词:描述逻辑;模态逻辑;自动推理;tableaux算法;知识表示;可满足性;可判定性;计算实验 PDF格式BibTeX公司 XML格式引用 \textit{I.Horrocks}等人,日志。J.IGPL 8,第3号,239--263(2000;Zbl 0967.03026) 全文: 内政部 链接