РЕЛЯЦІЙНО-ТЕМПОРАЛЬНА МОДЕЛЬ НАБОРУ СУТНОСТЕЙ ПРЕДМЕТНОЇ ОБЛАСТІ ДЛЯ ПРОЦЕСУ ФОРМУВАННЯ РІШЕННЯ В ІНТЕЛЕКТУАЛЬНІЙ ІНФОРМАЦІЙНІЙ СИСТЕМІ
Abstract
Предметом дослідження є процеси формування причинно-наслідкових зв’язків між станами сутностей предметної області у процесі функціонування інтелектуальної інформаційної системи. Дані каузальні зв’язки відображають залежності, які лежать в основі процесу отримання результату в інформаційній системі, і тому вони можуть бути використані для формування пояснень щодо цього процесу. Пояснення відображає знання щодо причин та наслідків як щодо отриманого результату в цілому, так і щодо окремих дій процесу прийняття рішення в інформаційній системі. Використання таких знань підвищує довіру користувача до отриманих від інформаційної системи рішень. Мета роботи полягає в розробці реляційно-темпоральної моделі представлення множини взаємопов’язаних сутностей предметної області, які є об’єктом формування рішення в інформаційній системі, з тим, щоб створити умови для виявлення каузальних залежностей щодо процесу формування рішення в такій системі. Для досягнення сформульованої мети вирішуються такі задачі: структуризація залежностей між сутностями предметної області у атрибутивному та темпоральному аспектах; визначення обмежень щодо процесу отримання рішення в інформаційній системі на основі статичних залежностей між сутностями; визначення темпоральних зв’язків в рамках одного класу сутностей як відображення каузальних залежностей між сутностями у процесі отримання рішення в інтелектуальній системі; побудова реляційно-темпоральної моделі взаємопов’язаних сутностей предметної області. Висновки. Виконано структуризацію статичних та динамічних залежностей між сутностями предметної області, що є об’єктом формування рішення в інформаційній системі. Визначено статичні обмеження щодо процесу формування рішення, які пов’язані із властивостями предметної області. Визначено темпоральні залежності між сутностями предметно області, які відображають причинно-наслідкові зв’язки між діями процесу з формування рішення. Запропоновано реляційно-темпоральну модель пов’язаних сутностей предметної області, що містить класи еквівалентності сутностей, статичні залежності між властивостями різних класів еквівалентності, а також темпоральні залежності між властивостями в рамках кожного класу. Модель дає можливість перевірити обмеження на процес формування рішення на основі статичних зв’язків між сутностями предметної області, а також визначити можливі послідовності зміни властивостей сутностей у часі, що створює умови для побудови каузальних залежностей, які лежать в основі процесу формування рішення. Отримані каузальні залежності є ключовим елементом пояснень щодо процесу функціонування інформаційної системи.
Keywords
