Tiếng Việt
← Quay lại dòng thời gian

Logic Theorist

Thời kỳ: Sự Ra đời của AI · những năm 1950–những năm 1970

Allen Newell và Herbert Simon phát triển “Logic Theorist”, chương trình AI thực tiễn tiên phong. Chương trình này có thể chứng minh các định lý từ Principia Mathematica và được coi là chương trình AI tiên phong. Newell và Simon nhận Giải Turing năm 1975.

Allen Newell & Herbert Simon

Trạng thái
Đã kiểm chứng
Loại nội dung
fact
Kiểm tra lần cuối

Nguồn và bằng chứng

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

    RAND · Loại nguồn: institutional-archive

    Contemporary RAND paper documenting the Logic Theory Machine.

    Xuất bản: ·Truy cập: