Propositional Knowledge Base Revision and Minimal Change.

Hirofumi Katsuno Alberto O. Mendelzon

Published in: Artif. Intell. (1992)

Keyphrases

propositional knowledge base
minimal change
belief revision
belief change
update operations
model theoretic
knowledge base
nonmonotonic reasoning
reasoning about actions
action theories
default reasoning
propositional logic
logical framework
belief base
database
conjunctive normal form