6533b7dcfe1ef96bd1273208

RESEARCH PRODUCT

Extracting Formal Models from Normative Texts

Gerardo SchneiderJohn J. CamilleriNormunds Gruzitis

subject

Dependency (UML)business.industryComputer scienceFormalism (philosophy)Deontic logic020207 software engineering0102 computer and information sciences02 engineering and technologyPermissioncomputer.software_genre01 natural sciencesCausality (physics)010201 computation theory & mathematicsComputingMethodologies_DOCUMENTANDTEXTPROCESSING0202 electrical engineering electronic engineering information engineeringNormativeObligationArtificial intelligenceHeuristicsbusinesscomputerNatural language processing

description

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.

yearjournalcountryeditionlanguage
2016-01-01
https://doi.org/10.1007/978-3-319-41754-7_40