روبرت كوالسكي

روبرت أنتوني كوالسكي (مواليد 15 مايو 1941) هو عالم منطق وعلوم حاسوب أمريكي بريطاني ، يهتم بحثه بتطوير نماذج حاسوبية موجهة نحو الإنسان ونماذج حاسوبية للتفكير البشري. ^{[ 1 ]} وقد أمضى معظم حياته المهنية في المملكة المتحدة.

تلقى تعليمه في جامعة شيكاغو ، وجامعة بريدجبورت (بكالوريوس في الرياضيات، 1963)، وجامعة ستانفورد (ماجستير في الرياضيات، 1966)، وجامعة وارسو ، وجامعة إدنبرة (دكتوراه في علوم الحاسوب ، 1970). ^{[ 1 ]}

كان زميلًا باحثًا في جامعة إدنبرة (1970-1975) وكان في قسم الحوسبة في إمبريال كوليدج لندن منذ عام 1975، وحصل على كرسي في المنطق الحسابي في عام 1982 وأصبح أستاذًا فخريًا في عام 1999. ^{[ 1 ]}

بدأ أبحاثه في مجال إثبات النظريات الآلي ، حيث طوّر كلاً من حل SL ^{[ 2 ]} مع دونالد كوهنر وإجراء إثبات الرسم البياني للاتصال. ^{[ 3 ]} كما طوّر حل SLD والتفسير الإجرائي لعبارات هورن ، ^{[ 4 ]} التي تُشكّل أساس الدلالات التشغيلية للاستدلال العكسي في البرمجة المنطقية . وبالتعاون مع مارتن فان إمدن ، ^{[ 5 ]} طوّر أيضاً النموذج الأدنى ودلالات النقطة الثابتة لعبارات هورن، والتي تُشكّل أساس الدلالات المنطقية للبرمجة المنطقية.

بالتعاون مع ماريك سيرجوت، طوّر كوالسكي حساب الأحداث ^{[ 6 ]} وتطبيق البرمجة المنطقية على الاستدلال القانوني . ^{[ 7 ] [ 8 ]} أشرف كوالسكي وسيرجوت معًا على إحدى أولى حالات استخدام نظام خبير قانوني . ^{[ 9 ]} بالتعاون مع فريبا صدري، طوّر نموذجًا للوكيل ^{[ 10 ] [ 11 ]} حيث تُمثَّل المعتقدات ببرامج منطقية، وتُمثَّل الأهداف بقيود النزاهة .

كان كوالسكي أحد مطوري البرمجة المنطقية الاستنباطية ، حيث تُعزز البرامج المنطقية بقيود التكامل وبمسندات غير مُعرَّفة وقابلة للاستنباط. ^{[ 12 ] [ 13 ]} وقد أدى هذا العمل إلى إثبات، بالتعاون مع فان مينه دونغ وفرانشيسكا توني، أن معظم منطق الاستدلال الافتراضي يُمكن اعتباره حالات خاصة من الاستدلال القائم على الافتراضات . ^{[ 14 ] [ 15 ]}

في كتابه الصادر عام 1979 بعنوان "المنطق لحل المشكلات" ^[ 16 ^{] ،} يجادل كوالسكي بأن الاستدلال المنطقي يوفر نموذجًا بسيطًا وفعالًا لحل المشكلات، يمكن استخدامه من قبل البشر والحواسيب على حد سواء. وفي كتابه الصادر عام 2011 بعنوان " المنطق الحسابي والتفكير البشري - كيف تصبح ذكيًا اصطناعيًا" ^{[ 17 ]} ، يجادل بأن استخدام المنطق الحسابي يمكن أن يساعد عامة الناس على تحسين مهاراتهم في التواصل باللغة الطبيعية، وأنه بالاقتران مع نظرية القرار ، يمكن استخدامه لتحسين قدراتهم العملية على حل المشكلات.

