رونالد فاجين

📅 آخر تحديث: ٣ أغسطس ٢٠٢٦
✍️ نُشر في: ٣ أغسطس ٢٠٢٦
الموسوعة الحرة

رونالد فاجين (مواليد 1945) هو عالم رياضيات وعلوم حاسوب أمريكي ، وزميل في شركة آي بي إم للأبحاث في وادي السيليكون . وهو معروف بأعماله في نظرية قواعد البيانات ، ونظرية النماذج المحدودة ، والاستدلال حول المعرفة. [ 1 ]

سيرة

وُلد رون فاجين ونشأ في مدينة أوكلاهوما ، حيث التحق بمدرسة نورث ويست كلاسين الثانوية . وانتُخب لاحقًا لعضوية قاعة مشاهير نورث ويست كلاسين. أكمل دراسته الجامعية في كلية دارتموث . حصل فاجين على درجة الدكتوراه في الرياضيات من جامعة كاليفورنيا، بيركلي عام 1973، حيث عمل تحت إشراف روبرت فوغت .

انضم إلى قسم الأبحاث في شركة آي بي إم عام 1973، وقضى عامين في مركز توماس جيه واتسون للأبحاث ، ثم انتقل عام 1975 إلى ما يُعرف الآن باسم مركز أبحاث آي بي إم - وادي السيليكون في سان خوسيه، كاليفورنيا . وهو يقيم حاليًا في لوس جاتوس، كاليفورنيا .

وقد شغل منصب رئيس اللجنة البرنامجية لندوة ACM حول مبادئ أنظمة قواعد البيانات 1984، والجوانب النظرية للاستدلال حول المعرفة 1994، وندوة ACM حول نظرية الحوسبة 2005، والمؤتمر الدولي حول نظرية قواعد البيانات 2009.

حصل فاجين على العديد من الجوائز المهنية تقديرًا لإسهاماته. وهو عضو في الأكاديمية الوطنية للعلوم ، والأكاديمية الوطنية للهندسة ، والأكاديمية الأمريكية للفنون والعلوم ، والأكاديمية الوطنية للذكاء الاصطناعي . كما أنه زميل في شركة IBM ، وزميل في رابطة ACM ، وزميل في معهد مهندسي الكهرباء والإلكترونيات (IEEE) ، وزميل في الجمعية الأمريكية لتقدم العلوم ، وزميل في رابطة آسيا والمحيط الهادئ للذكاء الاصطناعي . وقد فازت إحدى أبحاثه [ 2 ] بجائزة غودل . وحصل على دكتوراه فخرية من جامعة باريس ، وشهادة بكالوريوس فخرية من جامعة كالابريا في إيطاليا. ومنحه معهد مهندسي الكهرباء والإلكترونيات جائزة IEEE W. Wallace McDowell وجائزة IEEE للإنجاز التقني [ 3 ] (المعروفة الآن باسم جائزة Edward J. McCluskey للإنجاز التقني [ 4 ] )؛ ومنحته رابطة ACM جائزة ACM SIGMOD Edgar F. Codd للابتكارات . منحت الجمعية الأوروبية لعلوم الحاسوب النظرية (بالتعاون مع مجموعة الاهتمام الخاصة بالمنطق والحوسبة التابعة لجمعية آلات الحوسبة، والجمعية الأوروبية لعلوم الحاسوب - قسم المنطق، وجمعية كورت غودل) ألونسو تشيرش، إلى جانب مؤلفين مشاركين في ورقتين بحثيتين له، [ 5 ] [ 6 ] جائزة ألونسو تشيرش للمنطق والحوسبة . كما منحته شركة آي بي إم ثماني جوائز آي بي إم للابتكار المتميز، وجائزتين إضافيتين من آي بي إم لإصدار براءات اختراع رئيسية، وثلاث جوائز آي بي إم للإنجاز التقني المتميز، وجائزتين من آي بي إم للشركات. وفاز بجوائز أفضل ورقة بحثية في المؤتمر الدولي المشترك للذكاء الاصطناعي عام 1985، وندوة جمعية آلات الحوسبة حول مبادئ أنظمة قواعد البيانات عام 2001، والمؤتمر الدولي لنظرية قواعد البيانات عام 2010، والمؤتمر الدولي لنظرية قواعد البيانات عام 2015. لقد فاز بجوائز اختبار الزمن لمدة 10 سنوات في ندوة ACM لعام 2011 حول مبادئ أنظمة قواعد البيانات، والمؤتمر الدولي لنظرية قواعد البيانات لعام 2013، وندوة ACM لعام 2014 حول مبادئ أنظمة قواعد البيانات.

