1952-1969年：初期の情熱，大きな期待

• Logic Theorist （Allen Newell，Herbert Simon）

  • Whitehead著の「数学原理」という本の第2章の定理のほとんどを証明できた．（でも論文は評価されなかった．）

• General Problem Solver（Herbert Simon)

  • 問題をサブゴールの列に分解し，探索により答えを探す．

• Checkerゲーム（Samuel，1952-）

  • だんだん強くなって，作者に勝った．

前のｽﾗｲﾄﾞ

次のｽﾗｲﾄﾞ

最初のｽﾗｲﾄﾞに戻る

ｸﾞﾗﾌｨｯｸｽの表示