Abductive Framework for Nonmonotonic Theory Change
Katsumi Inoue and Chiaki Sakama
Proceedings of the 14th International Joint Conference
on Artificial Intelligence (IJCAI-95), pp. 204-210, Morgan Kaufmann, 1995.
This paper proposes a method of nonmonotonic theory change.
We first introduce a new form of abduction that can account for
observations in nonmonotonic situation. Then we provide a framework of
autoepistemic update, which describes nonmonotonic theory change
through the extended abductive framework.
The proposed update semantics is fairly general and provides
a unified framework for various update semantics such as first-order
update, view update of databases, and contradiction removal of
Full Paper (gzipped postscript 73K)