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

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