レイモンド・ライター

レイモンド・ライターFRSC ( / ˈ raɪ t ər / ; 1939 年 6 月 12 日- 2002 年 9 月 16 日) は、カナダのコンピュータ科学者および論理学者でした。デフォルト論理、モデルベース診断、クローズドワールド推論、真理維持システムに関する研究により、非単調推論の分野の創始者の 1 人となりました。また、状況計算にも貢献しました。^{[ 3 ] [ 1 ] [ 4 ] [ 5 ]}

彼は、 Association for Computing Machinery (ACM)のフェロー、 AAAI のフェロー、およびカナダ王立協会のフェローであった。 1993年には、IJCAI 研究優秀賞を受賞した。

• R. Reiter (1978). 閉世界データベースについて。H. Gallaire および J. Minker 編『論理とデータベース』、119-140 ページ。Plenum、ニューヨーク。
• R. ライター (1980). デフォルト推論のための論理。人工知能、13:81-132。
• R. ライター (1987). 第一原理に基づく診断理論。人工知能、32:57-95。
• R. Reiter (1991). 状況計算におけるフレーム問題：簡単な解決策（場合による）と目標回帰の完全性結果。Vladimir Lifschitz 編『人工知能と計算の数学的理論：John McCarthy 教授記念論文集』、359-380 ページ。Academic Press、ニューヨーク。
• R. Reiter (2001) Knowledge in Action: Logical Foundations for Specificationing and Implementing Dynamical Systems (448 pp.). The MIT Press, Cambridge, Massachusetts and London, England.
• R. Reiter および J. de Kleer (1987). 仮定に基づく真理維持システムの基礎：予備報告。第 6 回全国人工知能会議 (AAAI'87) 議事録、183-188 ページ。
• H. Levesque、F. Pirri、R. Reiter (1998)。状況計算の基礎、Electronic Transactions on Artificial Intelligence、2(3–4):159-178。
• F. Pirri および R. Reiter (1999). 状況計算のメタ理論へのいくつかの貢献Journal of the ACM , 46(3):325–361. doi : 10.1145/316542.316545