Jacek Martinek
ABSTRACT
Legal provisions are considered as interrelated fragments of a text with some structural relations which hold between them. Some provisions are treated as meta-provisions, in case they are used to enact, repeal or amend the substantial provisions. The meaning of a meta-provision is described by meta-norms. Every meta-norm is conditioned by a certain event, and it describes the action which should be executed in order to obtain the current properties of the provision, such as its current text content or the current structural relations holding between the provisions. The presented model of the legal provisions dynamics is based on the event calculus, which is used to represent how the provision properties change in time. The model can be easily implemented in Prolog.
- Boer A., Winkels R., van Engers T., de Maat E. A Content Management System based on an Event-based Model of Version Management Information in Legislation. In T. Gordon (ed.), Legal Knowledge and Information Systems. Jurix 2004: The Seventeenth Annual Conference. Amsterdam, IOS Press, 2004, 19--28.Google Scholar
- Gangemi A., Pisanelli D. M., and Steve G. A. Formal Ontology Framework to Represent Norm Dynamics. In Proceedings of Second International Workshop on Legal Ontologies (Amsterdam, The Netherlands, 13 Dec. 2001).Google Scholar
- Kesim F. N., Sergot M. A. Logic Programming Framework for Modelling Temporal Objects. IEEE Transactions on Knowledge and Data Engineering, 8, 5 (Oct. 1996), 724--741. Google ScholarDigital Library
- Kowalski R. A., Sergot M. A. Logic-Based Calculus of Events. New Generation Computing, 4, 1986, 67--95. Google ScholarDigital Library
- Marin R. H., Sartor G. Time and norms: a formalisation in the event-calculus. In Proceedings of the Seventh International Conference on Artificial Intelligence and Law (ICAIL 99) (Oslo, Norway, June 14--18, 1999). ACM Press, New York, 1999, 90--100. Google ScholarDigital Library
- Uchwala Nr 147 Rady Ministrow z dnia 5 listopada 1991 r. w sprawie zasad techniki prawodawczej. Monitor Polski z 16 grudnia 1991 r., M. P.91.44.310.Google Scholar
- Visser P. R. S., Kralingen van R., and Bench-Capon T. J. M. A Method for the Development of Legal Knowledge Systems. In Proceedings of the Sixth International Conference on Artificial Intelligence and Law (ICAIL '97) (Melbourne, Australia, June 30 - July 3, 1997). ACM Press, New York, 1997. 151--160. Google ScholarDigital Library
Recommendations
Fundamental legal concepts: A formal and teleological characterisation*
We shall introduce a set of fundamental legal concepts, providing a definition of each of them. This set will include, besides the usual deontic modalities (obligation, prohibition and permission), the following notions: obligative rights (rights ...
Event calculus and temporal action logics compared
We compare the event calculus and temporal action logics (TAL), two formalisms for reasoning about action and change. We prove that, if the formalisms are restricted to integer time, inertial fluents, and relational fluents, and if TAL action type ...
Legal Debugging in Propositional Legal Representation
New Frontiers in Artificial IntelligenceAbstractLiteral interpretation on laws may produce unexpected consequences. They are difficult to be recognized unless exceptional cases were taken to the court. The court may decide a literal interpretation as exceptional, and then they have to identify ...
Comments