Use of methods of algebraic programming for the formal verification of legal acts

V.S. Peschanenko, M. Poltoratskiy

Abstract


This article briefly describes the programmable tool for the analysis of a normative legal document. A mechanism for checking legal requirements is presented. The model of the legal document is proposed in the form of a set of special rules. Verification is provided by means of algebraic programming and methods of symbolic transformation. This approach allows us to analyze the legislative base of structural and logical errors, check the contradictions, completeness and integrity of legal acts. Presently, the mechanism of claster analysis of text, which makes it possible to identify the frequency of occurrence of various vague language constructs.

Problems in programming 2018; 2-3: 109-114


Keywords


law; algebraic programming; legal requirements; algebra of behavior

Full Text:

PDF

References


Michaelsen R.H. 1984. An expert system for federal tax planning. Expert Systems, 1(2). P. 149-167.

https://doi.org/10.1111/j.1468-0394.1984.tb00440.x

Peychev V. 2004. XML model for legal documents. Problems of Engineering Cybernetics and Robotics. 54. P. 86-91.

Peychev V. 2005. Legal document - a formal model. Problems of Engineering Cybernetics and Robotics. 55. P. 64-70.

McCarty L.T. 1989, May. A language for legal Discourse I. basic features. In Proceedings of the 2nd international conference on Artificial intelligence and law (P. 180-189). ACM.

https://doi.org/10.1145/74014.74037

Letichevsky A.A., Letychevskyi O.A. and Peschanenko V.S. 2011, June. Insertion modeling system. In International Andrei Ershov Memorial Conference on Perspectives of System Informatics (P. 262-273). Springer, Berlin, Heidelberg.

https://doi.org/10.1007/978-3-642-29709-0_23

Letichevsky A., Kapitonova J., Letichevsky Jr.A., Volkov V., Baranov S. and Weigert T. 2005. Basic protocols, message sequence charts, and the verification of requirements specifications. Computer Networks, 49(5). P. 661-675.

https://doi.org/10.1016/j.comnet.2005.05.005

Letichevskii A.A., Kapitonova Y.V., Volkov V.A. and Vyshemirskii V.V. 2003. Insertion programming. Cybernetics and Systems Analysis, 39(1). P. 16-26.

https://doi.org/10.1023/A:1023812824070

Ukrainy P.K. Tax Code of Ukraine] vid 02.12. 2017, (zi zminamy i dopovnenniamy). zakon4. rada. gov. ua.

Popple J. 1996. A pragmatic legal expert system. Dartmouth (Ashgate).

https://doi.org/10.2139/ssrn.1335176

Michaelsen R.H. 1984. An expert system for federal tax planning. Expert Systems, 1(2). P. 149-167.

https://doi.org/10.1111/j.1468-0394.1984.tb00440.x




DOI: https://doi.org/10.15407/pp2018.02.109

Refbacks

  • There are currently no refbacks.