DOI: https://doi.org/10.32626/2308-5916.2012-6.106-112

ЗАСТОСУВАННЯ МОДАЛЬНОЇ ЛОГІКИ ПРИ ПРИЙНЯТТІ РІШЕНЬ НА МОДЕЛЯХ ЗНАНЬ

Олексій Єпіфанович Коваленко

Анотація


Створення систем ситуаційного управління та підтримки прийняття рішень на основі знань повинні враховувати модальні відношення між компонентами моделі знань та враховувати їх при визначенні альтернатив та системи переваг між ними. Особливості модальної логіки обумовлюють її використання в якості інструмента для представлення та обробки моделей знань. В роботі розглядаються варіанти використання модальностей в моделях знань та способи їх інтерпретації в процедурах побудови запитів до баз знань.

Ключові слова


системи підтримки прийняття рішень; моделі знань; модальна логіка.

Повний текст:

PDF

Посилання


Морозов А. А. Ситуационные центры — основа управления организационными системами большой размерности / А. А. Морозов // Математические машины и системы. — 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.