Лещинский В. О. Моделі бінарних логічних мереж та їх застосування в штучному інтелекті

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