في عمل مشترك مع فريبا صدري، قام بتطوير منطق ولغة الكمبيوتر Logic Production Systems (LPS)، ^{[ 18 ] [ 19 ]} والتي تدمج الكثير من أعماله السابقة في مجال المنطق الحسابي.

في الآونة الأخيرة، انصبّ اهتمامه على تطوير اللغة الإنجليزية المنطقية (LE) كأداة لغوية مُبسّطة للغة برولوج وغيرها من لغات البرمجة المنطقية. ورغم أن كتابة اللغة الإنجليزية المنطقية تتطلب تدريبًا خاصًا، فإن فهمها لا يتطلب سوى معرفة أساسية باللغة الإنجليزية. يرى كوالسكي أن البنية النحوية المُقيّدة للغة الإنجليزية المنطقية تُشبه بنية القواعد واللوائح القانونية المُحكمة الصياغة، ^{[ 8 ]} وقد ساهم في تطوير العديد من تطبيقاتها لإعادة صياغة العقود القانونية. ^{[ 20 ] [ 21 ]} كما دعا إلى استخدامها في تعليم التفكير والكتابة المنطقية. ^{[ 22 ]}

يتمتع كوالسكي بتاريخ طويل من المشاركة في استخدام البرمجة المنطقية لتدريس المنطق في جميع المراحل التعليمية، بدءًا من دورة دروس عام 1978 لأطفال في الثانية عشرة من عمرهم في المدرسة الإعدادية التي تدرس فيها بناته. ^{[ 23 ] [ 24 ]} استخدمت هذه الدروس المبكرة صيغة سهلة الفهم للأطفال في لغة برولوج، مما ساهم في تطوير اللغة الإنجليزية المنطقية لاحقًا. وهو يواصل المساهمة في مهمة تعليم التفكير المنطقي من خلال البرمجة المنطقية بصفته الرئيس المشارك لمجموعة برولوج التعليمية. ^{[ 25 ]}

انتُخب كوالسكي زميلًا في الجمعية الأمريكية للذكاء الاصطناعي عام 1991، وفي اللجنة التنسيقية الأوروبية للذكاء الاصطناعي عام 1999، وفي جمعية آلات الحوسبة عام 2001. ^{[ 1 ]} وفي عام 2011، حصل على جائزة المؤتمر الدولي المشترك للذكاء الاصطناعي للتميز البحثي ، "لمساهماته في منطق تمثيل المعرفة وحل المشكلات، بما في ذلك عمله الرائد في إثبات النظريات الآلي والبرمجة المنطقية". ^{[ 26 ]} وفي عام 2012، حصل على جائزة الجمعية اليابانية لتعزيز العلوم للعلماء المتميزين للفترة 2012-2014. ^{[ 27 ]} في عام 2021، حصل على جائزة CodeX الافتتاحية لعمله مع فريبا صدري ومارك سيرجوت "تقديراً لجهودهم في تطبيق البرمجة المنطقية على صياغة وتحليل قانون الجنسية البريطانية . تُعدّ مقالة المؤلفين الرائدة، "قانون الجنسية البريطانية كبرنامج منطقي"، المنشورة عام 1986 في مجلة Communications of the ACM ، من أوائل وأشهر الأعمال في مجال القانون الحاسوبي، وإحدى أكثر الأوراق البحثية استشهاداً في هذا المجال." ^{[ 28 ]}

• المنطق لحل المشكلات ، نورث هولاند ، إلسيفير ، 1979. ISBN 978-0444003683
• المنطق الحسابي والتفكير البشري: كيف تصبح ذكيًا اصطناعيًا ، مطبعة جامعة كامبريدج ، 2011. ISBN 978-0521123365

• حساب الأحداث
• البرمجة المنطقية
• مقدمة

• الصفحة الرئيسية لروبرت كوالسكي
• سيرة
• السيرة الذاتية ( ملف PDF )
• مقال سيرة ذاتية
• مقابلة أبريل 2020
• هل يمكن للذكاء الاصطناعي أن يساعد البشر على أن يكونوا أكثر ذكاءً؟