Раймонд Рейтер
Раймонд Рейтер | |
|---|---|
| Рожденный | ( 1939-06-12 )12 июня 1939 г. |
| Умер | 16 сентября 2002 г. (16.09.2002)(63 года) |
| Альма-матер | Мичиганский университет (доктор философии) |
| Награды | Член ACM, член AAAI, премия IJCAI за выдающиеся научные достижения |
| Научная карьера | |
| Поля | Немонотонная логика |
| Учреждения | Университет Торонто |
| Тезис | Исследование модели параллельных вычислений (1967) |
| научный руководитель | Харви Гарнер Ричард М. Карп [1] |
| Докторанты | Шейла Макилрейт [1] [2] |
Рэймонд Рейтер FRSC ( / ˈ r aɪ t ər / ; 12 июня 1939 — 16 сентября 2002) был канадским учёным-компьютерщиком и логиком . Он был одним из основателей области немонотонных рассуждений с его работами по логике по умолчанию , диагностике на основе моделей , рассуждениям в замкнутом мире и системам поддержания истинности . Он также внёс вклад в ситуационное исчисление . [3] [1] [4] [5]
Награды и почести
Он был членом Ассоциации вычислительной техники (ACM), членом AAAI и членом Королевского общества Канады . Он выиграл премию IJCAI за выдающиеся научные достижения в 1993 году.
Публикации
- Р. Рейтер (1978). О закрытых мировых базах данных. В H. Gallaire и J. Minker, редакторы, Logic and Data Bases , страницы 119–140. Plenum., Нью-Йорк.
- Р. Рейтер (1980). Логика для рассуждений по умолчанию. Искусственный интеллект , 13:81-132.
- Р. Рейтер (1987). Теория диагностики из первых принципов. Искусственный интеллект , 32:57-95.
- Р. Рейтер (1991). Проблема фрейма в ситуационном исчислении: простое решение (иногда) и результат полноты для целевой регрессии. В книге Владимира Лифшица, редактора, Искусственный интеллект и математическая теория вычислений: статьи в честь Джона Маккарти , страницы 359–380. Academic Press, Нью-Йорк.
- Р. Рейтер (2001) Знание в действии: логические основы для спецификации и реализации динамических систем (448 стр.). Издательство MIT, Кембридж, Массачусетс и Лондон, Англия.
- Р. Рейтер и Дж. де Клер (1987). Основы систем поддержания истины, основанных на предположениях: Предварительный отчет. В трудах Шестой национальной конференции по искусственному интеллекту (AAAI'87) , страницы 183–188.
- H. Levesque, F. Pirri и R. Reiter (1998). Основы ситуационного исчисления Electronic Transactions on Artificial Intelligence , 2(3–4):159-178.
- Ф. Пирри и Р. Рейтер (1999). Некоторые вклады в метатеорию ситуационного исчисления Журнал ACM , 46(3):325–361. doi :10.1145/316542.316545
Ссылки
- ^ abc Рэймонд Рейтер в проекте «Генеалогия математики»
- ^ Макилрайт, Шейла Энн (1997). К формальному отчету о решении диагностических проблем. utoronto.ca (диссертация на степень доктора философии). hdl :1807/10895. OCLC 46561408.
- ^ Рэймонд Рейтер на библиографическом сервере DBLP
- ↑ Памяти Рэймонда Рейтера, Джек Минкер
- ↑ В память о Рэе Рейтере (1939-2002)
 .svg/1280px-Flag_of_Canada_(Pantone).svg.png)  | Эта биографическая статья, касающаяся канадского специалиста по компьютерам, является заглушкой . Вы можете помочь Википедии, расширив ее. |
.svg){kind=link}
