Nicola Guarino - Nicola Guarino
Nicola Guarino (narozen 1954 v Messině) je Ital počítačový vědec a výzkumný pracovník v oblasti formální ontologie pro informační systémy a vedoucí laboratoře aplikované ontologie (LOA), která je součástí Italské národní rady pro výzkum (CNR) v Trento.[1]
Práce
Zájmy společnosti Guarino jsou v oblasti výzkumu Umělá inteligence, převážně v Reprezentace znalostí. Může být nejlépe známý v komunitě informatiky pro vývoj OntoClean, první metodika formální ontologické analýzy, se svým kolegou Chris Welty.
Reprezentace znalostí
Pravděpodobně je jedním ze zakladatelů oboru ontologie v informatice, ale nepochybně jedním z jeho nejotevřenějších zastánců. Zatímco většina vědců z oblasti AI a KR se zaměřila na uvažovací algoritmy a sémantiku reprezentačních jazyků a považovala skutečné znalosti vyjádřené v těchto jazycích a zdůvodněné těmito algoritmy za nedůležité (pouze příklady), Guarino vedl protipohyb, aby studoval, jak znalosti by měly být vyjádřeny. Rallyový výkřik tohoto hnutí nepochybně vycházel ze známého článku „Manifest naivní fyziky“ od Patrick J. Hayes.
Znalostní systémy
Guarino práce na počátku 90. let se začala formovat, když použil své inženýrské zázemí, aby pochopil, jak znalostní systémy byly postaveny a co je nejdůležitější, jak byly znalosti získány. Byl známou tváří raných workshopů o získávání znalostí, kde byl nejlépe známý tím, že ukázal na sebe a řekl: „Jsem ne třída! “Tato poznámka odkazovala na to, co Guarino považuje za důležité a zásadní rozlišení mezi univerzáliemi a jednotlivci. Zatímco některé systémy reprezentace umožňují, aby třídy byly samy instancemi jiných tříd, a v určitých kontextech, které dávají smysl, existují případy, které nikdy nemohou být třídami (jedná se o podrobnosti).
Konference Formální ontologie v informačních systémech
Jeho důraz na formální přísnost při specifikaci typu znalostí, které se počítačovým vědcům nakonec říkalo „ontologie“, ho přivedl k oboru formální ontologie ve filozofii, kde začal studovat metafyzickou literaturu se zaměřením na práci takových významné osobnosti jako Quine, Strawson a zejména Simons.
Guarino založil Formální ontologie v informačních systémech konference v roce 1998, opakující se akademická konference zaměřená na samotné ontologie, nikoli na jazyky, ve kterých jsou zastoupeny. Neúnavně pracoval na podpoře výzkumu v ontologii a udržování úrovně vědecké přísnosti.