Никола Гуарино - Nicola Guarino

Никола Гуарино (родился в 1954 году в Мессине), итальянец специалист в области информатики и исследователь в области формальной онтологии для информационных систем, а также руководитель Лаборатории прикладной онтологии (LOA), входящей в Итальянский национальный исследовательский совет (CNR) в Тренто.[1]

Работа

Научные интересы Гуарино лежат в области Искусственный интеллект, преимущественно в Представление знаний. Он может быть наиболее известен в сообществе компьютерных наук своими разработками OntoClean, первая методология формального онтологического анализа, со своим коллегой Крис Велти.

Представление знаний

Он, возможно, является одним из основоположников онтологии в информатике, но, несомненно, одним из самых ярых ее сторонников. В то время как большинство исследователей AI и KR сосредоточились на алгоритмах рассуждений и семантике языков представления и считали фактические знания, выраженные на этих языках и обоснованные этими алгоритмами, неважными (просто примеры), Гуарино возглавил контр-движение, чтобы изучить, как знание должно быть выражено. Сплоченный клич этого движения, несомненно, исходит из известной статьи "Манифест наивной физики" автора Патрик Дж. Хейс.

Системы, основанные на знаниях

Работа Гуарино в начале 1990-х годов начала обретать форму, когда он применил свой инженерный опыт, чтобы понять, как системы, основанные на знаниях были построены и, главное, как приобретались знания. Он был знаком на первых семинарах по приобретению знаний, где он был наиболее известен тем, что указывал на себя и говорил: «Я нет класс! »Это замечание относится к тому, что Гуарино считает важным и фундаментальным различием между универсалиями и частностями. Хотя некоторые системы представления позволяют классам быть экземплярами других классов, и в определенных контекстах, которые имеют смысл, есть некоторые примеры, которые никогда не могут быть классами (это подробности).

Конференция "Формальная онтология в информационных системах"

Его упор на формальную строгость при определении типа знания, который в конечном итоге должен был быть назван компьютерными учеными «онтологиями», привел его к области формальной онтологии в философии, где он начал изучать литературу по метафизике, сосредоточившись на работе таких ученых. известные как Куайн, Strawson, и особенно Саймонс.

Гуарино основал Формальная онтология в информационных системах конференция 1998 года, повторяющаяся академическая конференция, посвященная самим онтологиям, а не языкам, на которых они представлены. Он неустанно работал над продвижением исследований в области онтологии и поддержанием уровня научной строгости.

Рекомендации

  1. ^ Домашняя страница факультета

внешняя ссылка