ماذا تعرف عن المنظر المنطقي

مُنظِّر المنطق هو برنامج حاسوبي كتبه ألين نيويل وهربرت أ. سيمون وكليف شو عام 1956. وكان أول برنامج مُصمم عمدًا لأداء التفكير الآلي ، ووُصف بأنه "أول برنامج ذكاء اصطناعي ". أثبت مُنظِّر المنطق 38 من أول 52 نظرية في الفصل الثاني من كتاب مبادئ الرياضيات لوايت هيد وبرتراند راسل ، ووجد براهين جديدة وأقصر لبعضها.