Abstract: "This paper concerns deductive procedures for abductive reasoning and a variety of ATMs. Reiter & de Kleer [21] view an ATMS as a kind of abduction in which the best explanation of a formula is defined as a minimal conjunction of hypotheses that explain the formula. However, they...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Inoue, Katsumi (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Tokyo, Japan 1990
Schriftenreihe:	Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum 877
Schlagworte:	Abduction (Logic) Reasoning
Zusammenfassung:	Abstract: "This paper concerns deductive procedures for abductive reasoning and a variety of ATMs. Reiter & de Kleer [21] view an ATMS as a kind of abduction in which the best explanation of a formula is defined as a minimal conjunction of hypotheses that explain the formula. However, they do not give any algorithm to compute such minimal explanations of a formula in their CMS that is a generalization of de Kleer's basic ATMS [3]. In this paper, we use the notion of characteristic clauses [24] to explain clearly the computational aspects of the CMS and the ATMS and to produce an efficient abductive procedure based on linear resolution By means of this abductive procedure, we give the CMS algorithms for computing minimal explanations in the interpreted approach and for updating them in the compiled approach. We then present algorithms for generating and updating labels of nodes in an extended ATMS that accepts any formula justifications and literal assumptions.
Beschreibung:	13 S.