Extracting Formal Models from Normative Texts
Paper i proceeding, 2016

Normative texts are documents based on the deontic notions of obligation, permission, and prohibition. Our goal is model such texts using the C-O Diagram formalism, making them amenable to formal analysis, in particular verifying that a text satisfies properties concerning causality of actions and timing constraints. We present an experimental, semi-automatic aid to bridge the gap between a normative text and its formal representation. Our approach uses dependency trees combined with our own rules and heuristics for extracting the relevant components. The resulting tabular data can then be converted into a C-O Diagram.

Författare

John J. Camilleri

Göteborgs universitet

N. Gruzitis

Latvijas Universitate

Gerardo Schneider

Göteborgs universitet

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 9612 403-408
978-3-319-41754-7 (ISBN)

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1007/978-3-319-41754-7_40

ISBN

978-3-319-41754-7

Mer information

Senast uppdaterat

2018-03-01