Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Вероника Даль
Декабрь 2020 Interview.png
Родившийся
Аргентина
ГражданствоАргентинский / канадский
Альма-матерUniversidad de Buenos Aires
Университет Экс-Марсель II
ИзвестенЛогическое программирование
НаградыОснователь логического программирования ( ALP 1997)
Научная карьера
ПоляИнформатика
Биоинформатика
Когнитивная наука
УчрежденияУниверситет Саймона Фрейзера
ТезисUn systeme deductif d'interrogation de banques de donnees en espagnol  (1977)
ДокторантАлен Колмерауэр

Verónica Dahl является аргентинским / канадским ученым , который признан одним из 15 основателей области логического программирования . [1]

Ранняя жизнь [ править ]

Даль учился в колледже Университета Буэнос-Айреса и окончил его со степенью в области компьютерных наук в 1974 году. [2] [3] По мере усиления политического конфликта в Аргентине Даль посещал аспирантуру во Франции. В 1977 году она была первым выпускником Университета Экс-Марсель, получившим докторскую степень в области искусственного интеллекта . [3]

Карьера [ править ]

Участвуя в исследованиях для получения докторской степени, Даль стала пионером в области логического программирования , разработав как первую систему базы данных логического программирования, так и интерфейс (также запрограммированный логикой), чтобы консультироваться с ней на человеческом языке (испанском). [3] Исследования и методологии Даля стали мультидисциплинарными, включая вычислительную лингвистику, вычислительную молекулярную биологию и искусственный интеллект. [4] В 1982 году она стала адъюнкт-профессором Университета Саймона Фрейзера , а в 1991 году стала там профессором [2].В 1996 году она была отмечена Ассоциацией логического программирования как одна из 15 основателей области логического программирования, а также стала пионером в области логических грамматик и правил обработки ограничений.

Даль - женщина-пионер в области, где доминируют мужчины. Она боролась с гендерным неравенством, когда была профессором Университета Саймона Фрейзера , как посредством наставничества и ролевого моделирования, так и посредством конкретных действий. После того, как Университет Саймона Фрейзера отказался возместить ей 17 долларов на расходы по уходу за ребенком, когда она выступала с гостевой речью в Виктории, куда она ехала со своим грудным ребенком, она сначала пошла в свой отдел, а затем в Совет естественных наук и технических исследований Канады (NSERC. ) с ее протестом, который закончился тем, что NSERC изменило свою политику, сделав уход за детьми покрываемым расходом для медсестер-исследователей, которых они финансировали. [3]Она предложила и активно продвигала услуги по уходу за детьми на конференциях по логическому программированию, пока это не было официально принято в их конституции, и теперь регулярно предлагается как результат. [3] Она также добилась изменения в законодательстве СФУ, когда это привело к тому, что ее аспирант был отсрочен из-за задержек, вызванных опасными для жизни заболеваниями после рождения близнецов.

Она разработала множество международных исследовательских проектов и сотрудничала, в первую очередь с Данией, Испанией, Португалией, Германией и Францией, а также работала с IBM , Vancouver Software Labs, International Artificial Intelligence. Работая с IBM, она получила рекордный исследовательский контракт. Она занимала пост президента Ассоциации логического программирования с 2001 по 2005 год. Она была удостоена престижной награды Marie Curie Chair of Excellence 2008-2011 от Европейской комиссии за новаторскую работу в области решения ограничений и обработки языков для биоинформатики. В 2012 году она оставила должность профессора Университета Саймона Фрейзера.чтобы сосредоточиться на исследованиях. С 2013 года СФУ присвоила ей пожизненный статус почетного профессора. Ее исследовательская программа продолжается при финансировании NSERC, а также через ее собственную компанию по искусственному интеллекту, Regenerative AI, и она является членом Научно-консультативного совета IMDEA Software. Она совмещает свою научную деятельность с артистической, изучает музыку, театр и танцы, а также регулярно выступает в качестве певицы и гитариста в Ванкувере. [2] [3]

