Вперше розроблено категорний метод поповнення ієрархічних баз знань предметних областей (ПрО) автоматизованих систем, який дозволяє встановити нові морфізми прикладних моделей концептуалізації (МК) ПрО, якщо відомі лише базисні морфізми прикладних МК ПрО, що дозволяє одержувати неявно подану інформацію про складну ПрО. Удосконалено математичну модель бази знань ПрО системи прийняття рішень, що на відміну від існуючих дозволяє забезпечити цілісне багатоаспектне подання системи знань складної ПрО, одночасно й узгоджено враховувати онтологічні проблемні знання, і включає множину прикладних МК ПрО та множину морфізмів, які описують семантику структурних відношень прикладних МК ПрО. Обгрунтовано нові положення теорії подання знань з використанням розробленого мовою теорії категорій набору аксіом та наслідків, який на відміну від існуючих відображає семантичні закономірності складних ієрархічних організованих структур систем знань ПрО, що забезпечує стабільність бази знань щодо різних еволюційних змін ПрО й підвищує ефективність прийняття рішень. Удосконалено ітеративну процедуру створення ієрархічних баз знань автоматизованих систем шляхом включення розроблених правил поповнення ієрархічних баз знань ПрО, застосування яких на відміну від існуючих означає встановлення нових базисних морфізмів, що забезпечує семантичну коректність створюваної бази знань.

  Скачати повний текст

Розглянуто питання автоматизованого формування знань з даних, розпізнавання прихованих закономірностей (образів, патернів) і моделювання принципів їх представлення на базі формальної логіки. Удосконалено методи виявлення й оцінки логічних закономірностей у даних у вигляді асоціативних правил. Запропоновано метод генерації агрегованих асоціативних правил на підставі об'єднання гілок дерева покрить для небінарних ознак. Створено метод розрахунку характеристик агрегованих асоціативних правил з використанням характеристик бінарних асоціацій, що дозволяє підвищити ефективність пошуку логічних залежностей між ознаками у інтелектуальних базах даних. Запропоновано метод оцінки інформативності асоціативних правил, створений на базі розрахунку узагальненої характеристики асоціації - повної взаємної інформації, яка дозволяє задати лінійний порядок під час оцінки асоціації та скоротити розмірність задачі її оцінки. Проаналізовано залежність інформативності від загальноприйнятих характеристик асоціативного правила - рівня підтримки, довіри та покращання.

  Скачати повний текст

Розглянуто питання створення технології експертних систем, проблемно-орієнтованих на розв'язання задач інтелектуального аналізу даних в інформаційних системах підтримки рішень (ІСППР) на основі застосування дедуктивних баз даних (ДБД). Удосконалено концепцію ДБД як засобу розв'язання слабоформалізованих задач у сучасній технології експертних систем підтримки прийняття рішень. Розроблено ряд оригінальних логіко-предикативних моделей, які втілюють нові, необхідні для опису задач прийняття рішень, конструкти. Удосконалено методи структурного та семантичного аналізу опису задачі. Розроблено керований модифікований напівбезпосередній алгебраїчний метод обчислення логічної програми ДБД, що грунтується на запропонованому принципі мінімальності ітеративних обчислень та схемі відображення логічної програми у систему SQL запитів. Запропоновано принципи організації систем ДБД.

  Скачати повний текст

Розроблено метод семантичної верифікації знань, який полягає в обгрунтуванні достовірності знань, поданих у Web-просторі за допомогою онтологічної моделі, на основі аналізу інформації, яка автоматично вилучається з розподілених різнорідних джерел, що дозолило підвищити рівень довіри до Web-контенту. Запропоновано метод інтерпретації верифікаційних елементів, який полягає у визначенні еквівалентності деревоподібних структур з урахуванням семантики вузлів, що дозволило класифікувати онтологічні знання за способом їх виведення та віднаходити зміни в механізмах виведення знань. Удосконалено модель подання онтологій, який вирізняється від існуючих моделей, побудованих на основі дескрипційних логік, наявністю верифікаційної складової, яка розширює множину базових концептів і відношень, та додаванням верифікаційного компонента до існуючої триплетної форми опису тверджень, що дозволило обгрунтувати та пояснити гібридне виведення знань.

  Скачати повний текст

Розроблено методи розподіленого представлення й обробки числової та символьної структурованої інформації. Проведено теоретичне й експериментальне дослідження методів формування бінарних представлень для вирішення задач пошуку, відображення та виводу за аналогією. Запропоновані методи дозволили покращити повноту від 11 до 22 % та точність пошуку у 3 - 4 рази. Завдяки використанню методів відображення та виводу за аналогією одержано результати, що відповідають результатам психологічних тестів та існучих систем. Розроблено методи представлення числових векторів і більш складних структур за допомогою бінарних розріджених розподільних представлень. У задачі прогнозування існування хімічних сполук завдяки використанню запропонованих методів одержано результат на рівні кращих систем - 94,8 % - 99,91 %. Визначено аналітичні характеристики методу грубого кодування Prager (щільність кодів, перекриття, роздільна здатність), які дозволяють ефективно вибирати параметри методу під час розв'язання практичних задач. Алгоритми та методи реалізовано у вигляді програмних й інструментально-технологічних засобів штучного інтелекту, що пов'язані з обробкою знань і класифікацією. Виконано експериментальне дослідження на підставі реальних і тестових даних.

  Скачати повний текст

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

  Скачати повний текст

Розроблено булеву та предикатну моделі векторних логічних просторів. Запропоновано графічну інтерпретацію елементів та операцій над ними для предикатної моделі у вигляді гиперкубів відповідної розмірності, у вигляді перемикального ланцюга з відповідною кількістю входів та одним виходом, а також їх інтепретацію як природномовних структур, що дозволяє використовувати ці моделі логічних просторів як моделі подання знань, що задані природною мовою. Доведено алгебраїчну універсальність розроблених моделей, що дозволяє обробляти інформацію, яка подана у вигляді елементів різних часткових алгебр логічного типу, як елементи розроблених моделей логічного простору, тобто засобами логічної алгебри. На основі використання цього результату було розроблено та впроваджено програмний комплекс LSPACE на базі ПЕОМ, який було застосовано при розробці інтелектуальних систем прийняття рішень.

  Скачати повний текст