A Verifiable Logic-Based Agent Architecture.
Marco AlbertiFederico ChesaniMarco GavanelliEvelina LammaPaola MelloPublished in: ISMIS (2006)
Keyphrases
- agent architecture
- intelligent agents
- multi agent systems
- knowledge representation
- sufficient conditions
- software agents
- hybrid architecture
- bdi architecture
- bdi agents
- agent based architecture
- agent platform
- cooperative
- safety critical
- shared mental models
- information systems
- layered architecture
- privacy preserving
- fuzzy logic
- expert systems
- multi agent