Formal reasoning on knowledge and commitments in multi-agent systems using Theatre.
Christian NigroLibero NigroPaolo F. SciammarellaPublished in: Simul. (2020)
Keyphrases
- multi agent systems
- knowledge base
- formal models
- knowledge representation
- reasoning process
- general knowledge
- reasoning mechanism
- data mining techniques
- cognitive agents
- formal representation
- computational logic
- representing knowledge
- knowledge discovery
- production rules
- reasoning processes
- commonsense knowledge
- domain experts
- reasoning engine
- knowledge acquisition
- knowledge management
- logical formulas
- probabilistic knowledge
- artificial intelligence
- logical rules
- qualitative reasoning
- solving problems
- coalition formation
- knowledge sources
- game theory
- autonomous agents
- logic programming
- domain knowledge
- expert systems