PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2003 | Systemy wspomagania organizacji SWO'2003 | 273--280
Tytuł artykułu

Zastosowanie logiki domniemań w modelowaniu przepisów

Treść / Zawartość
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)
Twórcy
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.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000000016131

Zgłoszenie zostało wysłane

Zgłoszenie zostało wysłane

Musisz być zalogowany aby pisać komentarze.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.