Кольмероэ, Ален

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Ален Кольмероэ

фр. Alain Colmerauer


Дата рождения
24 января 1941 года
Место рождения
Каркасон, Франция
Дата смерти
12 мая 2017 года
Место смерти
Марсель, Франция






Супруга
Колетт Курсаже
Дети
3


Ален Кольмероэ (фр. Alain Colmerauer; [Нет даты!]) — французский учёный-информатик. Создатель языка логического программирования Пролог.

Ранние годы[править]

Ален Кольмероэ родился в Каркасоне[1]. Окончил Национальный политехнический институт Гренобля и получил степень доктора философии в Ensimag в Гренобле[2].

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

С 1967 по 1970 год Кольмероэ работал доцентом в Монреальском университете[2], где создал Q-системы, один из первых лингвистических формализмов, использованных при разработке прототипа машинного перевода TAUM-METEO. Разработав Prolog III в 1984 году, он стал одним из главных основателей области логического программирования с ограничениями.

В 1970 году Кольмероэ стал доцентом Университета Экс-Марсель в Люмини. В 1979 году получил должность профессора. С 1993 по 1995 год руководил Laboratoire d'Informatique de Marseille (LIM), совместной лабораторией Национального центра научных исследований, Университета Прованса и Средиземноморского университета[2]. Несмотря на выход на пенсию в качестве почётного профессора в 2006 году[2], он оставался членом целевой группы по искусственному интеллекту в Люмини[3].

Кольмероэ получил награду от регионального совета Прованс — Альпы — Лазурный Берег, а в 1985 году — премию Мишеля Монпети от Французской академии наук[4]. В 1986 году правительство Франции сделало его кавалером ордена Почётного легиона[2]. В 1991 году он стал членом Американской ассоциации искусственного интеллекта[5], а в 1997 году Ассоциация логического программирования присвоила ему и четырнадцати другим избранным исследователям звание «Основатель логического программирования»[6]. В 2008 году он получил премию Ассоциации программирования в ограничениях за выдающиеся достижения в исследованиях[7]. Он также был членом-корреспондентом Французской академии наук в области математики[8].

Смерть[править]

Кольмероэ умер 12 мая 2017 года[2][9][10].

Премия Алена Кольмероэ[править]

Премия Алена Кольмероэ (Alain Colmerauer Prize)[11] организована Ассоциацией логического программирования. Премия присуждается за недавние достижения и практические успехи в вычислениях, вдохновлённых Прологом, в широком смысле, где фундаментальные, технологические и практические вклады имеют доказанную ценность или потенциал для будущего развития логического программирования. Вручение первой премии в 2022 году в сотрудничестве с Ассоциацией наследия Пролога[12] стало главным событием Года Пролога[13], посвящённого 50-летию Пролога и логического программирования.

Примечания[править]

  1. ↑ Colmerauer, Alain (1941-....). IdRef. Проверено 3 июня 2026.
  2. ↑ 2,0 2,1 2,2 2,3 2,4 2,5 In Memoriam: Alain Colmerauer. Association for Logic Programming (2017-05-15). Архивировано из первоисточника 8 апреля 2023.[недоступная ссылка] Проверено 18 мая 2017.
  3. ↑ Colmerauer, Alain.
  4. ↑ PRIX DE COMMISSIONS, La Vie des sciences, Bibliothèque nationale de France (1985 год).
  5. ↑ ELECTED AAAI FELLOWS. American Association of Artificial Intelligence. Проверено 3 июня 2026.
  6. ↑ ALP Awards | Association for Logic Programming (2013-04-13). Архивировано из первоисточника 13 апреля 2013. Проверено 8 июля 2023.
  7. ↑ Research Excellence Award. Association for Constraint Programming. Архивировано из первоисточника 24 мая 2017.[недоступная ссылка] Проверено 19 мая 2017.
  8. ↑ Alain Colmerauer. Académie des sciences. Архивировано из первоисточника 25 июля 2017.[недоступная ссылка] Проверено 19 мая 2017.
  9. ↑ In Memoriam Alain Colmerauer: 1941–2017. ACM. Проверено 3 июня 2026. — Согласно этому некрологу, Ален Кольмероэ умер 15 мая.
  10. ↑ ensimag.grenoble-inp.fr[недоступная ссылка (December 2025)] (на французском)
  11. ↑ The ALP Alain Colmerauer Prize. Association for Logic Programming. Проверено 3 июня 2026.
  12. ↑ Prolog Heritage. Prolog Heritage. Проверено 3 июня 2026.
  13. ↑ 2022: The Year of Prolog. Association for Logic Programming. Проверено 3 июня 2026.

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

Рувики

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Кольмероэ, Ален», расположенная по адресу:

—https://ru.ruwiki.ru/wiki/Кольмероэ,_Ален

Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий.

Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».

Источник — http://cyclowiki.org/w/index.php?title=Кольмероэ,_Ален&oldid=2659979