基于最大熵原理的描述逻辑ALCP中的概率推理（完整版）
人工智能
2016-07-01 v1 计算机科学中的逻辑
摘要
知识表示的一个核心问题是如何恰当地编码和处理不确定知识。我们引入了概率描述逻辑ALCP，其设计用于表示上下文相关的知识，其中实际发生的上下文是不确定的。ALCP允许表达对领域的逻辑依赖以及对可能上下文的概率依赖。为了得出概率结论，我们采用最大熵原理。我们提供了该逻辑的推理算法，并证明它满足概率逻辑的若干期望性质。
引用
@article{arxiv.1606.09521,
title = {Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version)},
author = {Rafael Peñaloza and Nico Potyka},
journal= {arXiv preprint arXiv:1606.09521},
year = {2016}
}
备注
Full version of paper accepted at the Tenth International Conference on Scalable Uncertainty Management (SUM 2016)