Formalizacja temporalna tekstów o charakterze regulaminowym - na przykładzie Regulaminu studiów na Uniwersytecie Ekonomicznym w Katowicach

• Authors: Maria Mach-Król

Title variants

EN

Temporal Formalization of Statutory Texts - on the Example of the Regimen in The University of Economics in Katowice

• Languages of publication: PL

Abstracts

EN

The main problem addressed in the paper is the question of functionality of intelligent systems in the administrative areas of organizations, on the example of an university. In the paper an attempt to formalize a formal, legal text - bylaw of University of Economics in Katowice - is presented. The need of temporal formalization is pointed out, the problems with formalizing legal texts are listed, and the case study concerning the studies' bylaw is discussed.

Keywords

PL

Informatyzacja szkoły wyższej; Szkolnictwo wyższe; Sztuczna inteligencja

EN

Artificial intelligence; Computerization of higher education facilities; Higher education

• Publisher: Uniwersytet Ekonomiczny w Katowicach
• Journal: Studia Ekonomiczne
• Year: 2014
• Volume: 199
• Pages: 157-164

Contributors

author

Maria Mach-Król

References

• Benthem van, J., Temporal Logic [w:] Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4: Epistemic and Temporal Reasoning, eds. D.M. Gabbay, C.J. Hogger, J.A. Robinson, Clarendon Press, Oxford 1995.
• Finzi A., Pirri F., Reiter R., Open World Planning in the Situation Calculus. Proc, 17th National Conference on Artificial Intelligence, AAAI Press 2000.
• Kędzierski S., Modelowanie procesów biznesowych w logikach nieklasycznych [w:] Systemy Wspomagania Organizacji SWO'2005, red. T. Porębska-Miąc, H. Sroka, Wydawnictwo Akademii Ekonomicznej, Katowice 2005.
• Levesque H., Pirri F., Reiter R., Foundations for the Situation Calculus, "Linköping Electronic Articles in Computer and Information Science" 1998, Vol. 3, No. 18, http://www.ep.liu.se/ea/cis/1998/018.
• Mach M.A., Temporalna analiza otoczenia przedsiębiorstwa. Techniki i narzędzia inteligentne, Wydawnictwo Akademii Ekonomicznej, Wrocław 2007.
• Mackaay E., Poulin D., Frémont J., Bratley P., Deniger C., The Logic of Time in Law and Legal Expert Systems, "Ratio Juris" 1990, 3(2).
• Mackaay E., Poulin D., Frémont 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.
• Poulin D., Mackaay E., Bratley P., Frémont J., Time Server - A Legal Time Specialist, Proc. Third International Conference on Logic, Informatics, Law. Florence, 2-5 November 1989.
• Shi Z., Advanced Artificial Intelligence, World Scientific, 2011.
• Turban E., Leidner D., McLean E., Wetherbe J., Information Technology for Management, John Wiley&Sons, Hoboken 2008.
• Ustawa z dnia 2 lipca 2004 O swobodzie działalności gospodarczej. Dz. U. 2004 r. Nr 173, poz. 1807.
• Vila L., Revisiting Time and Temporal Incidence, http://www.lsi.upc.es/~vila/vila/ papers.html.
• Vila L., Yoshino H., Time in Automated Legal Reasoning [w:] Special Issue on Formal Models of Legal Time, eds. A. Martino, E. Nissan, "Information and Communications Technology Law" 1998, Vol. 7, No. 3.

Identifiers

ISSN

2083-8611