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

• Autorzy: Maria Mach-Król

Warianty tytułu

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

• Języki publikacji: PL

Abstrakty

W artykule zajęto się problemem funkcjonalności systemów inteligentnych w obszarze administracyjnym organizacji na przykładzie regulaminu studiów Uniwersytetu Ekonomicznego w Katowicach. Głównym wnioskiem płynącym z przeprowadzonych badań jest to, że aby system inteligentny mógł efektywnie wspomagać administrację, musi być wyposażony w możliwość przetwarzania zapisów o charakterze temporalnym, obecnych w tekstach formalno-prawnych. (fragment tekstu)

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. (original abstract)

Słowa kluczowe

PL

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

EN

Artificial intelligence; Higher education; Computerization of higher education facilities

• Czasopismo: Studia Ekonomiczne / Uniwersytet Ekonomiczny w Katowicach
• Rocznik: 2014
• Numer: nr 199 Technologie wiedzy w zarządzaniu publicznym 2013
• Strony: 157-164

Twórcy

autor

Maria Mach-Król

• Uniwersytet Ekonomiczny w Katowicach

Bibliografia

• 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.