ЗАСТОСУВАННЯ МОДАЛЬНОЇ ЛОГІКИ ПРИ ПРИЙНЯТТІ РІШЕНЬ НА МОДЕЛЯХ ЗНАНЬ
DOI:
https://doi.org/10.32626/2308-5916.2012-6.106-112Ключові слова:
системи підтримки прийняття рішень, моделі знань, модальна логіка.Анотація
Створення систем ситуаційного управління та підтримки прийняття рішень на основі знань повинні враховувати модальні відношення між компонентами моделі знань та враховувати їх при визначенні альтернатив та системи переваг між ними. Особливості модальної логіки обумовлюють її використання в якості інструмента для представлення та обробки моделей знань. В роботі розглядаються варіанти використання модальностей в моделях знань та способи їх інтерпретації в процедурах побудови запитів до баз знань.Посилання
Морозов А. А. Ситуационные центры — основа управления организационными системами большой размерности / А. А. Морозов // Математические машины и системы. — 1997. — № 2. — С. 7–10.
Райков А. Ситуационная комната для поддержки корпоративных решений / А. Райков // Открытые системы. — 1999. — № 7–8. — С. 56–65.
Sebastian Rudolph. Foundations of Description Logics. In Reasoning Web: Semantic Technologies for the Web of Data, 7th International Summer School, volume 6848 of Lecture Notes in Computer Science / Rudolph Sebastian. — 2011. — P. 76–136.
Handbook of Modal Logic / edited by Patrick Blackburn, Johan Van Benthem and Frank Wolter. — Elsevier B.V., 2006.
von Wright, G. H. Deontic Logic. / G. H. von Wright. — Mind, 1951.
Hilpinen R. Deontic Logic: Introductory and Systematic Readings / R. Hilpinen. — Dordrecht : D. Reidel, 1971.
Moretti A. “The Geometry of Standard Deontic Logic.” Logica Universalis / A. Moretti. — 2009. — Р. 19–57.
Ивин А. А. Основания логики оценок / А. А. Ивин. — М., 1972.
Hintikka J. Knowledge and Belief: An Introduction to the Logic of the Two Notions / J. Hintikka. — Ithaca ; NY : Cornell University Press, 1962.
Shoham Y. Multiagent Systems: Algorithmic, Game-Theoretic and Logical Foundations / Y. Shoham, K. Leyton-Brown. — New York : Cambridge University Press, 2009.
Galton A. P. Temporal Logics and their Applications / A. P. Galton. — London : Academic Press, 1987.
Garson James. Modal Logic / James Garson // Stanford Encyclopedia of Philosophy, 2009. – http://plato.stanford.edu/entries/logic-modal/
Lemmon E. An Introduction to Modal Logic / E. Lemmon, D. Scott. — Oxford : Blackwell, 1977.
Kripke Saul. “Semantical Considerations on Modal Logic,” Acta Philosophica Fennica / Saul Kripke. — 1963. — Р. 83-94.
Schild K. A correspondence theory for terminological logics: Preliminary report / K. Schild // In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI'91). — 1991. — Р. 466–471.
##submission.downloads##
Опубліковано
Номер
Розділ
Ліцензія
Authors who publish with this journal agree to the following terms:- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).
