Propositional Logic Based on the Dynamics of Belief.
Peter GärdenforsPublished in: J. Symb. Log. (1985)
Keyphrases
- truth maintenance systems
- propositional logic
- belief revision
- dynamic model
- first order logic
- knowledge representation
- subjective logic
- dynamical systems
- multi agent
- multi valued
- epistemic states
- real time
- image sequences
- default logic
- expected utility
- evidential reasoning
- information systems
- strips planning
- satisfiability testing