要約：ロジック・セオリスト（LT）は、1955-1956年に Allen Newell、J. C. Shaw、Herbert Simon によって作成され、初の人工知能プログラムとして広く認識されています。元の概念モデルは1956年に記述されましたが、基盤となる Information Processing Language (IPL) が進化するにつれて、いくつかの反復を経ました。ここでは、Common Lisp で書かれた新しい IPL-V インタプリタの構築と、Stefferud の 1963 年 RAND 技術報告書から直接転写されたコードから Logic Theorist を忠実に再現することについて説明します。Stefferud の版は、元のヒューリスティック・ロジックを標準化された IPL-V へ教育的に再コード化したものを表しています。再現された LT は、Principia Mathematica の第2章から試みられた23の定理のうち16を証明することに成功しました。これらの結果は、探索範囲内における元のシステムの挙動と歴史的に一致しています。著者の知る限り、これは半世紀以上ぶりに原版の Logic Theorist コードが成功裏に実行された最初の事例です。
返却形式: {"translated": "翻訳されたHTML"}
