Sciweavers

KR
1998
Springer

Specifying Transactions for Extended Abduction

13 years 7 months ago
Specifying Transactions for Extended Abduction
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a nonmonotonic background theory, rather than only adding them. Also, it has a mechanism of computing anti-explanations to unexplain negative observations. Such extended abduction not only enhances reasoning ability of traditional abduction but has useful applications to nonmonotonic theory change. In thispaper, westudythe computational aspect of extended abduction. Given a background theory written in nonmonotonic logic programming, we introduce its transaction program for computing extended abduction. A transaction program is a set of nondeterministic production rules that specify addition and deletion of abductive hypotheses. Abductiveexplanationsarecomputedby the xpoint of a transaction program using a bottom-up model generation procedure. In the context of databases, a transaction program provides a declarat...
Katsumi Inoue, Chiaki Sakama
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where KR
Authors Katsumi Inoue, Chiaki Sakama
Comments (0)