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

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