Barry Smith (ontolog)
Barry Smith | |
---|---|
Född |
Bury , England
|
4 juni 1952
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 |
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
- 1999 Fellow i American Philosophical Society
- 2002 Wolfgang Paul Award, Alexander von Humboldt Foundation
- 2010 första Paolo Bozzi-priset för ontologi, universitetet i Turin
- 2014 Fellow vid American College of Medical Informatics (FACMI)
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
- Publikationer av Barry Smith , Cosmos + Taxis 4 (4):67-104 (2017)
- Kevin Mulligan, Peter Simons och Barry Smith, " What's Wrong with Contemporary Philosophy? ", Topoi , 25 (1-2), 2006, 63-67.
Böcker
- Struktur och gestalt: Filosofi och litteratur i Österrike-Ungern och hennes efterträdare ( red.), 1981.
- Delar och ögonblick. Studies in Logic and Formal Ontology (red.), München/Wien: Philosophia, 1982.
- Foundations of Gestalt Theory (red.), München/Wien: Philosophia, 1988.
- Adolf Reinach, Sämtliche Werke. Kritische Ausgabe mit Kommentar , Band I: Die Werke, Teil I: Kritische Neuausgabe (1905–1914), Teil II: Nachgelassene Texte (1906–1917); Band II: Kommentar und Textkritik (red. med Karl Schuhmann), München/Wien: Philosophia 1989.
- Handbook of Metaphysics and Ontology , 2 vols. (red. med Hans Burkhardt), München/Wien: Philosophia, 1991.
- Österrikisk filosofi: The Legacy of Franz Brentano , Chicago-LaSalle, Open Court, 1994.
- The Cambridge Companion to Husserl (red., med David W. Smith), Cambridge/New York: Cambridge University Press, 1995.
- Rationalitet och irrationalitet (red., med Berit Brogaard), Wien: öbv&hpt, 2001.
- Formell ontologi i informationssystem (red., med Christopher Welty), New York: ACM Press, 2001.
- John Searle (red.), Cambridge/New York: Cambridge University Press, 2003.
- Applied Ontology: An Introduction (red. med K. Munn), 2008.
- The Mystery of Capital and the Construction of Social Reality (red. med David Mark och Isaac Ehrlich), Chicago: Open Court, 2008.
- Biomedicinsk ontologi. Wissen strukturieren für den Informatik-Einsatz (red. med Ludger Jansen), Zürich: vdf, 2008.
- Building Ontologies with Basic Formal Ontology , med Robert Arp och Andrew Spear, Cambridge, MA: MIT Press, 2015. Kinesisk översättning , publicerad av Peking Medical Publishing House i oktober 2020.
- Varför maskiner aldrig kommer att styra världen. Artificiell intelligens utan rädsla (med Jobst Landgrebe), Abingdon, Storbritannien: Routledge, 2022, ISBN 978-1-00-331010-5.