Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic.
Mihoub MazouzFarid MokhatiMourad BadriPublished in: Informatica (Slovenia) (2017)
Keyphrases
- multi agent systems
- agent oriented software engineering
- agent oriented
- computational logic
- multi agent
- agent systems
- reinforcement learning
- coalition logic
- formal descriptions
- formal model
- agent architecture
- design methodology
- development process
- intelligent agents
- logic programming
- knowledge based systems
- knowledge representation
- knowledge base
- coalition formation
- formal specification
- autonomous agents
- design process
- formal language
- early days
- ontological engineering
- case study