Automatic induction of first-order logic descriptors type domains from observations

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3194, Issue , 2004, Pages 116-131

  Ferilli, Stefano ^a   Esposito, Floriana ^a   Basile, Teresa M A ^a   Mauro, Nicola Di ^a  

^a UNIVERSITY OF BARI   (Italy)

Author keywords

Description languages; Knowledge acquisition

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONTEXT SENSITIVE LANGUAGES; EXPERT SYSTEMS; KNOWLEDGE ACQUISITION; LOGIC PROGRAMMING; REAL TIME SYSTEMS; ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; LEARNING SYSTEMS;

DESCRIPTION LANGUAGES; FIRST ORDER LOGIC DESCRIPTORS; INDUCTIVE LOGIC PROGRAMMING; LEARNING PROCESSES; APPLICATION CONTEXTS; AUTOMATIC INDUCTION; INCOMPLETE OBSERVATION; LEARNING FRAMEWORKS; REAL WORLD SITUATIONS; REPRESENTATION LANGUAGES;

LEARNING SYSTEMS; INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 22944442236     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30109-7_12     Document Type: Conference Paper

References (14)

1. D. W. Aha. Incremental constructive induction: An instance-based approach. Proceedings of the 8th International Workshop on Machine Learning, pages 117-121. Morgan Kaufmann, 1991.
2. H. Blockeel and L. De Raedt. Inductive database design. In Foundations of Intelligent Systems, volume 1079 of Lecture Notes on Artificial Intelligence, pages 376-385. Springer, 1996.
3. R.M. Cameron-Jones and J.R. Quinlan. Efficient top-down induction of logic programs. SIGART bulletin, 5(1):33-42, 1994.
4. L. De Raedt and L. Dehaspe. Clausal discovery. Machine Learning, 26(2):99-146, 1997.
5. W. V. de Velde. IDL, or Taming the Multiplexer Problem. Proceedings of the 4th European Working Session on Learning. Pittman, 1989.
6. S. Ferilli, N. Di Mauro, T.M.A. Basile and F. Esposito. Incremental Induction of Rules for Document Image Understanding. In AI*IA 2003: Advances in Artificial Intelligence, volume 2829 of Lecture Notes on Artificial Intelligence, pages 176-188. Springer, 2003.
7. P.A. Flach and N. Lachiche. Cooking up integrity constraints with primus. Preliminary Report CSTR-97-009, University of Bristol - Department of Computer Science, December 1997.
8. P.A. Flach and N. Lachiche. Confirmation-guided discovery of first-order rules with Tertius. Machine Learning, 42(1/2):61-95, 2001.
9. A. Kakas and F. Riguzzi. Abductive concept learning. New Generation Computing, 1999.
10. E. McCreath and A. Sharma. Extraction of meta-knowledge to restrict the hypothesis space for ilp systems. In Proceedings of the 8th Australian Joint Conference on Artificial Intelligence, pages 78-82. World Scientific, 1995.
11. R. S. Michalski. Inferential theory of learning, developing foundations for multistrategy learning. In R. S. Michalski and G. Tecuci, editors, Machine Learning. A Multistrategy Approach, volume IV, pages 3-61. Morgan Kaufmann, San Mateo, CA, U.S.A., 1994.
12. K. Morik. Balanced cooperative modeling. Machine Learning, 11:217-235, 1993.
13. S. Muggleton. Inverse entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming, 13(3/4):245-286, 1995.
14. E. Shapiro. Inductive inference of theories from facts. Technical Report 192, Computer Science Department, Yale University, 1981.