Toolkit for Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

Abstract

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

Metadata

Item Type:

Article

Authors/Creators:

Getir Yaman, Sinem (sinem.getir.yaman@york.ac.uk)
Ribeiro, Pedro https://orcid.org/0000-0003-4319-4872
Burholt, Charlie
Jones, Maddie
Cavalcanti, Ana Lucia Caneca https://orcid.org/0000-0002-0831-1976
Calinescu, Radu https://orcid.org/0000-0002-2678-9260

Accepted as an Original Software Publication (OSP), under the Software Track of Science of Computer Programming. This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy.

Keywords:

autonomous agents, social requirements, legal requirements, ethical requirements, empathetic requirements, cultural requirements, verification, validation

Dates: