Tuning Belief Revision for Coordination with Inconsistent Teammates.
Trevor SarrattArnav JhalaPublished in: AIIDE (2015)
Keyphrases
- belief revision
- belief merging
- propositional logic
- belief change
- belief base
- agent teams
- nonmonotonic reasoning
- default reasoning
- cooperative
- logical properties
- belief update
- knowledge base
- plausible reasoning
- cost based abduction
- minimal change
- conditional logic
- multi agent
- possibilistic logic
- logical framework
- multiple agents
- team members
- temporal logic
- multiagent systems
- belief state
- epistemic states
- dynamic aspects
- revision operators
- update operators
- decision makers
- sound and complete axiomatization