Никола Гуарино (родился в 1954 году в Мессине ) — итальянский учёный-компьютерщик и исследователь в области формальной онтологии информационных систем, а также руководитель Лаборатории прикладной онтологии (LOA), входящей в состав Итальянского национального исследовательского совета (CNR) в Тренто . [1]
Научные интересы Гуарино лежат в области искусственного интеллекта , преимущественно в представлении знаний . Он, возможно, наиболее известен в сообществе компьютерных наук по разработке OntoClean , первой методологии формального онтологического анализа, совместно со своим коллегой Крисом Уэлти .
Он, возможно, один из основателей области онтологии в компьютерной науке, но, несомненно, один из ее самых ярых сторонников. В то время как большинство исследователей ИИ и КР сосредоточились на алгоритмах рассуждений и семантике языков представления и считали фактические знания, выраженные в этих языках и обоснованные этими алгоритмами, неважными (просто примеры), Гуарино возглавил контрдвижение по изучению того, как должны выражаться знания. Несомненно, лозунг этого движения исходил из известной статьи «Манифест наивной физики» Патрика Дж. Хейса .
Работа Гуарино в начале 1990-х годов начала обретать форму, когда он применил свое инженерное образование, чтобы понять, как строятся системы, основанные на знаниях , и, что самое важное, как приобретаются знания. Он был известным лицом на ранних семинарах по приобретению знаний, где он был наиболее известен тем, что указывал на себя и говорил: «Я не класс!» Это замечание относилось к тому, что Гуарино считает важным и фундаментальным различием между универсалиями и частностями. Хотя некоторые системы представления позволяют классам самим быть экземплярами других классов, и в определенных контекстах это имеет смысл, есть некоторые экземпляры, которые никогда не могут быть классами (это частности).
Его акцент на формальной строгости при определении типа знания, которое в конечном итоге специалисты по информатике стали называть «онтологиями», привел его в область формальной онтологии в философии, где он начал изучать литературу по метафизике, уделяя особое внимание работам таких выдающихся ученых, как Куайн , Стросон и особенно Саймонс .
В 1998 году Гуарино основал конференцию «Формальная онтология в информационных системах» — регулярную научную конференцию, посвященную самим онтологиям, а не языкам, на которых они представлены. Он неустанно трудился над продвижением исследований в области онтологии и поддержанием уровня научной строгости.