Probabilistic reasoning in the description logic ALCP with the principle of maximum entropy

DOI10.1007/978-3-319-45856-4_17zbMATH Open1366.68293arXiv1606.09521OpenAlexW2509327789MaRDI QIDQ5268422FDOQ5268422

Authors: Rafael Peñaloza, Nico Potyka 

Publication date: 20 June 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1606.09521

Recommendations

• Maximum entropy calculations for the probabilistic description logic \(\mathcal{ALC}^{\mathsf{ME}}\)
• Probabilistic description logics for subjective uncertainty
• The complexity of the consistency problem in the probabilistic description logic \(\mathcal{ALC}^\mathsf{ME}\)
• The Bayesian description logic \({\mathcal{BEL}}\)
• Towards Statistical Reasoning in Description Logics over Finite Domains

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Probabilistic logic
• Merging the local and global approaches to probabilistic satisfiability
• A hybrid method for probabilistic satisfiability
• The Description Logic Handbook
• EXPtime tableaux for ALC
• The Uncertain Reasoner's Companion
• Attributive concept descriptions with complements
• Information theory and network coding
• An analysis of first-order logics of probability
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• Combining probabilistic logic programming with the power of maximum entropy
• Title not available (Why is that?)
• Markov logic. An interface layer for artificial intelligence. With contributions by Jesse Davis, Tuyen Huynh, Stanley Kok, Lilyana Mihalkova, Raymond J. Mooney, Aniruddh Nath, Hoifung Poon, Matthew Richardson, Parag Singla, Marc Sumner, and Jue Wang
• Towards classifying propositional probabilistic logics
• Maximum Entropy Inference with Quantified Knowledge
• Title not available (Why is that?)
• Distributed Parameter Learning for Probabilistic Ontologies
• The Bayesian Description Logic ${\mathcal{BEL}}$
• Probabilistic Description Logics for Subjective Uncertainty
• Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy

Cited In (4)

• Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy
• Introduction to Probabilistic Ontologies
• Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete
• Probabilistic federated \(\mathcal {ALCI}\)

This page was built for publication: Probabilistic reasoning in the description logic \(\mathcal {ALCP}\) with the principle of maximum entropy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5268422)