This paper presents a system for revising hierarchical first-order logical theories, called INCR/H. It incorporates two refinement operators, one for generalizing clauses which do not cover positive examples, and the other one for specializing the inconsistent hypotheses inductively generated by any system that learns logical theories from positive and negative examples. The generalizing operator is inspired from Rayes-Roth and McDermott's Interference matching, while the specializing operator is completely novel. Both of them perform a search in the space of logical clauses and take advantage of the structure of this set. The main characteristic of the system consists of the capability of autonomously performing a representation change, that allows INCR/H to extend the search to the space of clauses with negated literals in the body (program clauses) when no correct theories exist in the space of definite clauses. Experimental results in the area of electronic document classification show that INCR/H is able to cope effectively and efficiently with this real-world learning task.

Revision of logical theories

SEMERARO, Giovanni;ESPOSITO, Floriana;FANIZZI, Nicola;MALERBA, Donato
1995-01-01

Abstract

This paper presents a system for revising hierarchical first-order logical theories, called INCR/H. It incorporates two refinement operators, one for generalizing clauses which do not cover positive examples, and the other one for specializing the inconsistent hypotheses inductively generated by any system that learns logical theories from positive and negative examples. The generalizing operator is inspired from Rayes-Roth and McDermott's Interference matching, while the specializing operator is completely novel. Both of them perform a search in the space of logical clauses and take advantage of the structure of this set. The main characteristic of the system consists of the capability of autonomously performing a representation change, that allows INCR/H to extend the search to the space of clauses with negated literals in the body (program clauses) when no correct theories exist in the space of definite clauses. Experimental results in the area of electronic document classification show that INCR/H is able to cope effectively and efficiently with this real-world learning task.
1995
978-3-540-60437-2
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11586/112836
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 2
social impact