Reasoning in the Description Logic BEL using Bayesian Networks

İsmail İlkan Ceylanİsmail İlkan Ceylan, Rafael PeñalozaRafael Peñaloza

Download

İsmail İlkan Ceylan, Rafael Peñaloza
Reasoning in the Description Logic BEL using Bayesian Networks
In Guy Van den Broeck and Kristian Kersting and Sriraam Natarajan and David Poole, eds., Proceedings of the 4th International Workshop on Statistical Relational AI (starAI 2014), volume WS-14-13 of AAAI Workshops, 2014. AAAI Press

Details
Bibtex

KurzfassungAbstract
We study the problem of reasoning in the probabilistic Description Logic BEL. Using a novel structure, we show that probabilistic reasoning in this logic can be reduced in polynomial time to standard inferences over a Bayesian network. This reduction provides tight complexity bounds for probabilistic reasoning in BEL.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{CP2014,
  author    = {{\.{I}}smail {\.{I}}lkan Ceylan and Rafael Pe{\~{n}}aloza},
  title     = {Reasoning in the Description Logic {BEL} using Bayesian Networks},
  editor    = {Guy Van den Broeck and Kristian Kersting and Sriraam Natarajan
               and David Poole},
  booktitle = {Proceedings of the 4th International Workshop on Statistical
               Relational {AI} (starAI 2014)},
  series    = {AAAI Workshops},
  volume    = {WS-14-13},
  publisher = {AAAI Press},
  year      = {2014}
}