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

Оновлено: 2026-03-16