Automating Belief Revision for AgentSpeak.
Natasha AlechinaRafael H. BordiniJomi Fred HübnerMark JagoBrian LoganPublished in: DALT (2006)
Keyphrases
- belief revision
- belief set
- operational semantics
- belief change
- propositional logic
- bdi agents
- default reasoning
- agent programming
- belief update
- nonmonotonic reasoning
- minimal change
- knowledge base
- mental states
- temporal logic
- logical properties
- logical framework
- conditional logic
- multi agent systems
- possibilistic logic
- belief merging
- model theoretic
- plausible reasoning
- dynamic aspects
- revision operators
- cost based abduction
- plausible inference
- sound and complete axiomatization