Inference of abduction theories for handling incompleteness in first-order learning

Knowledge and Information Systems

Volumn 11, Issue 2, 2007, Pages 217-242

  Esposito, F ^a   Ferilli, S ^a   Basile, T M A ^a   Mauro, N ^a  

^a UNIVERSITY OF BARI   (Italy)

Author keywords

Abduction; Incomplete knowledge; Inductive Logic Programming

Indexed keywords

FORMAL LOGIC; INDUCTIVE LOGIC PROGRAMMING (ILP); MACHINE LEARNING;

ABDUCTION; ABDUCTIVE REASONING; BACK-GROUND KNOWLEDGE; INCOMPLETE KNOWLEDGE; INFERENCE MECHANISM; KNOWLEDGE DISCOVERY PROCESS; MACHINE LEARNING APPROACHES; META-KNOWLEDGE;

KNOWLEDGE REPRESENTATION;

EID: 33947362844     PISSN: 02191377     EISSN: 02193116     Source Type: Journal    
DOI: 10.1007/s10115-006-0019-5     Document Type: Article

References (28)

1. Blockeel H, De Raedt L (1996) Inductive database design. In: Proceedings of the 10th international symposium on methodologies for intelligent systems (ISMIS96), vol 1079 of Lecture Notes in Artificial Intelligence, Springer-Verlag, pp 376-385
2. Cestnik B, Kononenko I, Bratko I (1987) Assistant 86: A knowledge-elicitation tool for sophisticated users. In: Proceedings of EWSL, Sigma Press. Bled, Yugoslavia, pp 31-45
3. Clark K (1978) Negation as failure. In: Gallaire H, Minker J (eds) Logic and databases, Plenum Press, New York, pp 293-322
4. Clark P, Boswell R (1991) Rule induction with CN2: Some recent improvements. In: Proceedings of the fifth European working session on learning, Springer, Berlin Heidelberg New York, pp 151-163
5. Cohen P, Feigenbaum E (eds) (1981) The Handbook of artificial intelligence. vol 3. Morgan Kaufmann, San Mateo, CA
6. De Raedt L (1992) Interactive theory revision - an inductive logic programming approach. Academic Press, New York
7. Dimopoulos Y, Kakas A (1996) Abduction and learning. In: Raedt LD (ed) Advances in inductive logic programming, IOS Press, pp 144-171
8. Eshghi K, Kowalski R (1989) Abduction compared to negation by failure. In: Levi G, Martelli M (eds) Proceedings of the 6th international conference on logic programming, The MIT Press, Cambridge, MA, pp 234-255
9. Esposito F, Ferilli S, Fanizzi N, Basile T, Di Mauro N (2003) Incremental multistrategy learning for document processing. Appl Artif Intell: An Int J 17(8-9):859-883
10. Esposito F, Lamma E, Malerba D, Mello P, Milano M, Riguzzi F, Semeraro G (1996) Learning abductive logic programs. In: Proceedings of the ECAI96 workshop on abductive and inductive reasoning, Budapest, Hungary, pp 23-30
11. Esposito F, Malerba D, Lisi F (2000a) Machine learning for intelligent processing of printed documents. J Intell Inf Syst 14(2-3):175-198
12. Esposito F, Semeraro G, Fanizzi N, Ferilli S (2000b) Multistrategy theory revision: Induction and abduction in INTHELEX. Machine Learn 38(1-2):133-156
13. Ferilli S, Esposito F, Basile T, Di Mauro N (2004) Automatic induction of first-order logic descriptors type domains from observations. In: Camacho R, King RD, Srinivasan A (eds) ILP, vol 3194 of LNCS, Springer, Berlin Heidelberg New York, pp 116-131
14. Flach P, Lachiche N (2001) Confirmation-guided discovery of first-order rules with Tertius. Machine Learn 42(1-2):61-95
15. Hewett R, Leuchner J (2002) Knowledge discovery with second-order relations. Knowledge Inf Syst 4(4):413-439
16. Hinneburg A, Keim D (2003) A general approach to clustering in large databases with noise. Knowledge Inf Syst 5(4):387-415
17. Kakas A, Mancarella P (1990) On the relation of truth maintenance and abduction. In: Proceedings of the 1st pacific rim international conference on artificial intelligence, Nagoya, Japan
18. Kakas A, Riguzzi F (1999) Abductive concept learning. New Gen Comput
19. Kakas A, Kowalski R, Toni F (1993) Abductive logic programming. J Logic Comput 718-770
20. Kakas C, Riguzzi F (2000) Learning with abduction. New Gen Comput 18(3):243-284
21. Lamma E, Mello P, Milano M, Riguzzi F, Esposito F, Ferilli S, Semeraro G (2000) Cooperation of abduction and induction in logic programming. In: Kakas A, Flach P (eds) Abductive and inductive reasoning: Essays on their relation and integration, Kluwer, Dordrecht
22. Lavrač, N, Džeroski S (1994) Inductive logic programming: techniques and applications. Ellis Horwood, New York
23. Michalski R (1994) Inferential theory of learning. developing foundations for multistrategy learning. In: Michalski R, Tecuci G (eds) Machine learning. A multistrategy approach, vol IV. Morgan Kaufmann, San Mateo, CA, pp 3-61
24. Poole D (1988) A logical framework for default reasoning. Artif Intell 36:27-47
25. Raedt LD, Dehaspe L (1997) Clausal discovery. Machine Learn 26(2):99-146
26. Reiter R (1980) A logic for default reasoning. J Artif Intell 13:81-132
27. Riguzzi F (1998) Extensions of Logic Programming as Representation Languages for Machine Learning, PhD thesis, University of Bologna
28. Skillicorn DB, Wang Y (2001) Parallel and sequential algorithms for data mining using inductive logic. Knowledge Inform Syst 3(4):405-421