Ринеке Вербрюгге

Ринеке Вербрюгге
Рожденный	( 1965-03-12 ) 12 марта 1965 г. Амстердам
Гражданство	Голландский
Альма-матер	Амстердамский университет
Научная карьера
Поля	Математика , Логика , Искусственный интеллект
Диссертация	Эффективная метаматематика   (1993)
Докторантура	Дик де Йонг , Энн Трулстра , Альберт Виссер

Лаурина Кристина (Ринеке) Вербрюгге (родилась 12 марта 1965 года в Амстердаме ) — голландский логик и ученый-компьютерщик, известная своими работами в области логики интерпретируемости и логики доказуемости . Она защитила докторскую диссертацию в Амстердамском университете в 1993 году под руководством Дика де Йонга , Анны Трулстра и Альберта Виссера.

Она возглавляет кафедру логики и познания в Институте математики, информатики и искусственного интеллекта имени Бернулли при Гронингенском университете , где с 2002 года возглавляет рабочую группу по мультиагентным системам. Она особенно известна своей работой, связывающей формальную логику с когнитивной психологией и психологией развития, а также ролью логики в объяснении социального поведения.

С 2005 по 2021 год она была президентом Голландской ассоциации логики и философии точных наук (VvL; Голландская ассоциация логики и философии точных наук). В 2021 году она была избрана членом Королевской Нидерландской академии искусств и наук (KNAW). Вербрюгге — заместитель редактора журнала Logic, Language and Information .

Избранные публикации

• Фрэнк Дигнум, Барбара Дунин-Кеплич, Ринеке Вербрюгге, «Теория агентов для формирования команды посредством диалога» Международный семинар по теориям агентов, архитектуре и языкам (2000: 150–166.
• Фрэнк Дигнум, Барбара Дунин-Кеплич, Ринеке Вербрюгге, «Создание коллективного намерения посредством диалога», Логический журнал IGPL, 9 вып. 2 (2001): 289–304.
• Барбара Дунин-Кеплич, Ринеке Вербрюгге, « Командная работа в многоагентных системах: формальный подход » (Wiley 2011)
• Барбара Дунин-Кеплич, Ринеке Вербрюгге, «Коллективные намерения», Fundamenta Informaticae 51, № 3 (2002): 271–295.
• Лисбет Флоббе, Ринеке Вербрюгге, Петра Хендрикс, Ирен Кремер, «Детское применение теории разума в рассуждениях и языке», Журнал логики, языка и информации, 17 вып. 4 (2008): 417–442.
• Ринеке Вербрюгге, «Логика и социальное познание», Журнал философской логики 38, вып. 6 (2009): 649–680.
• Ринеке Вербрюгге, «Логика доказуемости», Стэнфордская энциклопедия философии (выпуск осенью 2017 г.), Эдвард Н. Залта (редактор), URL = < https://plato.stanford.edu/archives/fall2017/entries/logic-provability/ >.