Barry Smith (ontolog)

Barry Smith
Barry Smith.jpg
Född ( 1952-06-04 ) 4 juni 1952 (70 år)
Bury , England
Medborgarskap amerikansk
Utbildning
University of Oxford University of Manchester (PhD, 1976)
Känd för



Truthmaker theory European Society for Analytic Philosophy IFOMIS OBO Foundry Basic Formal Ontology
Utmärkelser Wolfgang Paul Award av Alexander von Humboldt Foundation
Vetenskaplig karriär
Fält
Ontologifilosofi _
institutioner


University of Manchester University of Sheffield International Academy of Philosophy, Liechtenstein University i Buffalo
Avhandling   The Ontology of Reference: Studies in Logic and Phenomenology (1976)
Doktorand rådgivare Wolfe Mays
Doktorander Berit Brogaard
Andra framstående studenter
David Koepsell Amie Thomasson
Influenser




Aristoteles Franz Brentano Edmund Husserl Adolf Reinach Roman Ingarden Michael Dummett
Hemsida ontologi .buffalo .edu /smith /

Barry Smith (född 4 juni 1952) är en akademiker som arbetar inom ontologi och biomedicinsk informatik . Smith är författare till mer än 700 vetenskapliga publikationer, inklusive 15 författade eller redigerade böcker, och han är en av de mest citerade samtida filosoferna.

Utbildning och karriär

Från 1970 till 1973 Smith studerade matematik och filosofi vid University of Oxford . Han tog sin doktorsexamen från University of Manchester 1976 för en avhandling om ontologi och referens i Husserl och Frege . Avhandlingen handledes av Wolfe Mays .

Bland kohorten av doktorander som övervakades av Mays i Manchester fanns Kevin Mulligan (Geneve/Lugano) och Peter Simons (Trinity College, Dublin). Båda delade med Smith intresset för analytisk metafysik och för bidragen från sekelskiftes kontinentala filosofer och logiker till centrala frågor inom analytisk filosofi. År 1979 grundade Mulligan, Simons och Smith tillsammans seminariet för österrikisk-tysk filosofi, som organiserade workshops och konferenser kring tidiga centraleuropeiska filosofers arbete från Bolzano till Tarski och deras inverkan på efterföljande generationer. En central roll i detta avseende spelades av Husserls bidrag till formell ontologi. En framstående anhängare av dessa möten var Roderick Chisholm, som i sin Intellectual Autobiography publicerad 1997 beskriver den "betydande roll" som dessa möten spelar i samtida filosofi.

Från 1976 till 1994 hade Smith utnämningar vid University of Sheffield (1976–1979), University of Manchester (1979–1989) och International Academy of Philosophy, Liechtenstein (1989–1994). 1994 flyttade han till universitetet i Buffalo (New York, USA), där han för närvarande är Julian Park Distinguished Professor of Philosophy och affiliate Professor of Biomedical Informatics, Computer Science and Engineering, and Neurology. Från 2002 till 2006 arbetade Smith som grundande direktör för Institutet för formell ontologi och medicinsk informationsvetenskap (IFOMIS), först i Leipzig och sedan, från 2004, i Saarbrücken .

År 2005 grundade Smith National Centre for Ontological Research (NCOR), under överinseende av vilket han 2006 initierade Ontology for the Intelligence Community, därefter STIDS, konferensserier och även International Conference on Biomedical Ontology (ICBO).

Från 1992 till 2016 arbetade Smith som redaktör för The Monist: An International Quarterly Journal of General Philosophical Inquiry .

Från 2016 var han redaktör för den internationella standarden ISO/IEC 21838: Top Level Ontologies, Parts 1 and 2, som publicerades av ISO 2021. Del 1 specificerar kraven för att vara en toppnivå (vilket betyder: domänneutral) ontologi. Del 2 ägnas åt Basic Formal Ontology (BFO). I september 2022 pekade Frankfurter Allgemeine Zeitung på det faktum att BFO är det första exemplet på ett stycke filosofi som har upphöjts till status av en industriell norm, och beskrev detta som en "liten sensation i vetenskapens historia" .

Sedan 2019 har Smith tjänstgjort som gästprofessor vid University of Italian Switzerland .

Forskningsverksamhet

Från början av sin karriär har Smith arbetat inom ontologiområdet , till en början med ontologins historia som en underdisciplin av filosofin i traditionen av Brentano , Husserl , Reinach och Ingarden . Ett särskilt fokus låg på teorin om ontologiskt beroende och del-hela relationer som Husserl föreslagit, en teori som tillämpades av Husserls elever till exempel på förståelsen av mentala och språkliga handlingars ontologi. 1984 publicerade han tillsammans med Mulligan och Simons tidningen "Truth-Makers". Denna artikel hjälpte till att lansera sanningsmakarteori , ett fortfarande aktivt forskningsprogram på gränsen mellan logik, semantik och filosofisk ontologi som är baserat på en ny förståelse av korrespondensteorin om sanning .

