Logic Theorist
الحقبة: مولد الذكاء الاصطناعي · عقد ١٩٥٠–عقد ١٩٧٠
طوّر ألن نيويل وهربرت سايمون برنامج Logic Theorist، وهو برنامج ذكاء اصطناعي عملي مبكر. وكان قادرًا على إثبات مبرهنات من Principia Mathematica، وكثيرًا ما يُذكر بين أوائل برامج الذكاء الاصطناعي. ونال نيويل وسايمون جائزة تورينغ عام ١٩٧٥.
ألن نيويل وهربرت سايمون
المصادر وما تسنده
The Logic Theory Machine: A Complex Information Processing System
RAND · نوع المصدر: institutional-archive
Contemporary RAND paper documenting the Logic Theory Machine.
تاريخ النشر: ·تاريخ الاطلاع: