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

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

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

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

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

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

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

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