På 1990-talet arbetade Smith nära med David Mark , en av grundarna av geografisk informationsvetenskap (GIS), på initiativ inom området geospatial ontologi. I detta sammanhang introducerade han idén med fiat-objekt för att beskriva (ofta rektangulära) geospatiala enheter, såsom postdistrikt och fastighetspaket, som inte är separerade från omgivningen av någon fysisk diskontinuitet. Denna terminologi har etablerat sig i GIS-gemenskapen, och den har även generaliserats till andra områden.

Sedan 2000 har mycket av Smiths forskning varit centrerad på tillämpningen av ontologi inom biomedicinsk informatik , där han har arbetat med en mängd olika projekt som rör biomedicinska terminologier och elektroniska journaler. Han är en av grundarna av koordinerande redaktör för OBO Foundry och har tjänstgjort som medlem av Scientific Advisory Board för Gene Ontology (GO) Consortium och Ontology for Biomedical Investigations (OBI). Han bidrar till utvecklingen av ett antal biologiska och biomedicinska ontologier, inklusive proteinontologin, växtontologin och andra. Mellan 2005 och 2015 var han co-PI för NIH National Center for Biomedical Ontology, där han var ansvarig särskilt för spridning av ontologins bästa praxis och för att tillhandahålla utbildningsmöjligheter för biomedicinska ontologer. Mellan 2013 och 2018 fungerade han som ontologiledare på NIAID ImmPort-projektet.

John Searles arbete . Han fungerar som konsult till Hernando de Soto , chef för Institutet för frihet och demokrati i Peru, i projekt som rör främjandet av egendoms- och affärsrättigheter bland de fattiga i utvecklingsländerna.

Sedan 2008 har Smith arbetat med ontologiinitiativ inom militär- och underrättelseområdet. Under 2008–2010 tjänstgjorde han som teknisk ledare för ett projekt sponsrat av US Army Net-Centric Data Strategy Center of Excellence (ANCDS CoE) för att skapa Universal Core Semantic Layer (UCore-SL). Sedan 2010 har han arbetat med en rad initiativ sponsrade av US Army Intelligence and Information Warfare Directorate ( I2WD) för att skapa ett ramverk för semantisk förbättring av intelligensdata i molnet. Sedan 2014 är han medarbetare på initiativ från US Air Force Research Laboratory om planering, uppdragssäkring och livscykelhantering. I detta sammanhang har han arbetat med att skapa en ontologi för gemensam militär doktrin , utformad för att stödja användningen av informationsteknologi i gemensamma operationer genom att tillåta beräkningsmässig tillgång till innehållet i Joint Doctrine-publikationer. Han har också bidragit till ekosystemet för Space Domain Ontologies skapat under ledning av CUBRC i Buffalo, och han är en av grundarna av Department of Defense and Intelligence Community Ontology Working Group (DIOWG).

Sedan 2016 har Smith varit centralt involverad i initiativet Industrial Ontologies Foundry (IOF), som skapar en uppsättning öppna ontologier för att stödja databehoven hos tillverknings- och verkstadsindustrin på ett sätt som kommer att främja datakompatibilitet. Grundläggande formell ontologi, som fungerar som navet på högsta nivån för IOF, har tillämpats i utvecklingen av ontologier inom många områden av ingenjörskonst, inklusive underhåll, leveranskedja, produktlivscykel och additiv tillverkning.

År 2022 publicerade Smith tillsammans med den tyske forskaren Jobst Landgrebe Why Machines Will Never Rule the World. Artificiell intelligens utan rädsla . Boken försvarar tesen att det finns strikta gränser för vad AI kan åstadkomma. För stokastisk AI vilar gränserna på det faktum att för att en stokastisk algoritm ska fungera krävs träningsdata som är representativa för data i måldomänen. Utbildningsdata som uppfyller detta krav kan uppnås i förhållande till enkla system. Där komplexa system är involverade, vilket är fallet för alla system som involverar organismer, förändras måldomänens egenskaper alltid på oförutsebara sätt, och varje sådan förändring har potential att beröva träningsdatan dess representativitet. För deterministisk AI är problemen liknande, eftersom modellerna där kräver mycket strikta regelbundenheter av ett slag som vi vanligtvis inte hittar i komplexa system.

Erkännande

Leo Zaiberts The Theory and Practice of Ontology (2016) och Gloria Zúñiga y Postigo och Gerald J. Erions Barry Smith an sich (2017) är Festschrift tillägnat Smith som innehåller studier av hans arbete av kollegor och studenter.

Bibliografi

Böcker

externa länkar