---
title: "Abductive Framework for Nonmonotonic Theory Change"
authors:
  - "Katsumi Inoue"
  - "Chiaki Sakama"
doi: ""
url: "https://ijcai.org/proceedings/1995/27"
pdf: "https://ijcai.org/proceedings/1995/0027.pdf"
venue: "Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence"
year: 1995
pages: "204-209"
track: "Automated Reasoning"
keywords:
---

# Abductive Framework for Nonmonotonic Theory Change

Katsumi Inoue, Chiaki Sakama

*Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence*, pages 204-209.

## Abstract

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 nonmonotonic theories.