An Abductive Framework for Generalized Logic Programs: Preliminary Report
Title | An Abductive Framework for Generalized Logic Programs: Preliminary Report |
Publication Type | Technical Report |
Year of Publication | 1992 |
Authors | Brewka, G. |
Other Numbers | 754 |
Abstract | We present an abductive semantics for generalized propositional logic programs which defines the meaning of a logic program in terms of its extensions. This approach extends the stable model semantics for normal logic programs in a natural way. The new semantics is equivalent to stable semantics for a logic program P whenever P is normal and has a stable model. The existence of extensions is guaranteed for all normal programs. The semantics can be applied without further modification to generalized logic programs where disjunctions and negation signs may appear in the head of rules. Our approach is based on an idea recently proposed by Konolige for causal reasoning. Instead of maximizing in abduction the set of used hypotheses alone we maximize the union of the used and refuted hypotheses. |
URL | http://www.icsi.berkeley.edu/ftp/global/pub/techreports/1992/tr-92-049.pdf |
Bibliographic Notes | ICSI Technical Report TR-92-049 |
Abbreviated Authors | G. Brewka |
ICSI Publication Type | Technical Report |