Distance Semantics for Relevance-Sensitive Belief Revision.

Pavlos Peppas Samir Chopra Norman Y. Foo

Published in: KR (2004)

Keyphrases

belief revision
logical properties
conditional logic
default reasoning
logical framework
propositional logic
belief change

possibilistic logic
sound and complete axiomatization
update operators
dynamic aspects
nonmonotonic reasoning
epistemic states
belief update

temporal logic
knowledge base
plausible reasoning
nonmonotonic logics
formal semantics
belief merging
logic programming

revision operators
belief state
reasoning tasks
cost based abduction
minimal change
model theoretic
plausible inference