WikiDer > Франк ван Хармелен

Этот биография живого человека слишком полагается на Рекомендации к основные источники. Пожалуйста, помогите, добавив вторичные или третичные источники. Спорный материал о живых людях, не имеющий или не имеющий источника необходимо немедленно удалить, особенно если потенциально клеветнический или вредно. (Сентябрь 2013) (Узнайте, как и когда удалить этот шаблон сообщения)

Франк ван Хармелен
Родившийся	1960 (59–60 лет)
Альма-матер	Эдинбургский университет
Научная карьера
Поля	Семантическая сеть[1]
Учреждения	Vrije Universiteit, Амстердам
Тезис	Об эффективности рассуждений на мета-уровне (1989)
Академические консультанты	Алан Банди[2]
Интернет сайт	www.cs.vu.nl/ ~ франк твиттер.com/ FrankVanHarmele

Франк ван Хармелен (1960 г.р.) голландец специалист в области информатики и профессор в представлении знаний и рассуждении в AI отдел в Vrije Universiteit Amsterdam. В настоящее время является научным руководителем проекта LarKC,^[3] "с целью разработки Large Knowledge Collider, платформы для очень крупномасштабных семантическая сеть рассуждения ".^[4][5][6]

биография

После изучения математики и информатики в Амстердаме Ван Хармелен перешел на факультет искусственного интеллекта Эдинбургский университет, где в 1989 г. он получил докторскую степень за исследования рассуждение на мета-уровне. Находясь в Эдинбурге, он «участвовал в разработке набора инструментов на основе логики для экспертных систем и работал с Алан Банди о планировании доказательства для индуктивного доказательства теорем ».^[2][4]

После докторской диссертации он вернулся в Амстердам где работал с 1990 по 1995 год на кафедре SWI под руководством профессора Боб Вилинга, об использовании отражения в экспертные системы, на формальных основах методологии CommonKADS для систем, основанных на знаниях. В 1995 году он присоединился к исследовательской группе ИИ в Vrije Universiteit Amsterdam, где он был одним из руководителей проекта On-To-Knowledge, одного из первых проектов Semantic Web. Он был назначен профессором в 2002 году и возглавляет Группу представления знаний и рассуждений. В настоящее время он является научным руководителем проекта LarKC, нацеленного на разработку Large Knowledge Collider, платформы для очень больших масштабов. семантическая сеть рассуждения.^[4]

Ван Хармелен был избран членом Королевская Нидерландская академия искусств и наук в 2017 году.^[7][8]

Работа

Научные интересы Ван Хармелена включают: искусственный интеллект, представление знаний и семантическая сеть, примерные рассуждения и медицинские протоколы. Он был одним из соавторов проекта Язык веб-онтологий (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. Учебник по семантической паутине (совместные информационные системы). С Григорисом Антониу. MIT Press. ISBN 0-262-01210-3
• 2004. Обмен информацией в семантической сети. С Хайнером Штукеншмидтом. Springer. ISBN 3-540-20594-2
• 2008. Справочник по представлению знаний. Совместно с В. Лифшицем и Б. Портером, Elsevier, 2008 г. ISBN 978-0-444-52211-5.

Статьи, подборка:

• Винк, Дж .; Koppens, P. C. J. M .; Van Harmelen, F.A .; Ван Воортуйсен, В. Э. (1981). «Гибкая обработка данных для рутинных количественных анализов с использованием газового хроматографа-масс-спектрометра под управлением компьютера». Журнал автоматической химии. 3 (2): 85–88. Дои:10.1155 / S1463924681000242. ЧВК 2547295. PMID 18927785.
• Renardel De Lavalette, G.R .; Groenboom, R .; Роттердам, Э .; Van Harmelen, F .; Ten Teije, A .; Де Геус, Ф. (1997). «Формализация поддержки принятия решений в анестезиологии». Искусственный интеллект в медицине. 11 (3): 189–214. CiteSeerX 10.1.1.78.2673. Дои:10.1016 / S0933-3657 (97) 00031-6. PMID 9413606.
• Vollebregt, A .; Ten Teije, A .; Van Harmelen, F .; Van Der Lei, J .; Моссевельд, М. (1999). «Исследование PROforma, методологии разработки клинических процедур». Искусственный интеллект в медицине. 17 (2): 195–221. CiteSeerX 10.1.1.27.2892. Дои:10.1016 / S0933-3657 (99) 00016-0. PMID 10518051.
• Короткий, М .; Middelburg, R .; Dekker, H .; Van Harmelen, F .; Ланкельма, Дж. (2004). «Инструмент для поиска PubMed на основе экспрессии генов путем объединения источников данных». Биоинформатика. 20 (12): 1980–1982. Дои:10.1093 / биоинформатика / bth183. PMID 15044238.
• Balser, M .; Coltell, O .; Van Croonenborg, J .; Duelli, C .; Van Harmelen, F .; Jovell, A .; Lucas, P .; Marcos, M .; Miksch, S .; Reif, W .; Rosenbrand, K .; Seyfang, A .; Тен Тейже, А. (2004). «Protocure: Поддержка разработки медицинских протоколов с помощью формальных методов». Исследования в области технологий здравоохранения и информатики. 101: 103–107. PMID 15537209.
• Ten Teije, A .; Marcos, M .; Balser, M .; Van Croonenborg, J .; Duelli, C .; Van Harmelen, F .; Lucas, P .; Miksch, S .; Reif, W .; Rosenbrand, K .; Сейфанг, А. (2006). «Улучшение медицинских протоколов формальными методами». Искусственный интеллект в медицине. 36 (3): 193–209. CiteSeerX 10.1.1.71.3147. Дои:10.1016 / j.artmed.2005.10.006. PMID 16376061.
• Serban, R .; Ten Teije, A .; Van Harmelen, F .; Marcos, M .; Поло-Конде, К. (2007). «Извлечение и использование лингвистических шаблонов для моделирования медицинских руководств». Искусственный интеллект в медицине. 39 (2): 137–149. Дои:10.1016 / j.artmed.2006.07.012. PMID 16963241.
• Groot, P .; Hommersom, A .; Лукас, П. Дж. Ф .; Merk, R.J .; Ten Teije, A .; Van Harmelen, F .; Сербан Р. (2009). «Использование проверки модели для критики на основе клинических руководств». Искусственный интеллект в медицине. 46 (1): 19–36. Дои:10.1016 / j.artmed.2008.07.007. PMID 18824335.

Рекомендации

внешняя ссылка

• Интервью с Фрэнком ван Хармеленом о семантической сети
• Блог Фрэнка ван Хармелена