Projects per year
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.
| Original language | English |
|---|---|
| Article number | 103118 |
| Number of pages | 6 |
| Journal | Science of Computer Programming |
| Volume | 236 |
| Early online date | 16 Apr 2024 |
| DOIs | |
| Publication status | Published - 1 Sept 2024 |
Bibliographical note
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
-
DOMINOS: Disruption Mitigation for Responsible AI
Calinescu, R. (Principal investigator), Cavalcanti, A. L. C. (Co-investigator), Getir Yaman, S. (Co-investigator) & Townsend, B. (Co-investigator)
15/01/24 → 1/07/25
Project: Research project (funded) › Research
-
UKRI Trustworthy Autonomous Systems Node in Resilience
Calinescu, R. (Principal investigator), Arvind, T. (Co-investigator), Cavalcanti, A. L. C. (Co-investigator), Habli, I. (Co-investigator), Thomas, A. P. (Co-investigator) & Wilson, J. C. (Co-investigator)
1/11/20 → 31/10/24
Project: Research project (funded) › Research