人工知能を生み出したアイデアを求めて (3) 知識、論理、推論の表現

2024-07-17

このシリーズの最初、 二番目 コンテンツで取り上げられている例のほとんどは、人工知能に関する神話的な想像でした。しかし、古代の人々の人工知能に対する考えは、文学的な想像力だけにとどまりませんでした。<일리아스>しかし、<정치학> 古代の人々の人工知能の考えは、文学的な想像力だけにとどまりませんでした。----Sep----アリストテレスは本の中で、ホーマーを通して想像した存在について語っています。

この偉大な哲学者は、当時の社会（古代ギリシャ）には必ず奴隷が必要だったと強調しています。おそらく 「織機の太鼓が勝手に布を編み、弦楽器のピックがハープをひとりで弾く、といった具合です。」ホーマーが想像した鮮明な描写を引用して、人間の労働（人工知能）に取って代わる存在（人工知能）という考えを彼が表現したように機能する自動奴隷のようなものがあるのだろうか。

「家計を営む人が召使いを必要としない、または所有者が奴隷を必要としないケースは1つだけです。これは、ダイダロス（ダイダロス）の彫像やヘファイストス（ヘファイストス）の儀式（犠牲の道具）などの命令を受けたり、所有者の意志を自分で調べたりして、命のない道具がそれぞれ機能するケースです。」

（政治学、アリストテレス、ラジャール役）

本コンテンツでは、このような哲学的・論理的な観点から、人工知能を生み出したアイデアを探ります。

‍

知識の表現、最初のエキスパートシステム

‍

エドウィン・スミス・パピルス、ソース

‍

1862年、考古学者のエドウィン・スミス*は、医学知識が書かれたパピルス**を発見しました。ここでは、さまざまな病気とその治療法が体系的に紹介されました。検査、診断、医師が直接治療を行うかどうか、治療過程の順番に従って、合計48種類の外傷を分析し、記録しました。***

つまり、これらの症状が出たらこのダメージであり、このような治療が期待されます。これはどういうわけか、たくさんの「if〜else」の条件文を思い起こさせませんか？このパピルスは、古代エジプトの医療専門家の知識をまとめた一種の洗練されたプログラムでした。

すでに古代エジプトでは、今日の専門家制度****に対応する知識体系が確立され始めています。

‍

ルールベースのエキスパートシステム：スタンフォード大学ヒューリスティックプログラミングプロジェクトのMycinExperiments、1984年 Buchanan and Shortliffe ソース

‍

今日でも、医療はエキスパートシステムが使用される最も代表的な分野です。最初のエキスパートシステムのひとつであるMYCIN*****も1970年代に開発され、医学教育や研究に使用されました。現在でも、医療専門家制度は、医師が患者の評価、診断、治療を行う際に非常に役立ちます。

‍

論理、推論、記号主義の起源

みんな死ぬ。

ソクラテスは男です。

したがって、ソクラテスは死にます。

上記は、論理******における代表的な演推論である三段論法******の代表的な例です。これは、あらかじめ決められた2つのトピックに基づいて、新たな論文へとつながる推論の方法です。ちなみに、この三段論法はギリシャの哲学者アリストテレスに端を発したことでも知られています。

‍

機械学習と演法的法則の関係、ソース

‍

三段論法に基づく演推論は、厳密な論理規則に基づいています。帰納的推論******** ほどスケーラブルではありませんが、代わりに論理的な一貫性が有利です。実際、機械学習以前のプログラムはすべて「前提に基づいて結論を導き出す」という点で演的に動作していました。

経験と直感で判断する人間は、帰納法と演証法を自由に使うことができます。一方、コンピュータプログラムはエラーが起こらないように論理的に型付けされなければなりません。また、人工知能には、情報を効果的に認識して問題を解決するために、よく構造化され体系化された知識が必要です。

人工知能の初期の頃、記号論者が望んでいたのは、インテリジェントな推論が可能なシステムを実装するためのこのようなプログラムを作成することでした。

‍

アイデアと思考プロセスの機械化

‍

ラモン・プルズ-アルス・マグナ、ソース

‍

13世紀のスペインの神学者ラモン・リュル（ラモン・リュル）は、アラビア占星術の道具であるザイルジャを使って「アルス・マグナ（アルス・マグナ）」と呼ばれる装置を作りました。********* 機械的な手段でアイデアを生み出す最初の装置でした。彼は機械装置を使って異性に近づけると思っていたと思います。

アルス・マグナはシンボルが描かれたペーパーホイールの形をしていました。これを使うことで、概念を機械的に組み合わせて論理的な議論の組み合わせを作ることができました。<걸리버 여행기>これを使って、概念を機械的に組み合わせて論理的な議論の組み合わせを作ることができました。----Sep----このアイデアは、後にジョナサン・スウィフトの芸術的想像力を加え、自動的に馬を作るジョイナーとして再発明されました。

「伝統的な方法でアーティストを創ったり、科学を学んだりすることがどれほど難しいかは誰もが知っています。しかし、レガード研究所の調理器具を使うなら、そのような作業は冷たいお粥を食べることです。無知な人でも、少しの努力で、哲学、詩、政治、法律、理論に関する本が作れます。」

‍