Formal specification of an immune based agent architecture.
Vincent HilaireFabrice LauriPablo GruerAbderrafiaa KoukamSebastian RodriguezPublished in: Eng. Appl. Artif. Intell. (2010)
Keyphrases
- formal specification
- agent architecture
- model checking
- intelligent agents
- specification language
- specification languages
- multi agent systems
- object oriented design
- reverse engineering
- software agents
- formal methods
- concurrent systems
- process algebra
- hybrid architecture
- bdi agents
- bdi architecture
- cooperative
- temporal logic
- layered architecture
- business rules
- intelligent systems