Reasoning in the Description Logic BEL using Bayesian Networks

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Reasoning in the Description Logic BEL using Bayesian Networks

İsmail İlkan Ceylanİsmail İlkan Ceylan,  Rafael PeñalozaRafael Peñaloza
İ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
  • 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}
}