ЗАСТОСУВАННЯ МОДАЛЬНОЇ ЛОГІКИ ПРИ ПРИЙНЯТТІ РІШЕНЬ НА МОДЕЛЯХ ЗНАНЬ
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##
Опубліковано
Номер
Розділ
Ліцензія
Автори, які публікуються в цьому журналі, погоджуються з наступними умовами:
Автори зберігають авторські права та надають журналу право першої публікації роботи, одночасно ліцензованої за ліцензією Creative Commons Attribution License, яка дозволяє іншим поширювати роботу з посиланням на авторство роботи та її першу публікацію в цьому журналі.
Автори можуть укладати окремі додаткові договірні угоди щодо неексклюзивного розповсюдження опублікованої в журналі версії роботи (наприклад, розміщувати її в інституційному репозиторії або публікувати в книзі) з посиланням на її першу публікацію в цьому журналі.
Авторам дозволяється та заохочується публікувати свої роботи онлайн (наприклад, в інституційних репозиторіях або на своєму вебсайті) до та під час процесу подання, оскільки це може призвести до продуктивного обміну, а також до більш раннього та більшого цитування опублікованих робіт (див. The Effect of Open Access).
