Розглянуто аспекти розвитку формальних теорій логіко-онтологічного представлення знань, що містяться у природномовних текстах. Зокрема, представлено три фундаментальні методи генерування онтологічних категорій; описано найвагоміші віхи розвитку основних підмножин класичної логіки та варіантів їх реалізації у прикладних системах; указано на можливості й обмеження даних підмножин і систем. На підставі описаних можливостей логічних систем проведено їх порівняльний аналіз; відносні оцінки аналізу зведено в таблицю. За даними таблиці обгрунтовано доцільність та запропоновано можливу схему використання розглянутих систем логіки.

• Петренко Микола Григорович (1954–) (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"