Логико-математическое исследование реляционных, сложных информационных систем и их взаимосвязь
Full Name of the work head: Момынов М.К.
Исполнители проекта:
: Ин-т прикл.мат.
Inventory number: 0297РК00714
Registration number: 0195РК00407
Keywords: реляционные, информационные, системы, логико-математические, исследования, семантика, языки, йонсоновские, теории, машинные, переводы,
Цель: изучение принципов моделирования сложных систем, баз знаний и интелектуальной обработки информации; классификация и исследование методов формализации сложных систем; семантика формализованных понятий, языков, теорий. Получено описание йонсоновских теорий полигонов над группой и абелевых групп. Введено понятие -подобия и исследованы свойства теории относительно -подобия. Найден критерий совершенности йонсоновской теории. Описаны йонсоновские универсалы унаров. Разработаны общая технология машинного перевода с русского языка, системы выдвижения правдоподобных гипотез на основе индуктивных методов, концептуальная модель и язык представления знаний, система обучения грамматике русского языка и быстрого чтения, методы анализа и синтеза дискретных систем, удобные для проектирования следящих систем.
