A Unified View of Propositional Knowledge Base Updates

Katsuno, Hirofumi; Mendelzon, Alberto O.

A Unified View of Propositional Knowledge Base Updates

Download BibTeX Cite

Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 1413-1418.

Abstract

The semantics of revising knowledge bases represented by sets of propositional sentences is analyzed from a model-theoretic point of view. A characterization of all revision schemes that satisfy the Giirdenfors rationality postulates is given in terms of an ordering among interpretations . Properties of the contraction operator that can be defined in terms of revision are also studied. Two new update operators, elimination and recovery, are introduced. Elimination discards .all previous preconceptions on a set of propositional letters; recovery undoes the effect of the last update. It is shown that elimination cannot be expressed as a contraction, and that recovery is in general impossible. The existence of an invariant part of the knowledge base comprising a set of integrity constraints is considered and the definition of revision and contraction are modified to take integrity constraints into account.

Hirofumi Katsuno, and Alberto O. Mendelzon. 1989. A Unified View of Propositional Knowledge Base Updates. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89. IJCAI, 1413–1418. https://ijcai.org/proceedings/1989/226

@inproceedings{ijcai1989p226,
  title     = {A Unified View of Propositional Knowledge Base Updates},
  author    = {Katsuno, Hirofumi and Mendelzon, Alberto O.},
  booktitle = {Proceedings of the Eleventh International Joint Conference on
               Artificial Intelligence, {IJCAI-89}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {N. S. Sridharan},
  pages     = {1413--1418},
  year      = {1989},
  month     = {8},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1989/226},
}

TY  - CPAPER
TI  - A Unified View of Propositional Knowledge Base Updates
AU  - Katsuno, Hirofumi
AU  - Mendelzon, Alberto O.
T2  - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1989
SP  - 1413
EP  - 1418
UR  - https://ijcai.org/proceedings/1989/226
ER  -