Застосування модальної логіки при прийнятті рішень на моделях знань

Abstract

Створення систем ситуаційного управління та підтримки прийняття рішень на основі знань повинні враховувати модальні відношення між компонентами моделі знань та враховувати їх при визначенні альтернатив та системи переваг між ними. Особливості модальної логіки обумовлюють її використання в якості інструмента для представлення та обробки моделей знань. В роботі розглядаються варіанти використання модальностей в моделях знань та способи їх інтерпретації в процедурах побудови запитів до баз знань.Creating of situational management and decision support systems based on knowledge must take into account the modality of knowledge models in determining the alternatives and the benefits of them. Features of modal logic determines its use as the tool for representation and processing of knowledge models. We consider variations of modalities in models of knowledge and methods of their interpretation in the procedures for querying the knowledge base.