An Abductive Framework For Computing Knowledge Base Updates

Chiaki Sakama, Katsumi Inoue

This paper introduces an abductive framework for updating knowledge bases represented by extended disjunctive programs. We first provide a simple transformation from abductive prog…