Natural properties of abductive hypotheses in three-valued logic
| Author(s) : | Clara Pizzuti Fiora Pirri Marta Cialdea Mayer, |
| Publisher : | N/A |
| Publication Date : | 1993 |
| ISSN : | N/A |
| 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. 1, |