Раймонд Рейтер
Раймонд Рейтер | |
|---|---|
| Рожденный | 12 июня 1939 г. |
| Умер | 16 сентября 2002 г. (63 года) |
| Альма-матер | Мичиганский университет (доктор философии) |
| Награды | Член ACM Сотрудник АААИ Премия IJCAI за выдающиеся достижения в области исследований |
| Научная карьера | |
| Поля | Немонотонная логика |
| Учреждения | Университет Торонто |
| Диссертация | Исследование модели параллельных вычислений (1967) |
| Докторантура | Харви Гарнер Ричард М. Карп [1] |
| Докторанты | Шейла Макилрейт [1] [2] |
Раймонд Рейтер FRSC ( / ˈ r aɪ t ər / ; 12 июня 1939 — 16 сентября 2002) — канадский учёный-компьютерщик и логик . Он был одним из основателей области немонотонных рассуждений , работая над логикой по умолчанию , диагностикой на основе моделей , рассуждениями в закрытом мире и системами поддержания истины . Он также внес свой вклад в расчет ситуации . [3] [1] [4] [5]
Награды и почести [ править ]
Он был членом Ассоциации вычислительной техники (ACM), членом AAAI и членом Королевского общества Канады . В 1993 году он выиграл премию IJCAI за выдающиеся достижения в области исследований .
Публикации [ править ]
- Р. Рейтер (1978). О закрытых мировых базах данных. В книге Х. Галлера и Дж. Минкера, редакторов журнала «Логика и базы данных» , страницы 119–140. Пленум., Нью-Йорк.
- Р. Рейтер (1980). Логика рассуждений по умолчанию. Искусственный интеллект , 13:81-132.
- Р. Рейтер (1987). Теория диагностики из первых принципов. Искусственный интеллект , 32:57-95.
- Р. Рейтер (1991). Проблема фрейма в ситуационном исчислении: простое решение (иногда) и результат полноты целевой регрессии. Владимир Лифшиц, редактор журнала « Искусственный интеллект и математическая теория вычислений: статьи в честь Джона Маккарти» , страницы 359–380. Академик Пресс, Нью-Йорк.
- Р. Рейтер (2001) Знания в действии: логические основы для определения и реализации динамических систем (448 стр.). MIT Press, Кембридж, Массачусетс и Лондон, Англия.
- Р. Рейтер и Дж. де Клеер (1987). Основы систем поддержания истины, основанных на предположениях: предварительный отчет. В материалах Шестой национальной конференции по искусственному интеллекту (AAAI'87) , страницы 183–188.
- Х. Левеск, Ф. Пирри и Р. Рейтер (1998). Основы ситуационного исчисления Электронные транзакции по искусственному интеллекту , 2 (3–4): 159–178.
- Ф. Пирри и Р. Рейтер (1999). Некоторые вклады в метатеорию журнала Situation Calculus Journal of the ACM , 46(3):325–361. дои : 10.1145/316542.316545
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б с Раймонд Райтер в проекте «Математическая генеалогия»
- ^ Макилрайт, Шейла Энн (1997). К формальному описанию решения диагностических задач . utoronto.ca (кандидатская диссертация). hdl : 1807/10895 . OCLC 46561408 .
- ^ Раймонд Рейтер на DBLP библиографическом сервере
- ^ In Memoriam - Раймонд Рейтер, Джек Минкер
- ^ Памяти Рэя Рейтера (1939-2002)
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
   | Эта биографическая статья о канадском компьютерном специалисте незавершена . Вы можете помочь Википедии, расширив ее . |
Категории :
- Канадские исследователи искусственного интеллекта
- Канадские ученые-компьютерщики
- Члены Ассоциации по развитию искусственного интеллекта
- 1997 г. Члены Ассоциации вычислительной техники.
- Члены Королевского общества Канады
- 1939 рождений
- 2002 смертей
- Выпускники Мичиганского университета
- Незавершенные статьи о канадских компьютерных специалистах