Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic.
Karsten MartinyRalf MöllerPublished in: Künstliche Intell. (2017)
Keyphrases
- multi agent systems
- modal operators
- formal theory
- modal logic
- coalition logic
- normative systems
- computational logic
- rational agents
- propositional dynamic logic
- belief update
- multi agent
- nonmonotonic logics
- situation calculus
- epistemic logic
- cognitive agents
- autonomous agents
- belief revision
- coalition formation
- logical framework
- partially ordered
- logic programming
- agent systems
- agent oriented
- mental states
- model checking
- cooperative
- defeasible logic
- causal reasoning
- probabilistic logic
- agent architecture
- software agents
- description logics
- knowledge base
- temporal logic
- multi agent reinforcement learning
- complex systems
- complete axiomatization