Specification, Validation and Verification of Social, Legal, Ethical,
Empathetic and Cultural Requirements for Autonomous Agents
- URL: http://arxiv.org/abs/2307.03697v1
- Date: Fri, 7 Jul 2023 16:13:43 GMT
- Title: Specification, Validation and Verification of Social, Legal, Ethical,
Empathetic and Cultural Requirements for Autonomous Agents
- Authors: Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson,
Pedro Ribeiro, and Beverley Townsend
- Abstract summary: We introduce a framework for formal specification, validation and verification of social, legal, ethical, empathetic and cultural (SLEEC) rules for autonomous agents.
We show the applicability of our framework for two autonomous agents from different domains: a firefighter UAV, and an assistive-dressing robot.
- Score: 4.673587416936401
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Autonomous agents are increasingly being proposed for use in healthcare,
assistive care, education, and other applications governed by complex
human-centric norms. To ensure compliance with these norms, the rules they
induce need to be unambiguously defined, checked for consistency, and used to
verify the agent. In this paper, we introduce a framework for formal
specification, validation and verification of social, legal, ethical,
empathetic and cultural (SLEEC) rules for autonomous agents. Our framework
comprises: (i) a language for specifying SLEEC rules and rule defeaters (that
is, circumstances in which a rule does not apply or an alternative form of the
rule is required); (ii) a formal semantics (defined in the process algebra
tock-CSP) for the language; and (iii) methods for detecting conflicts and
redundancy within a set of rules, and for verifying the compliance of an
autonomous agent with such rules. We show the applicability of our framework
for two autonomous agents from different domains: a firefighter UAV, and an
assistive-dressing robot.
Related papers
- AuditNet: A Conversational AI-based Security Assistant [DEMO] [10.941722434218262]
We propose a versatile conversational AI assistant framework designed to facilitate compliance checking on the go.
Our framework automates the review, indexing, and retrieval of relevant, context-aware information.
This AI assistant not only reduces the manual effort involved in compliance checks but also enhances accuracy and efficiency.
arXiv Detail & Related papers (2024-07-19T08:33:07Z) - Normative Requirements Operationalization with Large Language Models [3.456725053685842]
Normative non-functional requirements specify constraints that a system must observe in order to avoid violations of social, legal, ethical, empathetic, and cultural norms.
Recent research has tackled this challenge using a domain-specific language to specify normative requirements.
We propose a complementary approach that uses Large Language Models to extract semantic relationships between abstract representations of system capabilities.
arXiv Detail & Related papers (2024-04-18T17:01:34Z) - SoFA: Shielded On-the-fly Alignment via Priority Rule Following [90.32819418613407]
This paper introduces a novel alignment paradigm, priority rule following, which defines rules as the primary control mechanism in each dialog.
We present PriorityDistill, a semi-automated approach for distilling priority following signals from simulations to ensure robust rule integration and adherence.
arXiv Detail & Related papers (2024-02-27T09:52:27Z) - Towards an Enforceable GDPR Specification [49.1574468325115]
Privacy by Design (PbD) is prescribed by modern privacy regulations such as the EU's.
One emerging technique to realize PbD is enforcement (RE)
We present a set of requirements and an iterative methodology for creating formal specifications of legal provisions.
arXiv Detail & Related papers (2024-02-27T09:38:51Z) - Towards Responsible AI in Banking: Addressing Bias for Fair
Decision-Making [69.44075077934914]
"Responsible AI" emphasizes the critical nature of addressing biases within the development of a corporate culture.
This thesis is structured around three fundamental pillars: understanding bias, mitigating bias, and accounting for bias.
In line with open-source principles, we have released Bias On Demand and FairView as accessible Python packages.
arXiv Detail & Related papers (2024-01-13T14:07:09Z) - Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version) [8.425874385897831]
SLEEC (social, legal, ethical, empathetic, or cultural) rules aim to facilitate the formulation, verification, and enforcement of rules AI-based and autonomous systems should obey.
To enable their effective use in AI systems, it is necessary to translate these rules systematically into a formal language that supports automated reasoning.
In this study, we first conduct a linguistic analysis of the SLEEC rules pattern, which justifies the translation of SLEEC rules into classical logic.
arXiv Detail & Related papers (2023-12-15T11:23:49Z) - Legal Requirements Analysis [2.3349787245442966]
We explore a variety of methods for analyzing legal requirements and exemplify them on representations.
We describe possible alternatives for creating machine-analyzable representations from regulations.
arXiv Detail & Related papers (2023-11-23T09:31:57Z) - NormSAGE: Multi-Lingual Multi-Cultural Norm Discovery from Conversations
On-the-Fly [61.77957329364812]
We introduce a framework for addressing the novel task of conversation-grounded multi-lingual, multi-cultural norm discovery.
NormSAGE elicits knowledge about norms through directed questions representing the norm discovery task and conversation context.
It further addresses the risk of language model hallucination with a self-verification mechanism ensuring that the norms discovered are correct.
arXiv Detail & Related papers (2022-10-16T18:30:05Z) - Bridging between LegalRuleML and TPTP for Automated Normative Reasoning
(extended version) [77.34726150561087]
LegalRuleML is an XML-based representation framework for modeling and exchanging normative rules.
The TPTP input and output formats are general-purpose standards for the interaction with automated reasoning systems.
We provide a bridge between the two communities by defining a logic-pluralistic normative reasoning language based on the TPTP format.
arXiv Detail & Related papers (2022-09-12T08:42:34Z) - Transparency, Compliance, And Contestability When Code Is(n't) Law [91.85674537754346]
Both technical security mechanisms and legal processes serve as mechanisms to deal with misbehaviour according to a set of norms.
While they share general similarities, there are also clear differences in how they are defined, act, and the effect they have on subjects.
This paper considers the similarities and differences between both types of mechanisms as ways of dealing with misbehaviour.
arXiv Detail & Related papers (2022-05-08T18:03:07Z) - Norm Identification through Plan Recognition [22.387008072671005]
Societal rules aim to provide a degree of behavioural stability to multi-agent societies.
Many implementations of normative systems assume various combinations of the following assumptions.
We develop a norm identification mechanism that uses a combination of parsing-based plan recognition and Hierarchical Task Network (HTN) planning mechanisms.
arXiv Detail & Related papers (2020-10-06T11:18:52Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.