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