Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

A Framework for Conflict … - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

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

Artikel i vetenskaplig tidskrift
Författare Krasimir Angelov
John J. Camilleri
Gerardo Schneider
Publicerad i Journal of Logic and Algebraic Programming
Volym 82
Nummer/häfte 5-7
Sidor 216–240
ISSN 1567-8326
Publiceringsår 2013
Publicerad vid Institutionen för data- och informationsteknik (GU)
Sidor 216–240
Språk en
Länkar dx.doi.org/10.1016/j.jlap.2013.03.0...
Ämnesord Normative texts, E-contracts, Legal contracts, Controlled natural language, CLAN, CL, Conflict analysis, Grammatical framework
Ämneskategorier Datalogi, Datorlingvistik

Sammanfattning

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.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?