A knowledge-based approach to the specification and verification of MAS design.
Anarosa BrandãoViviane Torres da SilvaCarlos José Pereira de LucenaPublished in: AAMAS (2005)
Keyphrases
- design process
- knowledge based systems
- multi agent systems
- formal methods
- conceptual model
- conceptual framework
- domain knowledge
- knowledge management
- knowledge base
- cooperative
- prior knowledge
- knowledge acquisition
- engineering design
- design decisions
- design principles
- multiagent systems
- formal verification
- knowledge representation
- case study
- artificial intelligence
- knowledge discovery
- design patterns
- user interface
- expert systems
- knowledge engineering
- high level
- knowledge level
- design space
- neural network