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

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

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

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

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

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

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

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

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

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

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

Побудовано верхні та нижні похибки байєсівської процедури розпізнавання для незалежних ознак. Одержано оцінки у вигляді поліному залежно від входу задачі (розмірів класів навчаючої вибірки, кількості ознак та числа значень ознак). Верхня та нижня оцінки похибки є точними та відрізняються на абсолютну константу. Зроблено висновок, що байєсівська процедура розпізнавання є оптимальною на незалежних ознаках. Показано, що байєсівські процедури розпізнавання можна застосовувати на об'єктах, що описуються моделями ланцюгів Маркова. Для цього досліджено поведінку оцінок нестаціонарних перехідних ймовірностей. Показано, що оцінки перехідних ймовірностей, побудованих у вигляді частот, асимптотично нормальні, одержано дисперсії та коваріації цього межового розподілу. Доведено, що оцінки похибки байєсівської процедури розпізнавання на ланцюгах Маркова в асимптотиці збігаються з оцінками похибки на незалежних ознаках. З застосуванням байєсівської процедури розпізнавання здійснено прогнозування вторинної структури білка. Доведено необхідність за одержаною на вході амінокислотною послідовністю та за послідовностями з відомими вторинними структурами визначити вторинну структуру вихідної послідовності. За цього для визначення вторинної структури білка здійснюється послідовне визначення вторинної структури кожної амінокислоти, що входить до його складу.розпізнавання на ланцюгах Маркова. Амінокислотна послідовність білка описувалась нестаціонарним ланцюгом Маркова з 20-ма станами (кожен стан відповідає певному типу амінокислотних залишків). Перехідні ймовірності оцінено за навчаючими вибірками, в їх якості використано інформацію з відкритих баз даних генетичної інформації NCBI. Середня точність розпізнавання, підрахована на множині з 23 000 білків, перевищує 80 %. Як приклад наведено результати розпізнавання вторинної структури певних білків, а саме: гемоглобіну людини, лізоциму людини, білків ВІЛ p17 та p24. У процесі дослідження відповідності амінокислотних послідовностей білків моделям ланцюгів Маркова проаналізовано понад 50-ти геномів бактерій і рослин. Показано, що у геномах цих організмів мають місце закономірності комплементарності за одним з ланцюжків ДНК.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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