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

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

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

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

С 2005 по 2021 год она была президентом ( voorzitter ) Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen (VvL; Голландская ассоциация логики и философии точных наук). [3] В 2021 году она была избрана членом Королевской Нидерландской академии искусств и наук (KNAW). [4] Вербрюгге — заместитель редактора журнала Logic, Language and Information . [5]

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

  • Фрэнк Дигнум, Барбара Дунин-Кеплич, Ринеке Вербрюгге, «Теория агентов для формирования команды путем диалога» Международный семинар по теориям агентов, архитектурам и языкам (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/>.

Ссылки

  1. ^ "Лаурина Кристина / Ринеке Вербрюгге". Проект «Математическая генеалогия» . Проверено 26 августа 2022 г.
  2. ^ "Ринеке Вербрюгге". Подчеркните науку, Inc. Проверено 25 августа 2022 г.; «Ринеке (Лаурина Кристина) Вербрюгге». philpeople.org . Проверено 25 августа 2022 г.
  3. ^ "VvL. De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen" . Проверено 7 сентября 2022 г.
  4. ^ "Профессор доктор Ринеке Вербрюгге" . ЗНАЮ . Проверено 25 августа 2022 г.
  5. ^ "Журнал логики, языка и информации: редакционная коллегия". Springer-Verlag . Получено 25.08.2022 .
Взято с "https://en.wikipedia.org/w/index.php?title=Rineke_Verbrugge&oldid=1241464885"