ريموند رايتر

كان ريموند رايتر، الحاصل على زمالة الجمعية الملكية الكندية ( 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. دار النشر الأكاديمية، نيويورك.
• ر. رايتر (2001) المعرفة في العمل: الأسس المنطقية لتحديد وتنفيذ الأنظمة الديناميكية (448 صفحة). مطبعة معهد ماساتشوستس للتكنولوجيا، كامبريدج، ماساتشوستس ولندن، إنجلترا.
• ر. رايتر وج. دي كلير (1987). أسس أنظمة صيانة الحقيقة القائمة على الافتراضات: تقرير أولي. في وقائع المؤتمر الوطني السادس حول الذكاء الاصطناعي (AAAI'87) ، الصفحات 183-188.
• H. Levesque, F. Pirri, and R. Reiter (1998). Foundations for the Wisty calculus Electronic Transactions on Artificial Intelligence , 2(3–4):159-178.
• ف. بيري و ر. رايتر (1999). بعض المساهمات في النظرية الفوقية لحساب المواقف. مجلة ACM ، 46(3): 325-361. doi : 10.1145/316542.316545