عمل

نظرية فاجين

تنص نظرية فاجين ، التي أثبتها في أطروحته للدكتوراه، على أن منطق الرتبة الثانية الوجودي يتطابق مع فئة التعقيد NP، بمعنى أنه يمكن التعبير عن مسألة القرار بمنطق الرتبة الثانية الوجودي إذا وفقط إذا كان بالإمكان حلها بواسطة آلة تورينج غير حتمية في وقت متعدد الحدود. وقد ساهم هذا العمل في تأسيس مجال نظرية النماذج المحدودة . [ 7 ] [ 8 ]

مساهمات أخرى

ومن النتائج الأخرى التي أثبتها في أطروحته للدكتوراه أن منطق الرتبة الأولى له قانون الصفر والواحد، والذي ينص على أنه إذا كانت S جملة من الرتبة الأولى تحتوي فقط على رموز علائقية (بدون رموز دالة أو ثابتة)، فإن نسبة هياكل العقد n التي تحقق S تتقارب عندما يؤول n إلى اللانهاية، وفي الواقع تتقارب إلى 0 أو 1. [ 9 ] وقد أثبت غليبسكي وزملاؤه هذه النتيجة بشكل مستقل في وقت سابق (1969) في روسيا، [ 10 ] ببرهان مختلف تمامًا.

وهو معروف أيضاً بعمله على الأشكال الطبيعية العليا في نظرية قواعد البيانات ، وخاصة 4NF و 5NF و DK/NF .

إلى جانب نظرية فاجين، هناك مفاهيم أخرى سميت على اسم فاجين وهي "خوارزمية فاجين" لتجميع الدرجات، [ 11 ] و "معكوس فاجين" لتبادل البيانات، [ 12 ] و"ألعاب فاجين" [ 13 ] و"ألعاب أجتاي-فاجين" [ 14 ] لإثبات نتائج عدم قابلية التعبير في المنطق.

المنشورات

قام فاجين بتأليف أو المشاركة في تأليف العديد من المقالات [ 15 ] وكتاب:

  • رونالد فاجين، جوزيف واي. هالبرن، يورام موسى، وموشيه واي. فاردي. التفكير في المعرفة. مطبعة معهد ماساتشوستس للتكنولوجيا (1995). طبعة غلاف ورقي (2003).

مجموعة مختارة من المقالات:

  • رونالد فاجين. "الأطياف المعممة من الدرجة الأولى والمجموعات القابلة للتمييز في وقت متعدد الحدود". تعقيد الحساب، تحرير ر. كارب، وقائع SIAM-AMS، المجلد 7 (1974): 43-73.
  • رونالد فاجين، يورج نيفيرجيلت، نيكولاس جيه. بيبنجر، وإتش. ريموند سترونج. "التجزئة القابلة للتوسيع - طريقة وصول سريعة للملفات الديناميكية." معاملات ACM لأنظمة قواعد البيانات (TODS) 4.3 (1979): 315-344.
  • رونالد فاجين، وأمنون لوتيم ، وموني ناور. "خوارزميات التجميع الأمثل للبرمجيات الوسيطة". مجلة علوم الحاسوب والنظم 66 (2003): 614-656. (عدد خاص لأوراق مختارة من ندوة ACM لعام 2001 حول مبادئ أنظمة قواعد البيانات).
  • رونالد فاجين، فوكيون جي. كولايتيس ، رينيه جيه ميلر، ولوسيان بوبا. "تبادل البيانات: الدلالات والإجابة على الاستعلامات"، مجلة علوم الحاسوب النظرية 336 (2005): 89-124. (عدد خاص لأوراق مختارة من المؤتمر الدولي لنظرية قواعد البيانات لعام 2003).

