Франк ван Хармелен
 |
Франк ван Хармелен | |
|---|---|
 | |
| Рожденный | 1960 (63–64 года) |
| Альма-матер | Эдинбургский университет |
| Научная карьера | |
| Поля | Семантическая сеть [1] |
| Учреждения | Свободный университет, Амстердам |
| Диссертация | Об эффективности рассуждений на метауровне (1989) |
| Научные консультанты | Алан Банди [2] |
| Веб-сайт | www Твиттер |
Франк ван Хармелен (1960 г.р.) — голландский ученый-компьютерщик и профессор представления и рассуждения знаний на искусственного интеллекта факультете Свободного университета Амстердама . Был научным руководителем проекта LarKC (2008-2011). [3] «с целью разработать Большой коллайдер знаний, платформу для очень крупномасштабных рассуждений в семантической сети ». [4] [5] [6]
Биография
[ редактировать ]После изучения математики и информатики в Амстердаме Ван Хармелен перешёл на факультет искусственного интеллекта Эдинбургского университета , где в 1989 году ему была присуждена степень доктора философии за исследования в области рассуждений на метауровне . Находясь в Эдинбурге, он «совместно разработал набор инструментов на основе логики для экспертных систем и работал с Аланом Банди над планированием доказательств для индуктивного доказательства теорем». [2] [4]
После докторской диссертации он вернулся в Амстердам , где с 1990 по 1995 год работал в отделе SWI под руководством профессора Боба Вилинги над использованием отражения в экспертных системах , над формальными основами методологии CommonKADS для систем, основанных на знаниях. В 1995 году он присоединился к исследовательской группе искусственного интеллекта в Амстердамском свободном университете , где стал одним из руководителей проекта On-To-Knowledge, одного из первых проектов семантической сети. В 2002 году он был назначен профессором и возглавляет группу по представлению и рассуждению знаний. В настоящее время он является научным руководителем проекта LarKC, целью которого является разработка Большого коллайдера знаний, платформы для очень крупномасштабных рассуждений семантической сети . [4]
Ван Хармелен был избран членом Королевской Нидерландской академии искусств и наук в 2017 году. [7] [8]
В 2019 году Ван Хармелен получил грант Zwaartekracht от Министерства образования, культуры и науки Нидерландов для Центра гибридного интеллекта. [9]
Работа
[ редактировать ]Исследовательские интересы Ван Хармелена включают искусственный интеллект , представление знаний и семантическую сеть , приблизительное рассуждение и медицинские протоколы. Он был одним из соавторов языка веб-онтологии (OWL) и уровня вывода онтологий (OIL), а также опубликовал книги по метауровневому выводу, системам, основанным на знаниях, и семантической сети.
Публикации
[ редактировать ]Ван Хармелен опубликовал несколько книг и более 100 исследовательских работ. [6] Книги:
- 1989. Логическое представление знаний . С П. Джексоном и Х. Райхгельтом. MIT Press, Кембридж, Массачусетс, 1989. ISBN 0-262-10038-X .
- 1991. Системы вывода метауровня Ф. ван Хармелен. Заметки об исследованиях в области искусственного интеллекта. Питманн, Морган Кауфманн, Лондон, Сан-Матео, Калифорния, 1991 год. ISBN 1-55860-196-1
- 2003. На пути к семантической сети: управление знаниями на основе онтологий С Джоном Дэвисом и Дитером Фензелем (ред.) John Wiley & Sons, 2002, ISBN 0-470-84867-7
- 2004. Учебник по семантической сети (совместные информационные системы) . С Григорисом Антониу. МТИ Пресс. ISBN 0-262-01210-3
- 2004. Обмен информацией в семантической сети . С Хайнером Штукеншмидтом. Спрингер. ISBN 3-540-20594-2
- 2008. Справочник по представлению знаний . С В. Лифшицем и Б. Портером, Elsevier, 2008. ISBN 978-0-444-52211-5 .
Статьи, подборка:
- Винк, Дж.; Коппенс, PCJM; Ван Хармелен, ФА; Ван Воортуйсен, МЫ (1981). «Гибкая обработка данных для рутинных количественных анализов с использованием газового хроматографа-масс-спектрометра под компьютерным управлением» . Журнал автоматической химии . 3 (2): 85–88. дои : 10.1155/S1463924681000242 . ПМЦ 2547295 . ПМИД 18927785 .
- Ренардель Де Лавалетт, Греция; Грунбум, Р.; Роттердам, Э.; Ван Хармелен, Ф.; Тен Тейдже, А.; Де Геус, Ф. (1997). «Формализация поддержки принятия решений в анестезиологии». Искусственный интеллект в медицине . 11 (3): 189–214. CiteSeerX 10.1.1.78.2673 . дои : 10.1016/S0933-3657(97)00031-6 . ПМИД 9413606 .
- Воллебрегт, А.; Тен Тейдже, А.; Ван Хармелен, Ф.; Ван Дер Лей, Дж.; Моссевелд, М. (1999). «Исследование ПРОформы, методологии разработки клинических процедур». Искусственный интеллект в медицине . 17 (2): 195–221. CiteSeerX 10.1.1.27.2892 . дои : 10.1016/S0933-3657(99)00016-0 . ПМИД 10518051 .
- Короткий, М.; Мидделбург, Р.; Деккер, Х.; Ван Хармелен, Ф.; Ланкельма, Дж. (2004). «Инструмент для поиска PubMed на основе экспрессии генов путем объединения источников данных» (PDF) . Биоинформатика . 20 (12): 1980–1982. doi : 10.1093/биоинформатика/bth183 . ПМИД 15044238 .
- Бальзер, М.; Колтелл, О.; Ван Крооненборг, Дж.; Дуэлли, К.; Ван Хармелен, Ф.; Джовелл, А.; Лукас, П.; Маркос, М.; Микш, С. ; Рейф, В.; Розенбранд, К.; Сейфанг, А.; Тен Тейдже, А. (2004). «Протокурирование: поддержка разработки медицинских протоколов формальными методами». Исследования в области медицинских технологий и информатики . 101 : 103–107. ПМИД 15537209 .
- Тен Тейдже, А.; Маркос, М.; Бальсер, М.; Ван Крооненборг, Дж.; Дуэлли, К.; Ван Хармелен, Ф.; Лукас, П.; Микш, С. ; Рейф, В.; Розенбранд, К.; Сейфанг, А. (2006). «Совершенствование медицинских протоколов формальными методами». Искусственный интеллект в медицине . 36 (3): 193–209. CiteSeerX 10.1.1.71.3147 . дои : 10.1016/j.artmed.2005.10.006 . ПМИД 16376061 . S2CID 1938327 .
- Сербан, Р.; Тен Тейдже, А.; Ван Хармелен, Ф.; Маркос, М.; Поло-Конде, К. (2007). «Извлечение и использование лингвистических шаблонов для моделирования медицинских рекомендаций». Искусственный интеллект в медицине . 39 (2): 137–149. doi : 10.1016/j.artmed.2006.07.012 . ПМИД 16963241 .
- Грут, П.; Хоммерсом, А.; Лукас, PJF; Мерк, Р.Дж.; Тен Тейдже, А.; Ван Хармелен, Ф.; Сербан, Р. (2009). «Использование проверки моделей для критики на основе клинических рекомендаций». Искусственный интеллект в медицине . 46 (1): 19–36. doi : 10.1016/j.artmed.2008.07.007 . hdl : 2066/72379 . ПМИД 18824335 .
Ссылки
[ редактировать ]- ^ Хоррокс, И .; Патель-Шнайдер, Питер; ван Хармелен, Франк (2003). «От SHIQ и RDF до OWL: создание языка веб-онтологий» (PDF) . Веб-семантика: наука, сервисы и агенты во Всемирной паутине . 1 :7–26. CiteSeerX 10.1.1.2.7039 . дои : 10.1016/j.websem.2003.07.001 . S2CID 8277015 .
- ^ Перейти обратно: а б Франк ван Хармелен в проекте «Математическая генеалогия»
- ^ Проект ЛарКС
- ^ Перейти обратно: а б с Домашняя страница Франка ван Хармелена из Свободного университета Амстердама. Проверено 6 октября 2008 г.
- ^ Публикации Франка ван Хармелена, проиндексированные Google Scholar.
- ^ Перейти обратно: а б Франк ван Хармелен на DBLP библиографическом сервере
- ^ «KNAW kiest 26 nieuwe леден» (на голландском языке). Королевская Нидерландская академия искусств и наук. 10 мая 2017 г. Архивировано из оригинала 25 мая 2019 г. . Проверено 14 мая 2017 г.
- ^ «Франк ван Хармелен» . Королевская Нидерландская академия искусств и наук. Архивировано из оригинала 14 мая 2017 года.
- ^ «Гибридный разведывательный центр» (на голландском языке) . Проверено 21 мая 2022 г.
Внешние ссылки
[ редактировать ]- Интервью с Франком ван Хармеленом о семантической сети
- Блог, написанный Франком ван Хармеленом. Архивировано 15 июня 2008 г. в Wayback Machine.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1960 рождений
- Живые люди
- Выпускники Эдинбургского университета
- Исследователи искусственного интеллекта
- Голландские ученые-компьютерщики
- Члены Королевской Нидерландской академии искусств и наук
- Семантические веб-люди
- Выпускники Vrije Universiteit Amsterdam
- Академический состав Vrije Universiteit Amsterdam