This paper shows some interesting properties of Kleene's threevalued logic in relation to abductive reasoning. A semantical characterization of abductive explanations is proposed, based on the notion of minimal three-valued model. This establishes a relation between the minimization problem in abductive reasoning and three-valued semantics, in the same sense as non-monotonic reasoning deals with minimization in two-valued semantics.
Cialdea, M., Pirri, F., Pizzuti, C. (1993). Natural properties of abductive hypotheses in three-valued logic. In International Conference on Logic Programming (ICLP'93)-Postconference Workshop on Abduction.
Natural properties of abductive hypotheses in three-valued logic
CIALDEA, Marta;
1993-01-01
Abstract
This paper shows some interesting properties of Kleene's threevalued logic in relation to abductive reasoning. A semantical characterization of abductive explanations is proposed, based on the notion of minimal three-valued model. This establishes a relation between the minimization problem in abductive reasoning and three-valued semantics, in the same sense as non-monotonic reasoning deals with minimization in two-valued semantics.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
