Discovering Rules by Meta-level Abduction
This paper addresses discovery of unknown relations from incomplete network data by abduction. Given a network information such as causal relations and metabolic pathways, we want to infer missing links and nodes in the network to account for observations. To this end, we introduce a framework of meta-level abduction, which performs abduction in the meta level. This is implemented in SOLAR, an automated deduction system for consequence finding, using a first-order representation for algebraic properties of causality and the full-clausal form of network information and constraints. Meta-level abduction by SOLAR is powerful enough to infer missing rules, missing facts, and unknown causes that involve predicate invention in the form of existentially quantified hypotheses. We also show an application of rule abduction to discover certain physical techniques and related integrity constraints within the subject area of Skill Science.
KeywordsIntegrity Constraint Background Theory Horn Clause Causal Graph Clausal Theory
Unable to display preview. Download preview PDF.
- 1.Furukawa, K., Kobayashi, I., Inoue, K., Suwa, M.: Discovering knack by abductive reasoning. In: SIG-SKL (Skill Science). Japanese Society for Artificial Intelligence (January 2009) (in Japanese)Google Scholar
- 5.Inoue, K., Furukawa, K., Kobayashi, I.: Abducing rules with predicate invention. In: 19th International Conference on Inductive Logic Programming (ILP 2009), Leuven, Belgium (July 2009)Google Scholar
- 6.Inoue, K., Sato, T., Ishihata, M., Kameya, Y., Nabeshima, H.: Evaluating abductive hypotheses using an EM algorithm on BDDs. In: Proceedings of IJCAI 2009, pp. 810–815 (2009)Google Scholar
- 8.Iwanuma, K., Inoue, K., Satoh, K.: Completeness of pruning methods for consequence finding procedure SOL. In: Proceedings of the 3rd International Workshop on First-Order Theorem Proving, pp. 89–100 (2000)Google Scholar
- 9.Kobayashi, I., Furukawa, K.: Modeling physical skill discovery and diagnosis by abduction. Information and Media Technologies 3(2), 385–398 (2008)Google Scholar
- 10.Kobayashi, I., Furukawa, K.: Hypothesis selection using domain theory in rule abductive support for skills. In: SIG-SKL (Skill Science). Japanese Society for Artificial Intelligence (August 2009) (in Japanese)Google Scholar
- 14.Muggleton, S., Buntine, W.: Machine invention of first-order predicate by inverting resolution. In: Proceedings of the 5th International Workshop on Machine Learning, pp. 339–351. Morgan Kaufmann, San Francisco (1988)Google Scholar
- 15.Nabeshima, H., Iwanuma, K., Inoue, K.: SOLAR: a consequence finding system for advanced reasoning. In: Cialdea Mayer, M., Pirri, F. (eds.) TABLEAUX 2003. LNCS (LNAI), vol. 2796, pp. 257–263. Springer, Heidelberg (2003)Google Scholar
- 16.Nabeshima, H., Iwanuma, K., Inoue, K., Ray, O.: SOLAR: an automated deduction system for consequence finding. AI Communications, Special Issue on Practical Aspects of Automated Reasoning (2009) (to appear)Google Scholar
- 19.Reiser, P.G.K., King, R.D., Kell, D.B., Muggleton, S.H., Bryant, C.H., Oliver, S.G.: Developing a logical model of yeast metabolism. Electronic Transactions in Artificial Intelligence 5-B2(024), 223–244 (2001)Google Scholar
- 22.Yamamoto, Y., Inoue, K., Doncescu, A.: Integrating abduction and induction in biological inference using CF-Induction. In: Lodhi, H., Muggleton, S. (eds.) Elements of Computational Systems Biology. John Wiley & Sons, Chichester (2009) (to appear)Google Scholar