A complete first-order temporal BDI logic for forest multi-agent systems.
Lijun WuKaile SuAbdul SattarQingliang ChenJinshu SuWei WuPublished in: Knowl. Based Syst. (2012)
Keyphrases
- multi agent systems
- temporal epistemic
- epistemic logic
- linear temporal logic
- agent architecture
- temporal logic
- normative systems
- agent systems
- multi agent
- bounded model checking
- model checking
- computational logic
- cooperative
- intelligent agents
- software agents
- spatio temporal
- autonomous agents
- agent oriented programming
- mental attitudes
- game theory
- general logic programs
- belief desire intention
- modal logic
- multi valued
- pspace complete
- coalition logic
- agent technology
- spatial and temporal
- predicate logic
- conditional logic
- bdi agents
- agent platform
- probabilistic logic
- horn clauses
- first order logic
- temporal data
- temporal information