Belief Update in AgentSpeak-DL.
Álvaro F. MoreiraRenata VieiraPublished in: Programming Multi-Agent Systems (2008)
Keyphrases
- belief update
- belief set
- description logics
- computational properties
- model theoretic
- minimal change
- operational semantics
- belief change
- belief revision
- formal theory
- bdi agents
- expressive power
- agent programming
- mental states
- knowledge base
- planning under uncertainty
- propositional logic
- database
- formal semantics
- logic programs
- multi agent systems