Belief Contraction as Nonmonotonic Inference.

Alexander Bochman

Published in: J. Symb. Log. (2000)

Keyphrases

nonmonotonic inference
belief revision
nonmonotonic reasoning
conditional logic
belief change
belief set
default reasoning
propositional logic
belief update
knowledge base
belief functions
belief state
minimal change
pairwise
general purpose
search space
high level
neural network