Стороженко О. В. Алгебро-логiчнi моделi семантики текстiв природноє мови

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