Reprezentacja logiczna temporalnych aspektów prawa

• Autorzy: Tomasz Gaweł , Maria Mach

Warianty tytułu

Logical Representation of Temporal Aspects in Law

• Języki publikacji: PL

Abstrakty

Omówiono aspekty temporalne wiedzy prawnej oraz przedstawiono formalizacje temporalną fragmentu otoczenia prawnego związany z regulacjami dotyczącymi przyznawania koncesji na działalność gospodarczą.

EN

The paper concerns the problem of logical formalisation of temporal aspects in law. It contains a detailed presentation of all types of temporal relations that can be met in legal texts, as well as the discussion on temporal legal aspects. Two examples of temporal legal knowledge and its representation are presented: one taken from the literature, one elaborated by the authors. These examples clearly prove the need for using a temporal representation as a formal tool for describing and analysing enterprises' environment, that changes in time.(original abstract)

Słowa kluczowe

PL

Prawo; Systemy z bazą wiedzy; Bazy danych; Temporalne bazy danych; Zarządzanie wiedzą

EN

Law; Knowledge based systems; Databases; Temporal databases; Knowledge management

• Czasopismo: Prace Naukowe Akademii Ekonomicznej we Wrocławiu
• Rocznik: 2005
• Numer: nr 1064 Pozyskiwanie wiedzy i zarządzanie wiedzą
• Strony: 146--158

Twórcy

autor

Tomasz Gaweł

autor

Maria Mach

Bibliografia

• Aggarwal A.K., A Taxonomy of Sequential Decision Suport Systems, Proc. IS-2001: 4th Annual Informing Science Conference, e-Proceedings, June 19-22, Kraków, 2001, pp. 1-11.
• Aravantinos V., Lorentzos N.A., Sideridis A., Straggas }., Yialouris C., The Time Parameters in Knowledge Systems in Law, Technical Report, Informatics Laboratory, Agricultural University of Athens, 1998.
• Bench-Capon T., Coenen F., The Maintenance of Legal Knowledge Based Systems, "Artificial Intelligence Review", vol. 6, no. 2, Kluwer Academic Publishers 1992.
• Chemilieu-Gendrau M., Le rôle du temps dans la formation du droit international, "Droit International", Editions Pedone, 1987.
• DeBessonet C.G., Cross G.R., An Artificial Intelligence Application in Law: CCLIPS, a Computer Program That Processes Legal Information, "High Technology Law Journal", vol. 1,1986, pp. 329-409.
• Gardner A., An Artificial Intelligence Approach to Legal Reasoning, MIT Press, Cambridge, 1987.
• Haugh B.A., Non-standard Semantics for the Method of Temporal Arguments, Proc. IJCAI-87: 10th International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, 1987, pp. 449-455.
• Kania K., Temporalne modele przedsiębiorstwa w systemach informatycznych zarządzania, Rozprawa doktorska, Akademia Ekonomiczna im. K. Adamieckiego w Katowicach, Wydział Zarządzania, Katowice 1999.
• Kania K., Temporalne bazy danych w systemach informatycznych zarządzania, Wydawnictwo AE w Katowicach, Katowice 2004.
• Lorentzos N.A., Yialouris C.P., Sideridis A.B., Time-evolving rule-based knowledge bases, "Data & Knowledge Engineering", vol. 29, no. 3, March 1999, Elsevier Science B.V. 1999, pp. 313-335.
• Malhotra N.K., Marketing Research: an Applied Orientation, Third Edition, Prentice Hall 1999.
• Mackaay E., Poulin D., Fremont J., Deniger C., La composition du temps dans les systèmes experts juridiques, [w:] Les annales de l'IRETIJ, No 1: Actes du Colloque sur les "Apports de l'informatique à la connaissance du droit", Montpellier, les 10 et 11 mars 1989, pp. 33-47.
• Mackaay E., Poulin D., Fremont J., Bratley P., Deniger C., The Logic of Time in Law and Légal Expert Systems, "Ratio Juris" 3(2), 1990, pp. 254-271.
• McCarty L.Th., Permissions and Obligations - an Informai Introduction, Technical Report LRP-TR-19, Laboratory for Computer Science Research, Rutgers University, 1986.
• Mommers L., Transfer of Knowledge in the Legal Domain, [w:] Postma E., Gyssens M. (Eds.), BNAIC-99: Proceedings of the Eleventh Belgium/Netherlands Artificial Intelligence Conference, Maastricht, November 3-4, 1999, pp. 171-178.
• Nitta K., Nagao J., Tetsuya M., A Knowledge Representation and Inference System for Procedural Law, "New Generation Computing" 5, 1988, pp. 319-359.
• Plexousakis D., Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases, Proc. 19th Very Large Data Bases Conference, Dublin, Ireland 1993.
• Poulin D., Mackaay E., Bratley P., Fremont J., Time Server - a Legal Time Specialist, Proc. Third International Conference on Logic, Informatics, Law. Florence, 2-5 November 1989.
• Ratajczak T., Obiektowe modelowanie regulaminów, [w:]: Bubnicki Z., Grzech A. (red.), Inżynieria wiedzy i systemy ekspertowe, materiały konferencyjne, Oficyna Wydawnicza Politechniki Wrocławskiej 1997.
• Shanahan M.P., Representing Continuous Change in the Event Calculus, Proc. ECAI-90: 9th European Conference on Artificial Intelligence, pp. 598-603.
• Shoham Y., Time for Action: on the Relation Between Time, Knowledge and Action, Proc. IJCA1-89: 11th International Joint Conference on Artificial Intelligence. Morgan Kaufmann Publishers, 1989, pp. 954-959.
• Tawfik A.Y., Neufeld E., Changing Times: a Causal Theory of Probabilistic Temporal Reasoning, "JETAI - Journal of Experimental & Theoretical Artificial Intelligence", vol. 11 no. 1, January-March 1999.
• Ustawa z dnia 23 grudnia 1988 r. O działalności gospodarczej, DzU 1988, nr 41, poz. 324.
• Ustawa z dnia 19 listopada 1999 r. Prawo działalności gospodarczej, DzU 1999, nr 101, poz. 1178.
• Ustawa z dnia 2 lipca 2004 r. O swobodzie działalności gospodarczej, DzU 2004, nr 173, poz. 1807.
• Verheij В., Automated Argument Assistance for Lawyers, [w:] Postma E., Gyssens M. (eds.), BNAIC-99: Proceedings of the Eleventh Belgium/Netherlands Artificial Intelligence Conference, Maastricht, November 3-4,1999, pp. 269-270.
• Vila L., Schwalb E., A Theory of Time and Temporal Incidence based on Instants and Periods, TIME-96: Third International Workshop on Temporal Representation and Reasoning. Key West, Florida, USA, May 19-20, 1996.
• Vila L., Yoshino H., Time in Automated Legal Reasoning, [w:] Martino A., Nissan E. (eds.), "Information and Communications Technology Law", Special issue on formal models of legal time. vol. 7, no. 3, 1998.
• Winkels R., Bosscher D.J.B., Boer A.W.F., Breuker J.A., Generating Exception Structures for Legal Information Serving, [w:] Postma E., Gyssens M. (eds.), BNAIC-99: Proceedings of the Eleventh Belgium/Netherlands Artificial Intelligence Conference, Maastricht, November 3-4, 1999, pp. 268-269.