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

Logic Theorist

ยุค: กำเนิด AI · ทศวรรษ 1950–ทศวรรษ 1970

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

Allen Newell และ Herbert Simon

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

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

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

    RAND · ประเภทแหล่งที่มา: คลังเอกสารของสถาบัน

    บทความของ RAND ร่วมสมัยที่บันทึก Logic Theory Machine

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