SLEEC-TK

Sinem Getir Yaman; Pedro Ribeiro; Charlie  Burholt; Maddie Jones; Ana Lucia Caneca Cavalcanti; Radu Calinescu

SLEEC-TK

Sinem Getir Yaman^*, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Lucia Caneca Cavalcanti, Radu Calinescu

^*Corresponding author for this work

Computer Science

Research output: Non-textual form › Software

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.

Original language	English
Media of output	Online
Publication status	Published - 4 Apr 2024

Keywords

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

Access to Document

https://github.com/UoY-RoboStar/SLEEC-TK/Licence: Other

Cite this

@misc{a2207dd959cc436cba371cf0bac001a5,

title = "SLEEC-TK",

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.",

keywords = "autonomous agents, social requirements, legal requirements, ethical requirements, empathetic requirements, cultural requirements, verification, validation",

author = "{Getir Yaman}, Sinem and Pedro Ribeiro and Charlie Burholt and Maddie Jones and Cavalcanti, {Ana Lucia Caneca} and Radu Calinescu",

year = "2024",

month = apr,

day = "4",

language = "English",

}

TY - ADVS

T1 - SLEEC-TK

AU - Getir Yaman, Sinem

AU - Ribeiro, Pedro

AU - Burholt, Charlie

AU - Jones, Maddie

AU - Cavalcanti, Ana Lucia Caneca

AU - Calinescu, Radu

PY - 2024/4/4

Y1 - 2024/4/4

N2 - 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.

AB - 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.

KW - autonomous agents

KW - social requirements

KW - legal requirements

KW - ethical requirements

KW - empathetic requirements

KW - cultural requirements

KW - verification

KW - validation

M3 - Software

ER -