Смит, Барри (онтолог)
Ба́рри Смит (англ. Barry Smith; род. 4 июня 1952, Бери, Большой Манчестер, Великобритания[1]) — англо-американский математик, философ и исследователь в области прикладной онтологии.
Общие сведения
| Барри Смит | |
|---|---|
| англ. Barry Smith | |
| Дата рождения | 4 июня 1952 (74 года) |
| Место рождения | |
| Страна | |
| Образование | |
| Род деятельности |
онтология философия медицинская информатика |
| Сайт | ontology.buffalo.edu/smi… |
Биография
С 1970 по 1973 год Смит изучал математику и философию в Оксфордском университете. В 1976 году он получил степень доктора философии в Манчестерском университете за диссертацию по онтологии и референции у Гуссерля и Фреге[2]. Научным руководителем диссертации был Вулф Мейс.
Среди аспирантов, работавших под руководством Мейса в Манчестере в то время, были Кевин Маллиган (Женева/Лугано) и Питер Саймонс (Тринити-колледж, Дублин). Они разделяли интерес Смита к аналитической метафизике и вкладу континентальных философов и логиков рубежа веков в центральные проблемы аналитической философии[3][4]. В 1979 году они совместно основали Семинар по австро-германской философии[5], который организовывал семинары и конференции, посвящённые работам ранних центральноевропейских философов от Больцано до Тарского и их влиянию на последующие поколения. Центральную роль в этом отношении сыграл вклад Гуссерля в формальную онтологию[6]. Родерик Чизхолм отмечает роль этих встреч в современной философии[7].
Карьера
Смит занимал академические должности в Шеффилдском университете, Манчестерском университете, Международной академии философии (Лихтенштейн), а с 1994 года — в Университете в Буффало[8]. В 2025 году Смит совместно с Джоном Беверли создал онлайн-программы магистратуры и докторантуры по прикладной онтологии[9]. Среди его студентов в Буффало были: Берит Брогаард, Лео Зайберт, Райан Риккуччи и Джон Беверли.
С 2002 по 2006 год Смит был директором Института формальной онтологии и медицинской информатики (IFOMIS), сначала в Лейпциге, а затем, с 2004 года, в Саарбрюккене[10].
В 2005 году Смит основал Национальный центр онтологических исследований (NCOR), под эгидой которого в 2006 году инициировал серию конференций «Онтология для разведывательного сообщества», впоследствии STIDS[11]. В 2009 году он основал Международную конференцию по биомедицинской онтологии (ICBO)[12][13].
С 1992 по 2016 год Смит был редактором журнала The Monist.
С 2016 года он работал редактором международного стандарта ISO/IEC 21838: Top Level Ontologies, части 1 и 2, которые были опубликованы ISO в 2021 году. Часть 1[14] определяет требования к онтологии верхнего уровня (то есть независимой от предметной области). Часть 2[15] посвящена Базовой формальной онтологии (BFO). В номере от 28 сентября 2022 года газета Frankfurter Allgemeine Zeitung называет BFO первым примером философской работы, принятой в качестве промышленного стандарта, описывая это как «небольшую сенсацию в истории науки»[16].
В течение своей карьеры Смит занимал должности приглашённого профессора в университетах Австрии, Финляндии, Мальты и Нидерландов; а также в Юго-западном медицинском центре Техасского университета; в Высшей школе социальных наук в Париже[17], и в Лаборатории прикладной онтологии в Падуе.
С 2019 года Смит работает приглашённым профессором в Университете итальянской Швейцарии[18].
Исследовательская деятельность
Исторические предпосылки работы в области онтологии
С начала своей карьеры Смит работал в области онтологии. Его интерес к этой сфере был вызван книгой «Время и модусы бытия»[19] польского философа Романа Ингардена. Сначала он сосредоточился на истории онтологии как философской дисциплины, уделяя особое внимание философам в традиции Брентано и Гуссерля, включая не только Ингардена, но и других учеников Гуссерля, таких как Адольф Райнах и Йоханнес Дауберт[20][21]. Особое внимание уделялось теории онтологической зависимости и отношений части и целого, предложенной Гуссерлем[22][23]. Эта теория применялась учениками Гуссерля, например, для понимания онтологии ментальных и лингвистических актов[24]. В 1984 году он стал соавтором статьи «Truth-Makers»[25], которая, как считается, «ввела идею истинности как вклад в корреспондентскую теорию истины»[26][27]. Это по-прежнему активная исследовательская программа на стыке логики, семантики и философской онтологии, основанная на новом понимании корреспондентской теории истины.
Геопространственная онтология
С середины 1990-х годов работа Смита в области онтологии оказала влияние на множество областей за пределами философии[28], начиная с 1995 года в сотрудничестве с Дэвидом Марком, одним из основателей геоинформатики (GIS). В связи с этим Смит ввёл идею фиатных объектов[29] для описания (часто прямоугольных) геопространственных сущностей, таких как почтовые округа и участки недвижимости, которые не отделены от своего окружения какой-либо физической прерывностью[30]. Эта идея была принята и в других областях[31][32][33].
Биомедицинская онтология
С 2000 года большая часть исследований Смита была сосредоточена на применении онтологии в медицинской информатике, где он работал над различными проектами, связанными с биомедицинскими терминологиями и электронными медицинскими картами[34]. Он является одним из основателей и координирующим редактором OBO Foundry[35], а также был членом Научно-консультативного совета Консорциума Gene Ontology (GO) и Ontology for Biomedical Investigations (OBI)[36]. Он участвует в разработке ряда биологических и биомедицинских онтологий, включая Protein Ontology[37], Plant Ontology[38] и других. В период с 2005 по 2015 год он был соруководителем Национального центра биомедицинской онтологии NIH[39], где отвечал за распространение передового опыта в области онтологии и предоставление возможностей обучения для биомедицинских онтологов[40]. С 2013 по 2018 год он руководил направлением онтологии в проекте ImmPort NIAID[41][42][43].
Социальная онтология
Смит также работает над онтологией социальной реальности, в частности в связи с работами Джона Сёрла[44]. Он был консультантом Эрнандо де Сото, директора Института свободы и демократии в Перу, по проектам, связанным с развитием прав собственности и бизнеса среди бедных слоёв населения в развивающихся странах[45]. Работа Де Сото основана на ключевой роли документов — документов о праве собственности, акций, страховых полисов — в обеспечении тех видов прав, к которым мы привыкли в развитых экономиках. Опираясь на работу Де Сото, Смит предложил теорию документальных актов, которая была бы параллельна теории речевых актов, разработанной Райнахом в 1913 году, а затем Дж. Л. Остином и Сёрлом в 1960-х годах[46][47].
Разведка, оборона и безопасность
С 2008 года Смит работает над онтологическими инициативами в военной и разведывательной сфере. В 2008–2010 годах он был техническим руководителем проекта, спонсируемого Центром передового опыта в области сетецентрической стратегии данных армии США (ANCDS CoE), по созданию семантического слоя Universal Core (UCore-SL). С 2010 года он работал над серией инициатив, спонсируемых Управлением разведки и информационной войны армии США (I2WD), по созданию основы для семантического улучшения разведывательных данных в облаке. С 2014 года он сотрудничает с инициативами Исследовательской лаборатории ВВС США по планированию, обеспечению выполнения миссий и управлению жизненным циклом. В связи с этим он работал над созданием онтологии для совместной военной доктрины[48], предназначенной для поддержки использования информационных технологий в совместных операциях путём обеспечения вычислительного доступа к содержанию публикаций совместной доктрины. Он также внёс вклад в экосистему онтологий космической области, созданную под руководством CUBRC в Буффало[49], и является одним из основателей Рабочей группы по онтологии Министерства обороны и разведывательного сообщества (DIOWG), ныне Рабочей группы по онтологии национальной безопасности (NSOWG).
В январе 2024 года директора по данным Управления директора национальной разведки (ODNI) и Главного управления по цифровым технологиям и искусственному интеллекту Министерства обороны (CDAO) подписали меморандум, устанавливающий BFO в качестве «базовых стандартов для разработки онтологий» в Министерстве обороны и разведывательном сообществе[50].
Industrial Ontologies Foundry
С 2016 года Смит участвует в инициативе Industrial Ontologies Foundry (IOF)[51], которая создаёт набор открытых онтологий для поддержки потребностей в данных производственной и инженерной отраслей таким образом, чтобы способствовать совместимости данных. Базовая формальная онтология, которая служит центром верхнего уровня IOF, применялась при разработке онтологий во многих областях инженерии[52], включая техническое обслуживание[53], цепочки поставок[54], жизненный цикл продукта[55] и аддитивное производство[56].
Искусственный интеллект и сложные системы
В 2022 году Смит и немецкий учёный Йобст Ландгребе стали соавторами книги «Почему машины никогда не будут править миром. Искусственный интеллект без страха»[57][58]. Симпозиум по книге был опубликован в журнале Cosmos + Taxis[59]. Второе, переработанное и дополненное издание вышло в мае 2025 года.
Признание
- 1984–85, 1994 — стипендиат Гумбольдта[60], Университет Эрлангена (1984–85), Гамбургский университет (1994), Констанцский университет (1994)
- 1999 — член Американского философского общества
- 2002 — премия Вольфганга Пауля, Фонд Александра фон Гумбольдта
- 2004 — выдающийся профессор SUNY[61]
- 2010 — первая премия Паоло Боцци по онтологии, Туринский университет[62]
- 2014 — член Американского колледжа медицинской информатики (FACMI)[63]
- 2025 — член Международной ассоциации онтологии и её приложений (FIAOA)[64]
Книги Лео Зайберта «Теория и практика онтологии» (2016)[65] и Глории Суньиги-и-Постиго и Джеральда Дж. Эриона «Барри Смит в себе» (2017)[66] представляют собой фестшрифты, посвящённые Смиту и содержащие исследования его работ коллегами и студентами.