Abductive Framework for Nonmonotonic Theory Change

Inoue, Katsumi; Sakama, Chiaki

Abductive Framework for Nonmonotonic Theory Change

Download BibTeX Cite

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. 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.

Katsumi Inoue, and Chiaki Sakama. 1995. Abductive Framework for Nonmonotonic Theory Change. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95. IJCAI, 204–209. https://ijcai.org/proceedings/1995/27

@inproceedings{ijcai1995p27,
  title     = {Abductive Framework for Nonmonotonic Theory Change},
  author    = {Inoue, Katsumi and Sakama, Chiaki},
  booktitle = {Proceedings of the Fourteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-95}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Chris S. Mellish},
  pages     = {204--209},
  year      = {1995},
  note      = {Automated Reasoning},
  url       = {https://ijcai.org/proceedings/1995/27},
}

TY  - CPAPER
TI  - Abductive Framework for Nonmonotonic Theory Change
AU  - Inoue, Katsumi
AU  - Sakama, Chiaki
T2  - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1995
SP  - 204
EP  - 209
UR  - https://ijcai.org/proceedings/1995/27
ER  -