A Framework for Conflict Analysis of Normative Texts Written in Controlled Natural Language
Journal article, 2013

In this paper we are concerned with the analysis of normative conflicts, or the detection of conflicting obligations, permissions and prohibitions in normative texts written in a Controlled Natural Language (CNL). For this we present AnaCon, a proof-of-concept system where normative texts written in CNL are automatically translated into the formal language CL using the Grammatical Framework (GF). Such CL expressions are then analysed for normative conflicts by the CLAN tool, which gives counter-examples in cases where conflicts are found. The framework also uses GF to give a CNL version of the counter-example, helping the user to identify the conflicts in the original text. We detail the application of AnaCon to two case studies and discuss the effectiveness of our approach.

E-contracts

Conflict analysis

Controlled natural language

CL

Normative texts

CLAN

Grammatical framework

Legal contracts

Author

Krasimir Angelov

University of Gothenburg

John J. Camilleri

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Gerardo Schneider

University of Gothenburg

Journal of Logic and Algebraic Programming

1567-8326 (ISSN)

Vol. 82 5-7 216-240

Subject Categories

Computer Science

DOI

10.1016/j.jlap.2013.03.002

More information

Latest update

9/24/2021