Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems.
Michael E. AkintundeElena BotoevaPanagiotis KouvarosAlessio LomuscioPublished in: KR (2020)
Keyphrases
- multi agent systems
- connectionist models
- neural learning
- neural network
- network architecture
- multi agent
- knowledge management
- symbolic representation
- nonlinear predictive control
- agent architecture
- case study
- model checking
- software agents
- game theory
- symbolic description
- coalition formation
- cooperative
- agent systems
- autonomous agents
- high level
- multi agent reinforcement learning
- neural model
- agent oriented
- neural computation
- short and long term
- computational logic
- competitive environment
- normative systems
- neural information processing
- learning algorithm
- artificial neural
- cognitive abilities
- agent based modeling
- biologically plausible
- human beings
- bio inspired
- complex systems
- agent technology
- multiagent systems