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

Інформація × Реєстраційний номер 0107U009136, ( 0200U008805  0207U008805  ) Науково-дослідна робота Назва роботи "Логіко - онтологічні дослідження в автоматизації міркувань" Керівник роботи Анісімов Анатолій Васильович, Доктор фізико-математичних наук Дата реєстрації 08-10-2007 Організація виконавець Київський національний університет імені Тараса Шевченка Опис роботи Створення теоретичної бази для побудови ефективних комп'ютерних методів проведення міркування в конкретних предметних областях, враховуючи найбільш пристосованої для них техніки пошуку логічного висновку та виникаючі онтологічні зв'язки, що відбивають семантичні особливості розглянутої предметної області та мають вигляд речень (полу)формальної мови натурального типу. Додано в НРАТ 2024-12-10 Закрити