Раймонд Рейтер

Канадский учёный-компьютерщик и логик (1939–2002)

Рэймонд Рейтер 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

Ссылки

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