Customize

1. You can enlarge the whole site (character size and with) by using the browser function to change characters size.

2. To your right it is possible to change the character size, font, spacing, characters and letters as well as adjust the colours. This will have consequences for the appearance of the whole website design. It will effect all pages at the University  of Gothenburg's website. The changes will remain the next time you log in. (To save your changes the browser must allow cookies.)

*Changes has been made to the look of this website


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

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

Sourcetitle: 
Journal of Logic and Algebraic Programming
Year of publication: 
2013
PublicationType: 
Scientific journal article - peer reviewed

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.

http://www.sciencedirect.com/science/article/pii/S1567832613000143

To the top

Page updated: 2013-08-15 13:54

Send as email
Print page
Show as pdf

X
Loading