Getir Yaman, Sinem, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Burholt, Charlie et al. (3 more authors) (2024) Toolkit for Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. Science of Computer Programming. 103118. ISSN: 0167-6423
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: |
|
Copyright, Publisher and Additional Information: | Accepted as an Original Software Publication (OSP), under the Software Track of Science of Computer Programming. © 2024 The Authors |
Keywords: | autonomous agents,social requirements,legal requirements,ethical requirements,empathetic requirements,cultural requirements,verification,validation |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Funding Information: | Funder Grant number EPSRC EP/V026747/1 EPSRC EP/Y009800/1 |
Depositing User: | Pure (York) |
Date Deposited: | 11 Apr 2024 08:20 |
Last Modified: | 26 Aug 2025 23:04 |
Published Version: | https://doi.org/10.1016/j.scico.2024.103118 |
Status: | Published |
Refereed: | Yes |
Identification Number: | 10.1016/j.scico.2024.103118 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:211361 |
Download
Filename: 1-s2.0-S0167642324000418-main.pdf
Description: Toolkit for Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents
Licence: CC-BY 2.5