Введение
Канадский компьютерный ученый и логик (1939-2002) Раймонд Райтер (англ. Raymond Reiter; 12 июня 1939 - 16 сентября 2002) - канадский компьютерный ученый и логик. Он был одним из основателей области немонотонного рассуждения с его работой по логике по умолчанию, диагностике на основе моделей, рассуждениям о закрытом мире и системам поддержания истины. Он также внес свой вклад в ситуационный анализ.
Raymond Reiter ('/r//aɪ//t//ər/; June 12, 1939 – September 16, 2002) was a Canadian computer scientist and logician. He was one of the founders of the field of non monotonic reasoning with his work on default logic, model based diagnosis, closed world reasoning, and truth maintenance systems. He also contributed to the situation calculus.
Награды и почести
Он был членом Ассоциации вычислительных машин (ACM), членом AAAI и членом Королевского общества Канады. Он получил награду IJCAI за исследовательские достижения в 1993 году.
Публикации
Р. Райтер (1978). В закрытых базах данных. В H. Gallaire и J. Minker, редакторы, логика и базы данных, страницы 119 140. Пленум, Нью-Йорк. Р. Райтер (1980). Логика для рассуждений по умолчанию. Искусственный интеллект, 13:81 132. Р. Райтер (1987). Теория диагностики с первых принципов. Искусственный интеллект, 32:57 95. Р. Райтер (1991). Проблема рамки в ситуационном исчислении: простое решение (иногда) и результат полноты для целевой регрессии. В Владимир Лифшиц, редактор, Искусственный интеллект и математическая теория вычислений: Документы в честь Джона Маккарти, страницы 359380. Академическая Пресс, Нью-Йорк. R. Reiter (2001) Знание в действии: логические основы для определения и реализации динамических систем (448 с.). MIT Press, Кембридж, Массачусетс и Лондон, Англия. Р. Райтер и Дж. де Клер (1987). Основы систем поддержания правды, основанных на допущениях: предварительный доклад. В работе шестой Национальной конференции по искусственному интеллекту (AAAI'87), стр. 183188. H. Levesque, F. Pirri и R. Reiter (1998). Основы ситуационного исчисления Электронные транзакции по искусственному интеллекту, 2{\displaystyle 3} , 4{\displaystyle 4} , 159 178. Ф. Пири и Р. Райтер (1999). Некоторые вклады в метатеорию Журнала об оценке ситуации ACM, 46(3):325361.