transparent gif

 

Ej inloggad.

Göteborgs universitets publikationer

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

Författare och institution:
Krasimir Angelov (Institutionen för data- och informationsteknik (GU)); John J. Camilleri (Institutionen för data- och informationsteknik (GU)); Gerardo Schneider (Institutionen för data- och informationsteknik (GU))
Publicerad i:
Journal of Logic and Algebraic Programming, 82 ( 5-7 ) s. 216–240
ISSN:
1567-8326
Publikationstyp:
Artikel, refereegranskad vetenskaplig
Publiceringsår:
2013
Språk:
engelska
Fulltextlänk:
Sammanfattning (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.
Ämne (baseras på Högskoleverkets indelning av forskningsämnen):
NATURVETENSKAP ->
Data- och informationsvetenskap ->
Datavetenskap (datalogi) ->
Datalogi
NATURVETENSKAP ->
Data- och informationsvetenskap ->
Språkteknologi (språkvetenskaplig databehandling) ->
Datorlingvistik
Nyckelord:
Normative texts, E-contracts, Legal contracts, Controlled natural language, CLAN, CL, Conflict analysis, Grammatical framework
Postens nummer:
181436
Posten skapad:
2013-08-15 08:41
Posten ändrad:
2016-09-07 16:25

Visa i Endnote-format

Göteborgs universitet • Tel. 031-786 0000
© Göteborgs universitet 2007