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