Extracting Formal Models from Normative Texts
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.
KeywordsInformation extraction Normative texts C-O diagrams
- 2.Cheng, T.T., Cua, J., Tan, M., Yao, K., Roxas, R.: Information extraction from legal documents. In: SNLP 2009, pp. 157–162, October 2009Google Scholar
- 3.Klein, D., Manning, C.D.: Accurate unlexicalized parsing. In: ACL 2003, pp. 423–430 (2003)Google Scholar
- 4.Martinez, E., Cambronero, E., Diaz, G., Schneider, G.: A model for visual specification of e-Contracts. In: SCC 2010, pp. 1–8. IEEE Comp. Soc. (2010)Google Scholar
- 5.Mercatali, P., Romano, F., Boschi, L., Spinicci, E.: Automatic translation from textual representations of laws to formal models through UML. In: JURIX 2005, pp. 71–80. IOS Press (2005)Google Scholar
- 6.Wyner, A., Peters, W.: On rule extraction from regulations. In: Atkinson, K. (ed.) JURIX 2011, pp. 113–122. IOS Press, Amsterdam (2011)Google Scholar