Evaluating Abductive Hypotheses using an EM Algorithm on BDDs

Inoue, Katsumi; Sato, Taisuke; Ishihata, Masakazu; Kameya, Yoshitaka; Nabeshima, Hidetomo

Evaluating Abductive Hypotheses using an EM Algorithm on BDDs

Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima

Download BibTeX Cite

Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence. Pages 810-814.

Abstract

Abductive inference is an important AI reasoning technique to find explanations of observations, and has recently been applied to scientific discovery. To find best hypotheses among many logically possible hypotheses, we need to evaluate hypotheses obtained from the process of hypothesis generation. We propose an abductive inference architecture combined with an EM algorithm working on binary decision diagrams (BDDs). This work opens a way of applying BDDs to compress multiple hypotheses and to select most probable ones from them. An implemented system has been applied to inference of inhibition in metabolic pathways in the domain of systems biology.Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima

Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, and Hidetomo Nabeshima. 2009. Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09. IJCAI, 810–814. https://ijcai.org/proceedings/2009/139

@inproceedings{ijcai2009p139,
  title     = {Evaluating Abductive Hypotheses using an EM Algorithm on BDDs},
  author    = {Inoue, Katsumi and Sato, Taisuke and Ishihata, Masakazu and Kameya, Yoshitaka and Nabeshima, Hidetomo},
  booktitle = {Proceedings of the Twenty-First International Joint Conference on
               Artificial Intelligence, {IJCAI-09}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Hiroaki Kitano},
  pages     = {810--814},
  year      = {2009},
  url       = {https://ijcai.org/proceedings/2009/139},
}

TY  - CPAPER
TI  - Evaluating Abductive Hypotheses using an EM Algorithm on BDDs
AU  - Inoue, Katsumi
AU  - Sato, Taisuke
AU  - Ishihata, Masakazu
AU  - Kameya, Yoshitaka
AU  - Nabeshima, Hidetomo
T2  - Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2009
SP  - 810
EP  - 814
UR  - https://ijcai.org/proceedings/2009/139
ER  -