A Single Counterexample Leads to Moral Belief Revision.
Zachary HorneDerek PowellJohn HummelPublished in: Cogn. Sci. (2015)
Keyphrases
- belief revision
- belief change
- propositional logic
- default reasoning
- nonmonotonic reasoning
- belief update
- plausible inference
- logical properties
- knowledge base
- possibilistic logic
- plausible reasoning
- belief merging
- conditional logic
- minimal change
- update operators
- model checking
- belief state
- dynamic aspects
- ai planning
- temporal logic
- game theory
- logic programs
- bayesian networks