Discovering rules by meta-level abduction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5989 LNAI, Issue , 2010, Pages 49-64

  Inoue, Katsumi ^a   Furukawa, Koichi ^b   Kobayashi, Ikuo ^b   Nabeshima, Hidetomo ^c  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

^b KEIO UNIVERSITY   (Japan)

^c UNIVERSITY OF YAMANASHI   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC PROPERTIES; AUTOMATED DEDUCTION SYSTEMS; CAUSAL RELATIONS; FIRST-ORDER REPRESENTATION; INCOMPLETE NETWORKS; INTEGRITY CONSTRAINTS; META LEVELS; METABOLIC PATHWAYS; NETWORK INFORMATION;

COMPUTER PROGRAMMING;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 77955022038     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13840-9_6     Document Type: Conference Paper

References (23)

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)
2. Inoue, K.: Linear resolution for consequence finding. Artificial Intelligence 56, 301-353 (1992)
3. Inoue, K.: Induction as consequence finding. Machine Learning 55, 109-135 (2004)
4. Inoue, K., Iwanuma, K., Nabeshima, H.: Consequence finding and computing answers with defaults. Journal of Intelligent Information Systems 26, 41-58 (2006)
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)
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)
7. Iwanuma, K., Inoue, K.: Minimal answer computation and SOL. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.2424, pp. 245-257. Springer, Heidelberg (2002)
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)
9. Kobayashi, I., Furukawa, K.: Modeling physical skill discovery and diagnosis by abduction. Information and Media Technologies 3(2), 385-398 (2008)
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)
11. King, R.D., et al.: Functional genomic hypothesis generation and experimentation by a robot scientist. Nature 427, 247-252 (2004)
12. King, R.D., et al.: The automation of science. Science 324, 85-89 (2009)
13. Muggleton, S., Bryant, C.: Theory completion and inverse entailment. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.1866, pp. 130-146. Springer, Heidelberg (2000)
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)
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)
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)
17. Poole, D.: A logical framework for default reasoning. Artificial Intelligence 36, 27-47 (1988)
18. Ray, O., Inoue, K.: A consequence finding approach for full clausal abduction. In: Corruble, V., Takeda, M., Suzuki, E. (eds.) DS 2007. LNCS (LNAI), vol.4755, pp. 173-184. Springer, Heidelberg (2007)
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)
20. Stickel, M.E.: Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction. Journal of Automated Reasoning 13(2), 189-210 (1994)
21. Tamaddoni-Nezhad, A., Chaleil, R., Kakas, A., Muggleton, S.: Application of abductive ILP to learning metabolic network inhibition from temporal data.Machine Learning 65, 209-230 (2006)
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)
23. Zupan, B., Demšar, J., Bratko, I., Juvan, P., Halter, J., Kuspa, A., Shaulsky, G.: GenePath: a system for automated construction of genetic networks from mutant data. Bioinformatics 19(3), 383-389 (2003)