Probabilistic Description Logics For Subjective Uncertainty
Probabilistic Description Logics For Subjective Uncertainty
复制标题
DOI：
10.1613/jair.5222
复制
发表时间：
2017-01-01
影响因子：
5
通讯作者：
Schroeder, Lutz
中科院分区：
文献类型：
--
作者：
Gutierrez-Basulto, Victor;Jung, Jean Christoph;Schroeder, Lutz
我们提出了一组概率描述逻辑（DLs），它们以一种原则性的方式从Halpern的概率一阶逻辑中推导出来。得到的概率dl具有与时间dl相似的二维语义，非常适合表示主观概率。我们对新逻辑家族中的推理进行了详细的研究，重点研究了dl - a - L - C和- E - L的概率扩展，并表明其复杂性范围从PTime到ExpTime和2ExpTime到不可确定。
We propose a family of probabilistic description logics (DLs) that are derived in a principled way from Halpern's probabilistic first-order logic. The resulting probabilistic DLs have a two-dimensional semantics similar to temporal DLs and are well-suited for representing subjective probabilities. We carry out a detailed study of reasoning in the new family of logics, concentrating on probabilistic extensions of the DLs A L C and E L, and showing that the complexity ranges from PTime via ExpTime and 2ExpTime to undecidable.