论文标题
概率描述逻辑$ \ mathcal {balc} $
The Probabilistic Description Logic $\mathcal{BALC}$
论文作者
论文摘要
描述逻辑（DLS）是众所周知的知识表示形式主义，侧重于术语知识的表示。由于它们的一阶语义，这些语言（以经典形式）不适合表示和处理不确定性。最近提出了轻重量DL的概率扩展，以处理在不确定的情况下发生的某些知识。在本文中，我们通过引入命题封闭的dl \ alc的贝叶斯扩展\ balc来继续进行这项研究。我们提出了一个基于图表的程序来确定一致性，并将其调整以解决此逻辑中的其他概率，上下文和一般推论。我们还表明，所有这些问题仍然是\ exptime complete，与基础经典\ alc中的推理相同。
Description logics (DLs) are well-known knowledge representation formalisms focused on the representation of terminological knowledge. Due to their first-order semantics, these languages (in their classical form) are not suitable for representing and handling uncertainty. A probabilistic extension of a light-weight DL was recently proposed for dealing with certain knowledge occurring in uncertain contexts. In this paper, we continue that line of research by introducing the Bayesian extension \BALC of the propositionally closed DL \ALC. We present a tableau-based procedure for deciding consistency, and adapt it to solve other probabilistic, contextual, and general inferences in this logic. We also show that all these problems remain \ExpTime-complete, the same as reasoning in the underlying classical \ALC.
