كتب computers to help logicians
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
أجهزة الكمبيوتر لمساعدة المنطقيين (معلومة)
كانت أحد الاعمال الأولى لاستخدام مصطلح الذكاء الاصطناعي هو نظام المنطقي الذي قد طوره الباحث Allen Newell والسياسي JC Shaw والعالم Herbert Simon في عام 1956. أحد الأشياء التي يقوم بها المنطق ولقد أخذ مجموعة من العبارات في المنطق والاستنتاج (عبارات إضافية) التي يجب أن تكون صحيحة بموجب قوانين المنطق. على سبيل المثال، إذا اخذت نظامًا منطقيًا ينص على أن "ان جميع البشر بشرا" و "سقراط بشر" ، فإن الاستنتاج الصحيح هو "سقراط مميت". بالطبع هذا مثال سيء. وفي الأنظمة المنطقية الفعلية يمكن أن تكون العبارات كثيره ومعقدة. وقد أدرك موخرا أن هذا النوع من التحاليل يمكن أن تساعد بشكل كبير باستخدام أجهزة الكمبيوتر. وقد اثبت المنطق العمل النظري الفلاسفة لبرتراند راسل وألفريد نورث وايتهيد في عملهم الذي اثر على المنطق الرياضي المسمى Principia Mathematica . و بالإضافة إلى ذلك، لقد تم استخدام الأنظمة اللاحقة من قبل المنطقيين للتحقق منها واكتشاف النظريات والبراهين المنطقية الجديدة واكتشافها.
