Adaptable and Verifiable BDI Reasoning.
Peter StringerRafael C. CardosoXiaowei HuangLouise A. DennisPublished in: AREA@ECAI (2020)
Keyphrases
- agent architecture
- bdi architecture
- multi agent systems
- bdi agents
- knowledge base
- multi agent
- reasoning tasks
- sufficient conditions
- case based reasoning
- reasoning process
- formal models
- knowledge representation
- resource bounded
- practical reasoning
- qualitative reasoning
- secret sharing
- reasoning about actions
- analogical reasoning
- reasoning problems
- belief desire intention
- causal reasoning
- knowledge representation and reasoning
- agent systems
- real time
- meta level
- agent model
- production rules
- natural language
- reinforcement learning
- case study
- decision making
- artificial intelligence