مراجع

  1. ↑ رونالد فاجين، جوزيف واي هالبرن، يورام موسى، وموشيه واي فاردي، التفكير في المعرفة، مطبعة معهد ماساتشوستس للتكنولوجيا، 1995. طبعة الغلاف الورقي، 2003.
  2. ↑ رونالد فاجين، وأمنون لوتيم، وموني ناور، "خوارزميات التجميع الأمثل للبرمجيات الوسيطة". مجلة علوم الحاسوب والنظم 66 (2003): 614-656. نُشر ملخص موسع في وقائع ندوة ACM لعام 2001 حول مبادئ أنظمة قواعد البيانات، الصفحات 102-113.
  3. ↑ جمعية مهندسي الكهرباء والإلكترونيات (IEEE) تعلن عن الفائزين التقنيين لعام 2011
  4. ↑ جائزة إدوارد جيه ماكلوسكي للإنجاز التقني
  5. ↑ رونالد فاجين، فوكيون كولايتيس، رينيه جيه ميلر، ولوسيان بوبا، "تبادل البيانات: الدلالات والإجابة على الاستعلامات"، علوم الحاسوب النظرية 336 (2005): 89-124. (عدد خاص لأوراق مختارة من المؤتمر الدولي لنظرية قواعد البيانات لعام 2003).
  6. ↑ رونالد فاجين، فوكيون جي. كولايتيس، لوسيان بوبا، ووانغ-تشيو تان، "تكوين خرائط المخططات: الاعتمادات من الدرجة الثانية للإنقاذ"، معاملات ACM لأنظمة قواعد البيانات 30، 4 (ديسمبر 2005)، ص 994-1055. (عدد خاص لأوراق مختارة من مؤتمر ACM SIGMOD/PODS لعام 2004).
  7. ↑ نيل إيمرمان ، التعقيد الوصفي . سبرينغر-فيرلاغ، 1999.
  8. ↑ ليونيد ليبكين ، عناصر نظرية النموذج المحدود. سبرينغر 2004. ISBN 978-3-540-21202-7.
  9. ↑ رونالد فاجين: "الاحتمالات على النماذج المحدودة". مجلة المنطق الرمزي، 41(1):50-58، 1976
  10. ^ جليبسكي، واي في؛ كوجان، دي. ليوجونكي، MI؛ تالانوف، فيرجينيا (1969). “نطاق ودرجة إمكانية تحقيق الصيغ في حساب التفاضل والتكامل المسند المقيد”. كيبرنتيكا . 5 (2): 17-28 . دوى : 10.1007 / bf01071084 . S2CID 121409759 . 
  11. ↑ رونالد فاجين. "دمج المعلومات الضبابية من أنظمة متعددة." مجلة علوم الحاسوب والأنظمة 58 (1999): 83-99. (عدد خاص لأوراق مختارة من ندوة ACM لعام 1996 حول مبادئ أنظمة قواعد البيانات).
  12. ↑ رونالد فاجين، "عكس تعيينات المخططات". معاملات ACM لأنظمة قواعد البيانات 32، 4، نوفمبر 2007. (عدد خاص لأوراق مختارة من ندوة ACM لعام 2006 حول مبادئ أنظمة قواعد البيانات.)
  13. ^ رونالد فاجن، “الأطياف المعممة الأحادية”. زيتشر. و. الرياضيات. Logik und Grundlagen د. الرياضيات. 21، 1975، ص 89-96.
  14. ↑ ميكلوس أجتاي ورونالد فاجين، "الوصول أصعب في الرسوم البيانية الموجهة منه في الرسوم البيانية غير الموجهة المحدودة". مجلة المنطق الرمزي 55، 1، مارس 1990، ص 113-150. نُشرت نسخة أولية في وقائع الندوة التاسعة والعشرين لمعهد مهندسي الكهرباء والإلكترونيات حول أسس علوم الحاسوب، 1988، ص 358-367.
  15. ↑ منشورات رونالد فاجين المفهرسة بواسطة جوجل سكولار