We propose an approach for the integration of abduction and induction that consists in extending an Inductive Logic Programming system with abductive reasoning capabilities. In the resulting system, abduction is used to make assump- tions in order to cover positive examples and avoid the cov- erage of negative ones. The assumptions generated can then be generalized in their turn.
Integrating abduction and induction
RIGUZZI, Fabrizio
1998
Abstract
We propose an approach for the integration of abduction and induction that consists in extending an Inductive Logic Programming system with abductive reasoning capabilities. In the resulting system, abduction is used to make assump- tions in order to cover positive examples and avoid the cov- erage of negative ones. The assumptions generated can then be generalized in their turn.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.