Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version)
Abstract
A central question for knowledge representation is how to encode and handle uncertain knowledge adequately. We introduce the probabilistic description logic ALCP that is designed for representing context-dependent knowledge, where the actual context taking place is uncertain. ALCP allows the expression of logical dependencies on the domain and probabilistic dependencies on the possible contexts. In order to draw probabilistic conclusions, we employ the principle of maximum entropy. We provide reasoning algorithms for this logic, and show that it satisfies several desirable properties of probabilistic logics.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2016
- DOI:
- 10.48550/arXiv.1606.09521
- arXiv:
- arXiv:1606.09521
- Bibcode:
- 2016arXiv160609521P
- Keywords:
-
- Computer Science - Artificial Intelligence;
- Computer Science - Logic in Computer Science
- E-Print:
- Full version of paper accepted at the Tenth International Conference on Scalable Uncertainty Management (SUM 2016)