On Multi-agent Systems Specification via Deontic Logic.
Alessio LomuscioMarek J. SergotPublished in: ATAL (2001)
Keyphrases
- deontic logic
- multi agent systems
- knowledge representation language
- agent systems
- update semantics
- multi agent
- intelligent agents
- legal reasoning
- agent architecture
- software agents
- coalition formation
- game theory
- nonmonotonic logics
- autonomous agents
- software systems
- cooperative
- formal semantics
- inference rules
- knowledge base
- agent platform