Barry Smith (nacido el 4 de junio de 1952) es un académico que trabaja en el campo de la ontología aplicada . Smith es autor de más de 700 publicaciones científicas, incluidos 15 libros escritos o editados. Es uno de los filósofos vivos más citados. [1]
De 1970 a 1973, Smith estudió Matemáticas y Filosofía en la Universidad de Oxford . Obtuvo su doctorado en la Universidad de Manchester en 1976 por una disertación sobre ontología y referencia en Husserl y Frege . [2] La disertación fue supervisada por Wolfe Mays .
Entre la cohorte de estudiantes de posgrado supervisados por Mays en Manchester en ese momento estaban Kevin Mulligan (Ginebra/Lugano) y Peter Simons (Trinity College, Dublín). Ambos compartían con Smith un interés en la metafísica analítica y en las contribuciones de los filósofos y lógicos continentales de fin de siglo a cuestiones centrales de la filosofía analítica. [3] En 1979, juntos fundaron el Seminario de Filosofía Austro-Alemana, [4] que organizaba talleres y conferencias centrados en el trabajo de los primeros filósofos centroeuropeos desde Bolzano hasta Tarski y su impacto en las generaciones posteriores. Un papel central en este sentido lo desempeñaron las contribuciones de Husserl a la ontología formal. [5] Un partidario destacado fue Roderick Chisholm, quien en su Autobiografía intelectual publicada en 1997 [6] describe el "papel significativo" que desempeñaron estas reuniones en la filosofía contemporánea.
De 1976 a 1994, Smith ocupó cargos en la Universidad de Sheffield (1976-1979), la Universidad de Manchester (1979-1989) y la Academia Internacional de Filosofía de Liechtenstein (1989-1994). En 1994 se trasladó a la Universidad de Buffalo (Nueva York, EE. UU.), [7] donde actualmente es profesor distinguido Julian Park de Filosofía y profesor afiliado de Informática Biomédica y de Ciencias de la Computación e Ingeniería. Entre sus estudiantes en Buffalo se encuentran: Berit Brogaard , profesora de Filosofía de la Universidad de Miami; Bill Mandrick, director asociado (ontología) de RTX Corporation ; Neil Otte, ontólogo sénior del Laboratorio de Física Aplicada de la Universidad Johns Hopkins ; y Leo Zaibert, profesor Hirsch de Teoría Penal y Ética de la Universidad de Cambridge . [8]
De 2002 a 2006, Smith se desempeñó como director fundador del Instituto de Ontología Formal y Ciencias de la Información Médica (IFOMIS), inicialmente en Leipzig [9] y luego, a partir de 2004, en Saarbrücken .
En 2005, Smith fundó el Centro Nacional de Investigación Ontológica (NCOR), bajo cuyos auspicios inició en 2006 la serie de conferencias Ontología para la Comunidad de Inteligencia, posteriormente STIDS, [10] . En 2009 fundó la Conferencia Internacional sobre Ontología Biomédica (ICBO). [11] [12]
De 1992 a 2016, Smith se desempeñó como editor de The Monist: An International Quarterly Journal of General Philosophical Inquiry .
Desde 2016 se desempeñó como editor de la norma internacional ISO/IEC 21838: Top Level Ontologies, Partes 1 y 2, que fueron publicadas por ISO en 2021. La Parte 1 [13] especifica los requisitos para ser una ontología de nivel superior (es decir: neutral en cuanto al dominio). La Parte 2 [14] está dedicada a la Ontología Formal Básica (BFO). En septiembre de 2022, el Frankfurter Allgemeine Zeitung señaló el hecho de que BFO es el primer ejemplo de una pieza filosófica que ha sido elevada a la categoría de norma industrial, describiéndolo como una "pequeña sensación en la historia de la ciencia". [15]
Desde 2019, Smith se desempeña como profesor visitante en la Universidad de la Suiza Italiana . [16]
En 2024, Smith inició con John Beverley [17] programas de maestría y doctorado en ontología aplicada. La admisión inicial de más de 20 estudiantes se realizará en agosto de 2024.
Ontología
Desde el comienzo de su carrera, Smith ha trabajado en el campo de la ontología , inicialmente en la historia de la ontología como una subdisciplina de la filosofía en la tradición de Brentano , Husserl , Reinach e Ingarden . [18] Un enfoque especial se centró en la teoría de la dependencia ontológica y las relaciones parte-todo propuestas por Husserl, [19] [20] una teoría que fue aplicada por los estudiantes de Husserl, por ejemplo, a la comprensión de la ontología de los actos mentales y lingüísticos. [21] En 1984 publicó junto con Mulligan y Simons el artículo "Truth-Makers". [22] Este artículo ayudó a lanzar la teoría de los hacedores de verdad , [23] [24] [25] un programa de investigación aún activo en los límites de la lógica, la semántica y la ontología filosófica que se basa en una nueva comprensión de la teoría de la correspondencia de la verdad .
En la década de 1990, Smith trabajó en estrecha colaboración con David Mark , uno de los fundadores de la ciencia de la información geográfica (SIG), en iniciativas en el campo de la ontología geoespacial. En este sentido, introdujo la idea de objetos fiat [26] para describir entidades geoespaciales (a menudo rectangulares), como distritos postales y parcelas inmobiliarias, que no están separadas de su entorno por ninguna discontinuidad física. Esta terminología se ha establecido en la comunidad de SIG [27] y también se ha generalizado en otros campos [28] [29]
Desde el año 2000, gran parte de la investigación de Smith se ha centrado en la aplicación de la ontología en la informática biomédica , donde ha trabajado en una variedad de proyectos relacionados con terminologías biomédicas y registros médicos electrónicos. [30] Es editor coordinador fundador de OBO Foundry [31] y ha sido miembro del Consejo Asesor Científico del Consorcio de Ontología Génica (GO) y de Ontología para Investigaciones Biomédicas (OBI). [32] Contribuye al desarrollo de una serie de ontologías biológicas y biomédicas, incluidas la Ontología de Proteínas, [33] la Ontología de Plantas, [34] y otras. Entre 2005 y 2015 fue co-PI del Centro Nacional de Ontología Biomédica del NIH , [35] donde fue responsable especialmente de la difusión de las mejores prácticas en ontología y de brindar oportunidades de capacitación para ontólogos biomédicos. [36] Entre 2013 y 2018 se desempeñó como líder de ontología en el proyecto ImmPort del NIAID . [37] [38] [39]
Smith también trabaja en la ontología de la realidad social, particularmente en conexión con el trabajo de John Searle . [40] Se desempeña como consultor de Hernando de Soto , Director del Instituto para la Libertad y la Democracia en Perú, en proyectos relacionados con el avance de los derechos de propiedad y negocios entre los pobres en los países en desarrollo. [41] El trabajo de De Soto se basa en el papel crucial de los documentos (títulos de propiedad, acciones y participaciones, pólizas de seguro) para garantizar los tipos de derechos a los que estamos acostumbrados en las economías desarrolladas. Basándose en el trabajo de De Soto, Smith propuso una teoría de los actos documentales que sería paralela a la teoría de los actos de habla desarrollada por Reinach en 1913 y luego por JL Austin y Searle en la década de 1960. [42] [43]
Inteligencia, Defensa y Seguridad
Desde 2008, Smith ha trabajado en iniciativas de ontología en el campo militar y de inteligencia. En 2008-2010 se desempeñó como líder técnico en un proyecto patrocinado por el Centro de Excelencia de Estrategia de Datos Centrados en la Red del Ejército de EE. UU. (ANCDS CoE) para crear la Capa Semántica Central Universal (UCore-SL). Desde 2010 trabajó en una serie de iniciativas patrocinadas por la Dirección de Guerra de Información e Inteligencia del Ejército de EE. UU. (I2WD) para crear un marco para la mejora semántica de los datos de inteligencia en la nube. Desde 2014 es colaborador en iniciativas del Laboratorio de Investigación de la Fuerza Aérea de EE. UU. sobre planificación, garantía de misión y gestión del ciclo de vida. En este sentido, ha trabajado en la creación de una ontología para la doctrina militar conjunta , [44] diseñada para respaldar el uso de la tecnología de la información en operaciones conjuntas al permitir el acceso computacional a los contenidos de las publicaciones de la Doctrina Conjunta. [45] También ha contribuido al ecosistema de Ontologías del Dominio Espacial creado bajo la dirección de CUBRC en Buffalo, [46] y es uno de los miembros fundadores del Grupo de Trabajo de Ontologías Comunitarias del Departamento de Defensa e Inteligencia (DIOWG).
En enero de 2024, los directores de datos de la Oficina del Director de Inteligencia Nacional (ODNI) y de la Oficina del Director de Inteligencia Artificial y Digital (CDAIO) del Departamento de Defensa firmaron un memorando que establece el BFO como marco de referencia para el desarrollo de ontología en el Departamento de Defensa y la Comunidad de Inteligencia. [47] [48]
Fundición de ontologías industriales
Desde 2016, Smith ha estado involucrado de manera central en la iniciativa Industrial Ontologies Foundry (IOF), [49] que está creando un conjunto de ontologías abiertas para respaldar las necesidades de datos de las industrias de fabricación e ingeniería de una manera que promoverá la interoperabilidad de datos. Basic Formal Ontology , que sirve como el centro de nivel superior de IOF, se ha aplicado en el desarrollo de ontologías en muchas áreas de ingeniería, [50] incluyendo mantenimiento, [51] cadena de suministro, [52] ciclo de vida del producto, [53] y fabricación aditiva. [54]
Inteligencia artificial y sistemas complejos
En 2022, Smith publicó junto con el científico alemán Jobst Landgrebe Por qué las máquinas nunca gobernarán el mundo. Inteligencia artificial sin miedo . [55] [56] El libro defiende la tesis de que existen límites estrictos a lo que la IA puede lograr. En el caso de la IA estocástica, los límites se basan en el hecho de que, para que un algoritmo estocástico funcione, se requieren datos de entrenamiento que sean representativos de los datos del dominio de destino. Se pueden lograr datos de entrenamiento que satisfagan este requisito en relación con sistemas simples. Sin embargo, cuando se trata de sistemas complejos [57] , como es el caso de todos los sistemas que involucran organismos, las características del dominio de destino siempre están cambiando de formas imprevisibles, y cada uno de esos cambios tiene el potencial de privar a los datos de entrenamiento de su representatividad. En el caso de la IA determinista, los problemas son similares, porque allí los modelos requieren regularidades muy estrictas de un tipo que generalmente no encontramos en sistemas complejos.
The Theory and Practice of Ontology (2016) [62] de Leo Zaibert y Barry Smith an sich (2017) [63] de Gloria Zúñiga y Postigo y Gerald J. Erion son Festschrifts dedicados a Smith que contienen estudios de su obra realizados por colegas y estudiantes.