ситуаційна обізнаність

Система підтримки ситуаційної обізнаності у процесі тестування програмного забезпечення

Досліджено та розроблено прототип інформаційної системи, що базується на онтологічному моделюванні із використанням логічного виведення (дескриптивної логіки) у процесі тестування програмного забезпечення.

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

Формальна модель опрацювання знань у системах із ситуаційною обізнаністю

Розглянуто моделі, методи формалізації та моделювання процесу прийняття рішень у системах із ситуаційною обізнаністю. Наведено математичну формалізацію понять ситуації. Подано алгебраїчну модель, яка дає змогу використовувати різні методи моделювання ситуаційної обізнаності, що ґрунтується на фреймворку “Алгебра систем”. Проаналізовано поняття дескриптивної логіки та її переваги і недоліки. Розроблено відображення між алгебраїчною моделлю, дескриптивною логікою та моделлю інтерпретованих систем.