ไทย
← กลับไปยังไทม์ไลน์

Logic Theorist

ยุค: กำเนิดปัญญาประดิษฐ์ · ทศวรรษ 1950–ทศวรรษ 1970

Allen Newell และ Herbert Simon พัฒนา “Logic Theorist” ซึ่งเป็นโปรแกรม AI ที่ใช้งานได้จริงรุ่นบุกเบิก โปรแกรมนี้สามารถพิสูจน์ทฤษฎีบทจาก Principia Mathematica และถือเป็นโปรแกรม AI รุ่นบุกเบิก Newell และ Simon ได้รับรางวัล Turing ในปี 1975

Allen Newell & Herbert Simon

สถานะ
ตรวจสอบแล้ว
ประเภทเนื้อหา
fact
ตรวจสอบล่าสุด

แหล่งที่มาและหลักฐาน

  1. The Logic Theory Machine: A Complex Information Processing System

    RAND · ประเภทแหล่งที่มา: institutional-archive

    Contemporary RAND paper documenting the Logic Theory Machine.

    เผยแพร่: ·เข้าถึง: