Пошук академічних текстів

Інформація × Реєстраційний номер 0404U001622, Кандидатська дисертація На здобуття к.т.н. Дата захисту 24-03-2004 Статус Запланована Назва роботи "Алгебра ідей як апарат формалізації семантики природної мови в системах штучного інтелекту" Здобувач Калиниченко Ольга Вікторівна, Керівник Шабанов-Кушнаренко Сергій Юрійович Опонент Шаронова Наталія Валеріївна Опонент Асєєв Георгій Георгійович Опис Дисертація присвячена розробці методів формального опису структури природної мови, зокрема простих оповідальних речень, за допомогою алгебри ідей - математичного апарата, побудованого як алгебро-логічний аналог природної мови. Розроблено структуру алгебри ідей - носій алгебри, її операції й аксіоматика. Розглянуто питання повноти і нескоротності аксіоматики запропонованої моделі. Доведено, що алгебра ідей будь-якої розмірності існує і єдина з точністю до ізоморфізму. Розроблено модифіковану предикатну модель, що дозволяє вирішити задачу об'єднання часткових моделей, побудованих на базі підмножин множини ідей. Вирішено задачу конгруентних моделей, що виникає через частковість предиката і необхідності його довизначення. Розглянуто деякі важливі формальні і сенсовні інтерпретації алгебри ідей. Програмні системи, створені на базі отриманих теоретичних результатів, впроваджені на підприємствах м. Харкова. Дата реєстрації 2004-03-24 Додано в НРАТ 2020-04-04 Закрити