Раймонд Рейтер - Raymond Reiter

Раймонд Рейтер FRSC
Родился	(1939-06-12)12 июня 1939 г.
Умер	16 сентября 2002 г.(2002-09-16) (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

использованная литература

1. Раймонд Рейтер на Проект "Математическая генеалогия"
2. Макилрайт, Шейла Энн (1997). К формальному отчету о решении диагностических проблем. utoronto.ca (Кандидатская диссертация). HDL:1807/10895. OCLC  46561408.
3. Раймонд Рейтер в DBLP Сервер библиографии
4. Памяти - Раймонд Рейтер, Джек Минкер
5. Памяти Рэя Рейтера (1939-2002)