A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems.

V. Wiktor Marek Anil Nerode Jeffrey B. Remmel

Published in: Ann. Pure Appl. Log. (1994)

Keyphrases

belief revision
nonmonotonic reasoning
forward chaining
dynamic aspects
default reasoning
belief change
propositional logic
planning systems
defeasible logic
belief update
belief base
knowledge representation
heuristic search
possibility theory