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

Автор(и)

  • Олексій Єпіфанович Коваленко Інститут проблем математичних машин і систем НАН України, м. Київ, Україна

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##

Опубліковано

2012-02-22