From belief revision to design revision: Applying theory change to changing requirements.

Cara MacNish Mary-Anne Williams

Published in: PRICAI Workshops (1996)

Keyphrases

belief revision
belief change
propositional logic
logical properties
default reasoning
nonmonotonic reasoning
revision operators

belief update
plausible reasoning
logical framework
plausible inference
temporal logic
dynamic aspects
principle of minimal change

conditional logic
knowledge base
iterated belief revision
reinforcement learning
minimal change
probability theory

general theory
ai planning
belief merging
belief state
cost based abduction
sound and complete axiomatization