Брусенцев В. О. Алгебро-логічні моделі формалізації семантики речень та їх застосування в інформаційних системах штучного інтелекту

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