Search academic texts

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