Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents.
Sinem Getir YamanAna CavalcantiRadu CalinescuColin PatersonPedro RibeiroBeverley TownsendPublished in: CoRR (2023)
Keyphrases
- autonomous agents
- cross cultural
- social intelligence
- formal verification
- socio cultural
- legal issues
- social context
- multiagent systems
- asynchronous circuits
- social issues
- multi agent systems
- dynamic environments
- formal methods
- multi agent
- social interaction
- model checking
- social groups
- incomplete information
- changing environment
- social networks
- resource bounded
- open systems
- distributed artificial intelligence
- mental states
- formal specification
- complex environments
- human behavior
- coordination mechanisms
- protocol specification
- control architecture
- intelligent behavior
- heterogeneous agents
- social networking
- multi agent environments
- distributed control
- practical reasoning
- machine learning