Ситник Л. Г. Методи логічного синтезу багатозначних оборотних неоднорідних модулів та їх застосування в системах штучного інтелекту

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