Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems.
Michael AkintundeElena BotoevaPanagiotis KouvarosAlessio LomuscioPublished in: NeSy (2023)
Keyphrases
- multi agent systems
- connectionist models
- neural learning
- network architecture
- neural network
- agent systems
- cooperative
- game theory
- multi agent
- agent architecture
- agent technology
- symbolic representation
- bio inspired
- case study
- artificial neural
- human beings
- high level
- autonomous agents
- intelligent agents
- knowledge management
- distributed problem solving
- agent platform
- neural fuzzy
- model checking
- decision making
- symbolic data
- capacity planning
- connectionist systems
- coalition formation
- complex systems
- multiagent systems
- software agents
- symbolic description
- normative systems
- inter agent
- computational logic
- neural information processing
- competitive environment
- multi agent reinforcement learning
- biologically plausible
- neural model
- single agent
- learning rules
- reinforcement learning
- artificial intelligence