Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents

• DOI: 10.1016/j.scico.2024.103118
• Publication Date: 2024-04-09T15:16:56Z
• Authors: Sinem Getir Yaman; Pedro Ribeiro; Charlie Burholt; Maddie Jones; Ana Cavalcanti; Radu Calinescu

A growing range of applications use AI and other autonomous agents to perform tasks that raise social, legal, ethical, empathetic, cultural (SLEEC) concerns. To support a framework for the consideration these concerns, we introduce SLEEC-TK, toolkit specification, validation, verification SLEEC requirements. SLEEC-TK is an Eclipse-based environment defining rules in domain-specific language with timed process algebraic semantics. uses model checking identify redundant conflicting rules, verify conformance design models rules. We illustrate assistive-care robot.