Evaluating abductive hypotheses using an EM algorithm on BDDs

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 810-815

  Inoue, Katsumi ^a,b   Sato, Taisuke ^a,b   Ishihata, Masakazu ^b   Kameya, Yoshitaka ^b   Nabeshima, Hidetomo ^c  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

^b TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

^c UNIVERSITY OF YAMANASHI   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAMS;

ABDUCTIVE INFERENCE; BINARY DECISION DIAGRAMS (BDDS); HYPOTHESIS GENERATION; METABOLIC PATHWAYS; MULTIPLE HYPOTHESIS; REASONING TECHNIQUES; SCIENTIFIC DISCOVERY; SYSTEMS BIOLOGY;

INFERENCE ENGINES;

EID: 77950248915     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Akers, S.B., Binary decision diagrams, IEEE Trans. Computers, 27(6):509-516, 1978.
2. Bryant, R., Graph-based algorithms for boolean function manipulation, IEEE Trans. Computers, 35(8):677-691, 1986.
3. Chen, J., Muggleton, S. and Santos, J., Learning probabilistic logic models from probabilistic examples, Machine Learning, 73:55-85, 2008.
4. Dempster, A., Laird, N. and Rubin, D., Maximum likelihood from incomplete data via the EM algorithm, J. Royal Statistical Society, B 39:1-38, 1977.
5. De Raedt, L., Angelika, K. and Toivonen, H., ProbLog: a probabilistic Prolog and its application in link discovery, in: Proc. of IJCAI-07, pp.2468-2473, 2007.
6. Eiter, T. and Makino, K., On computing all abductive explanations, in: Proc. of AAAI-02, pp.62-73, 2002.
7. Hsu, E., Kitching, M., Bacchus, F. and McIlraith, S., Expectation maximization to find likely assignments for solving CSP's, in: Proc. of AAAI-07, pp.224-230, 2007.
8. Inoue, K., Linear resolution for consequence finding, Artificial Intelligence, 56(2,3):301-353, 1992.
9. Ishihata, M., Kameya, Y., Sato, T. and Minato, S., Propositionalizing the EM algorithm by BDDs, in: Late Breaking Papers of the 18th Int'l Conf. on Inductive Logic Programming, pp.44-49, 2008.
10. Josephson, J.J. and Josephson, S.G., Abductive Inference: Computation, Philosophy, Technology, Cambridge Univ. Press, 1994.
11. Kakas, A.C., Kowalski, R.A. and Toni, F., The role of abduction in logic programming, in: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol.5, pp.235-324, Oxford Univ. Press, 1998.
12. Kanehisa, M. and Goto, S., KEGG: Kyoto encyclopedia of genes and genomes, Nucleic Acids Research, 28:27-30, 2000.
13. King, R.D., Whelan, K.E., Jones, F.M., Reiser, P.G.K., Bryant, C.H., Muggleton, S.H., Kell, D.B. and Oliver, S.G., Functional genomic hypothesis generation and experimentation by a robot scientist, Nature, 427:247-252, 2004.
14. Letz, R., Goller, C. and Mayr, K., Controlled integration of the cut rule into connection tableau calculi, J. Automated Reasoning, 13:297-338, 1994.
15. Muggleton, S., Inverse entailment and Progol, New Generation Computing, 13:245-286, 1995.
16. Nabeshima, H., Iwanuma, K. and Inoue, K., SOLAR: a consequence finding system for advanced reasoning, in: Proc. of TABLEAUX'03, LNAI, 2796, pp.257-263, Springer, 2003.
17. Poole, D., Probabilistic Horn abduction and Bayesian networks, Artificial Intelligence, 64(1):81-129, 1993.
18. Ray, O. and Inoue, K., A consequence finding approach for full clausal abduction, in: Proc. of the 10th Int'l Conf. on Discovery Science, LNAI, 4755, pp.173-184, Springer, 2007.
19. Sato, T. and Kameya, Y., Parameter learning of logic programs for symbolic-statistical modeling, J. Artif. Intell. Res., 15:391-454, 2001.
20. Simon, L. and del Val, A., Efficient consequence finding, in: Proc. of IJCAI-01, pp.359-365, 2001.
21. Thagard, P., Pathways to biomedical discovery, Philosophy of Science, 70:235-254, 2003.
22. Tamaddoni-Nezhad, A., Chaleil, R., Kakas, A. and Muggleton, S., Application of abductive ILP to learning metabolic network inhibition from temporal data, Machine Learning, 65:209-230, 2006.
23. Tran, N., Baral, C., Nagaraj, V.J. and Joshi, L., Knowledge-based framework for hypothesis formation in biochemical networks, Bioinformatics, 21(Suppl.2):ii213-ii219, 2005.
24. Zupan, B., Demšar, J., Bratko, I., Juvan, P., Halter, J., Kuspa, A. and Shaulsky, G., GenePath: a system for automated construction of genetic networks from mutant data, Bioinformatics, 19(3):383-389, 2003.