Multi-Agent System Design Verification Using Knowledge-based Reasoning.
Anarosa BrandãoViviane Torres da SilvaCarlos José Pereira de LucenaPublished in: SEKE (2005)
Keyphrases
- design process
- multi agent systems
- cooperative
- building blocks
- domain knowledge
- design rationale
- formal verification
- case study
- engineering design
- prior knowledge
- knowledge discovery
- data mining
- design methodology
- conceptual framework
- design principles
- learning systems
- knowledge acquisition
- website
- background knowledge
- computer aided
- knowledge management
- knowledge engineering
- multi agent
- knowledge extraction
- goal oriented
- information systems
- neural network
- distributed multi agent systems