Zastosowanie logiki domniemań w modelowaniu przepisów

• Autorzy: Stanisław Kędzierski

Warianty tytułu

Defeasible Logic in Regulations Modelling

• Języki publikacji: PL

Abstrakty

W artykule przedstawiono podstawowe zasady logiki domniemań oraz przykłady jej zastosowania do modelowania przepisów regulaminu studiów. Zdaniem autora przedstawione podstawy logiki domniemań, a w szczególności relacji nadrzędności mogą przyczynić się do wyeliminowania niejednoznaczności w interpretowaniu przepisów odnoszących się do życia organizacji gospodarczych.

EN

Legal regulations govern government and business. A possibility of formal checking a consistency, completeness and circularity is an important problem. Defeasible logic is a proper tool for this aim. Foundations of defeasible logic are presented in paper. The maim point of interest is superiority relation among rules. Discussion about extending defeasible logic to modeling business organizations is finished a paper. (original abstract)

Słowa kluczowe

PL

Logika formalna; Prawodawstwo; Studium przypadku; Materiały konferencyjne

EN

Formal logic; Legislation; Case study; Conference materials

• Czasopismo: Prace Naukowe / Akademia Ekonomiczna w Katowicach
• Rocznik: 2003
• Tom: Systemy wspomagania organizacji SWO'2003
• Strony: 273--280

Twórcy

autor

Stanisław Kędzierski

Bibliografia

• Antoniou G., Billington D., Governatori G., Maher M.: Representation results for defeasible logic, ACM Transaction on Computational Logic, vol. 2, 2001.
• Antoniou G., Billington D., Governatori G., Maher M., Rock A.: A family of defeasible reasoning logics and its implementation. In: W. Horn, (ed), ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence, Amsterdam, IOS Press, 2000.
• Nowacki J., Tobor Z.: Wstęp do prawoznawstwa, Naukowa Oficyna Wydawnicza, Katowice, 1997.
• Nute D.: Defeasible reasoning. In: Proc. 20 th Hawaii International Conference on System Science, pp. 470-477. IEEE Press, 1987.
• Nute D.: 1994. Defeasible Logic. In: Gabbay D.M., Hogger C.J. and Robinson J.A. (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press, 353-395.
• Regulamin studiów w Akademii Ekonomicznej im. Karola Adamieckiego w Katowicach, 1997.