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