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: | 09 Feb 2025 00:10 |
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