To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

A Framework for Conflict … - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Contact form








 


Note! If you want an answer on a question you must specify your email address




A Framework for Conflict Analysis of Normative Texts Written in Controlled Natural Language

Journal article
Authors Krasimir Angelov
John J. Camilleri
Gerardo Schneider
Published in Journal of Logic and Algebraic Programming
Volume 82
Issue 5-7
Pages 216–240
ISSN 1567-8326
Publication year 2013
Published at Department of Computer Science and Engineering (GU)
Pages 216–240
Language en
Links dx.doi.org/10.1016/j.jlap.2013.03.0...
Keywords Normative texts, E-contracts, Legal contracts, Controlled natural language, CLAN, CL, Conflict analysis, Grammatical framework
Subject categories Computer science, Computational linguistics

Abstract

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.

Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?