We show that the adoption of a three-valued setting for inductive concept learning is particularly useful for learning. Distinguishing between what is true, what is false and what is unknown can be useful in situations where decisions have to be taken on the basis of scarce information. In order to learn in a three-valued setting, we adopt Extended Logic Programs (ELP) under a Well-Founded Semantics with explicit negation (WFSX) as the representation formalism for learning. Standard Inductive Logic Programming techniques are then employed to learn the concept and its opposite. The learnt denitions of the positive and negative concepts may overlap. In the paper, we handle the issue of combination of possibly contradictory learnt denitions, and we show strategies for theory renement.

Learning three-valued logic programs

LAMMA, Evelina;RIGUZZI, Fabrizio;
1999

Abstract

We show that the adoption of a three-valued setting for inductive concept learning is particularly useful for learning. Distinguishing between what is true, what is false and what is unknown can be useful in situations where decisions have to be taken on the basis of scarce information. In order to learn in a three-valued setting, we adopt Extended Logic Programs (ELP) under a Well-Founded Semantics with explicit negation (WFSX) as the representation formalism for learning. Standard Inductive Logic Programming techniques are then employed to learn the concept and its opposite. The learnt denitions of the positive and negative concepts may overlap. In the paper, we handle the issue of combination of possibly contradictory learnt denitions, and we show strategies for theory renement.
1999
Inductive Logic Programming; Extended Logic Programming
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.

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

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

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