المنطق الحسابي

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

المنطق الحسابي هو استخدام المنطق لإجراء العمليات الحسابية أو التفكير فيها. وهو يرتبط بعلوم وهندسة الحاسوب ارتباطًا وثيقًا ، كما يرتبط المنطق الرياضي بالرياضيات، والمنطق الفلسفي بالفلسفة . وهو مصطلح بديل لمصطلح " المنطق في علوم الحاسوب ".

أصبح مصطلح "المنطق الحسابي" مرتبطًا أيضًا ببرمجة المنطق ، نظرًا لأن معظم الأعمال المبكرة في برمجة المنطق في أوائل سبعينيات القرن الماضي جرت في قسم المنطق الحسابي في إدنبرة. وأُعيد استخدام المصطلح في أوائل تسعينيات القرن الماضي لوصف العمل على توسيع برمجة المنطق في مشروع البحث الأساسي للاتحاد الأوروبي "Compulog" وفي شبكة التميز المرتبطة به. وقد أعاد كريستوف آبت ، منسق مشروع البحث الأساسي Compulog-II، استخدام المصطلح وعمّمه عندما أسس مجلة ACM Transactions on Computational Logic في عام 2000 وأصبح أول رئيس تحرير لها.

برز مصطلح "المنطق الحسابي" مع تأسيس مجلة ACM Transactions on Computational Logic في عام 2000. [ 1 ] ومع ذلك، فقد تم تقديم المصطلح في وقت سابق بكثير، من قبل جيه إيه روبنسون في عام 1970. [ 2 ] تم استخدام التعبير في الفقرة الثانية مع حاشية تدعي أن "المنطق الحسابي" هو بالتأكيد عبارة أفضل من "إثبات النظريات"، لفرع الذكاء الاصطناعي الذي يتعامل مع كيفية جعل الآلات تقوم بالاستنتاج بكفاءة .

في عام ١٩٧٢، أُعيد تسمية وحدة ما وراء الرياضيات في جامعة إدنبرة إلى "قسم المنطق الحسابي" في كلية الذكاء الاصطناعي. [ ٣ ] ثم استخدم روبرت س. بوير وج . ستروثر مور ، اللذان عملا في القسم في أوائل سبعينيات القرن العشرين، هذا المصطلح لوصف عملهما في مجال التحقق من البرامج والاستدلال الآلي . كما أسسا شركة "المنطق الحسابي".

انظر أيضاً

مراجع

  1. ↑ http://tocl.acm.org الموقع الرسمي لمجلة ACM Transactions on Computational Logic
  2. ↑ روبنسون، جيه إيه (1970). "المنطق الحسابي: حساب التوحيد" . في: ميلتزر، برنارد؛ ميتشي، دونالد (محرران). وقائع ورشة العمل السنوية السادسة حول الذكاء الآلي . الذكاء الآلي. المجلد  6. مطبعة جامعة إدنبرة (نُشر عام 1971). الصفحات 63-72 . ISBN  085224195X.
  3. ↑ http://homepages.inf.ed.ac.uk/bundy/ موقعالبروفيسور آلان بوندي الإلكتروني

للمزيد من القراءة

  • دوف م. غاباي ؛ يورغ هـ. سيكمان؛ جون وودز، محرران (2014). دليل تاريخ المنطق . المجلد  9: المنطق الحسابي. إلسيفير. ISBN 978-0-08-093067-1.