mlsanityData to 14 Oct 2026

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents

arXiv 2603.11864 ↗First posted 12 Mar 2026cs.AI cs.SEcited by 0

Not on the map. Why?

Abstract (arXiv)

As AI agents are increasingly used in high-stakes domains like healthcare and law enforcement, aligning their behaviour with social, legal, ethical, empathetic, and cultural (SLEEC) norms has become a critical engineering challenge. While international frameworks have established high-level normative principles for AI, a significant gap remains in translating these abstract principles into concrete, verifiable requirements. To address this gap, we propose a systematic SLEEC-norm operationalisation process for determining, validating, implementing, and verifying normative requirements. Furthermore, we survey the landscape of methods and tools supporting this process, and identify key remaining challenges and research avenues for addressing them. We thus establish a framework - and define a research and policy agenda - for developing AI agents that are not only functionally useful but also demonstrably aligned with human norms and values.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 8 of its 32 references that are in the map. First posted on arXiv 12 Mar 2026.

Builds on

8 of 32 references.

References · 8

  1. 2023Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agentscited by 6
  2. 2024Analyzing and Debugging Normative Requirements via Satisfiability Checkingcited by 5
  3. 2024Normative Requirements Operationalization with Large Language Modelscited by 5
  4. 2022Towards Adaptive Planning of Assistive-care Robot Taskscited by 4
  5. 2022Early Verification of Legal Compliance via Bounded Satisfiability Checkingcited by 2
  6. 2023Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)cited by 2
  7. 2024Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objectscited by 1
  8. 2025Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMscited by 1

Built on by

Not cited yet.