1 documents found
Information × Registration Number 0404U001622, Candidate dissertation Status к.т.н. Date 24-03-2004 popup.evolution o Title "Algebra of ideas as an apparatus of natural language semantics' formalization in artificial intelligence systems" Author Kalynychenko Ol'ga Viktorivna, popup.head Shabanov-Kushnarenko Sergei popup.opponent Шаронова Наталія Валеріївна popup.opponent Асєєв Георгій Георгійович Description Дисертація присвячена розробці методів формального опису структури природної мови, зокрема простих оповідальних речень, за допомогою алгебри ідей - математичного апарата, побудованого як алгебро-логічний аналог природної мови. Розроблено структуру алгебри ідей - носій алгебри, її операції й аксіоматика. Розглянуто питання повноти і нескоротності аксіоматики запропонованої моделі. Доведено, що алгебра ідей будь-якої розмірності існує і єдина з точністю до ізоморфізму. Розроблено модифіковану предикатну модель, що дозволяє вирішити задачу об'єднання часткових моделей, побудованих на базі підмножин множини ідей. Вирішено задачу конгруентних моделей, що виникає через частковість предиката і необхідності його довизначення. Розглянуто деякі важливі формальні і сенсовні інтерпретації алгебри ідей. Програмні системи, створені на базі отриманих теоретичних результатів, впроваджені на підприємствах м. Харкова. Registration Date 2004-03-24 popup.nrat_date 2020-04-04 Close
Candidate dissertation
1
Kalynychenko Ol'ga Viktorivna. "Algebra of ideas as an apparatus of natural language semantics' formalization in artificial intelligence systems" : к.т.н. : spec.. 05.13.23 - Системи та засоби штучного інтелекту : presented. 2004-03-24; popup.evolution: .; Kharkov national university of radioelectronics. – , 0404U001622.
1 documents found

Updated: 2026-03-26