Исследование [ править ]

Исследования Даля направлены на «преодоление разрыва между формальными и гуманитарными науками и достижение более человечного общения с компьютерами». Таким образом, он многогранен, но всегда вращается вокруг основных воплощений логического программирования, которое она помогла пионером: логического программирования, программирования на основе ограничений и логических грамматик. Она также включила неклассические возможности рассуждений в Prolog, Hyprolog и CHRG. Исследования Даля оказали теоретическое и практическое влияние на логику, лингвистику, вычислительный интеллект, интернет-программирование, виртуальные миры и молекулярную биологию. [2]

Ее работа по обнаружению сигнатурных олигонуклеотидов , в результате которой программное обеспечение используется ежедневно в Agriculture and Agri-Food Canada, также использовалась для завершения валидации массива для всех видов Phytophthora, что оказало большое влияние на лесное хозяйство (поскольку один из видов - возбудитель внезапной гибели дуба, опустошающей Калифорнию), для морских наук (он использовался для мониторинга биоразнообразия на гавайских коралловых рифах), для энтомологии (для характеристики кусающихся мух) и для обнаружения мошеннических продаж рыбы. Ее настоящее исследование сосредоточено на введении грамматики для языков с ограниченными ресурсами, а также на солидарности и использовании ИИ в целях господства.

Наиболее важные научные публикации [ править ]

  1. Базы знаний со знанием языка и Всемирная паутина [2]
  2. Интеллектуальные методологии для наук о жизни, в частности молекулярной биологии [2]
  3. Свойства как ограничения - от анализа до когнитивного моделирования [2]
  4. Интеграция методологий высокого уровня в новый язык: HYPROLOG [2]

Почести и награды [ править ]

За свою карьеру Даль получила множество наград и наград. В 1994 году Даль получил премию Галуста Гюльбенкяна в области науки и технологий. В 1997 году она была названа одним из основателей логического программирования Ассоциацией логического программирования . В 2009 году она получила награду за лучшую перспективную работу на Третьей международной конференции по взаимодействию естественных и искусственных вычислений (2009). [5]

Книги [ править ]

  • (1989) Абрамсон, Х. и Даль, В. Логические грамматики . Springer.

Литературные произведения [ править ]

Проза [ править ]

  • (1999) Любовь скрывать, любовь изобретать . Первая премия в номинации «Проза» на литературном конкурсе имени Сесилии Ламонт. [6]
  • (2000) Объезд . Первая премия литературного конкурса «Преступление55». [6]
  • (2000) Случай одержимости . Первая премия в номинации «Проза» на литературном конкурсе имени Сесилии Ламонт. [6]

Поэзия [ править ]

  • (2000) Целостность . Финалист 11-го ежегодного конкурса поэтов Гильдии писателей «Надежда». [6]
  • (2000) Приливы жизни . Финалист поэтического конкурса "Миллениум 2000". [6]

См. Также [ править ]

  • Логическое программирование
  • Хронология женщин в науке

Ссылки [ править ]

  1. ^ "Ассоциация логического программирования" .
  2. ^ a b c d e f g h "Резюме - Вероника Даль" . Университет Саймона Фрейзера .
  3. ^ Б с д е е Миллар, Эрин. «Гендерное равенство ускользает от новаторских ученых» . Глобус и почта . Глобус и почта.
  4. ^ Даль, Вероника. «Решение ограничений и языковая обработка для биоинформатики - трехсторонний междисциплинарный проект» . Исследовательская группа по математической лингвистике (GRLMC). Мария Кюри, председатель совета директоров Европейской комиссии
  5. ^ Методы и модели в искусственных и естественных вычислениях. Дань научному наследию профессора Миры
  6. ^ a b c d e "Двойная жизнь Вероники Даль" . Университет Саймона Фрейзера .