Putting the Agents back in the Domain: A Two-Sorted Term-Modal Logic.
Andreas AchenPublished in: CoRR (2018)
Keyphrases
- modal logic
- epistemic logic
- dynamic logic
- temporal logic
- multi agent systems
- inference rules
- intelligent agents
- conditional logic
- classical logic
- domain specific
- multi agent
- nonmonotonic logics
- software agents
- autonomous agents
- agent architecture
- multiagent systems
- mobile agents
- situation calculus
- complex domains
- cooperative
- default logic
- coalition formation
- decision making
- explanation based generalization
- model checking
- modal operators
- prime implicates