Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents.
Sinem Getir YamanPedro RibeiroCharlie BurholtMaddie JonesAna CavalcantiRadu CalinescuPublished in: Sci. Comput. Program. (2024)
Keyphrases
- autonomous agents
- cross cultural
- social intelligence
- formal verification
- legal issues
- dynamic environments
- social issues
- social context
- multi agent systems
- incomplete information
- multi agent
- multiagent systems
- asynchronous circuits
- social groups
- formal methods
- socio cultural
- social interaction
- heterogeneous agents
- model checking
- coordination mechanisms
- open systems
- protocol specification
- mental states
- complex environments
- multi agent environments
- social networks
- distributed artificial intelligence
- resource bounded
- formal specification
- control architecture
- learning agents
- computational systems
- agent negotiation
- changing environment
- legal reasoning
- coalition formation
- social networking
- learning algorithm