WikiDer > Раймонд Рейтер
Raymond Reiter
Раймонд Рейтер | |
|---|---|
| Родился | 12 июня 1939 г. |
| Умер | 16 сентября 2002 г. (63 года) |
| Альма-матер | университет Мичигана (Кандидат наук) |
| Награды | Член ACM Член AAAI Премия IJCAI за научные достижения |
| Научная карьера | |
| Поля | Немонотонная логика |
| Учреждения | Университет Торонто |
| Тезис | Исследование модели для параллельных вычислений. (1967) |
| Докторант | Харви Гарнер Ричард М. Карп[1] |
| Докторанты | Шейла Макилрайт[1][2] |
Раймонд Рейтер FRSC (/ˈраɪтər/; 12 июня 1939 г. - 16 сентября 2002 г.) Канадский специалист в области информатики и логик. Он был одним из основоположников области немонотонное рассуждение с его работой над логика по умолчанию, диагностика на основе моделей, рассуждения о закрытом мире, и системы поддержания истины. Он также внес свой вклад в ситуационное исчисление.[3][1][4][5]
Награды и отличия
Он был Товарищ из Ассоциация вычислительной техники (ACM), Член AAAI, а Член Королевского общества Канады. Он выиграл Премия IJCAI за научные достижения в 1993 г.
Публикации
- Р. Рейтер (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). Некоторые вклады в метатеорию ситуационного исчисления Журнал ACM, 46(3):325–361. Дои:10.1145/316542.316545
использованная литература
- ^ а б c Раймонд Рейтер на Проект "Математическая генеалогия"
- ^ Макилрайт, Шейла Энн (1997). К формальному отчету о решении диагностических проблем. utoronto.ca (Кандидатская диссертация). HDL:1807/10895. OCLC 46561408.
- ^ Раймонд Рейтер в DBLP Сервер библиографии
- ^ Памяти - Раймонд Рейтер, Джек Минкер
- ^ Памяти Рэя Рейтера (1939-2002)
 .svg){kind=small}  | Эта биографическая статья, касающаяся канадского компьютерного специалиста, является заглушка. Вы можете помочь Википедии расширяя это. |