[論文レビュー] Middle History of Logic Programming: Resolution, Planner, Prolog and the Japanese Fifth Generation Project

Carl Hewitt|arXiv (Cornell University)|Apr 20, 2009

Logic, Reasoning, and Knowledge参考文献 9被引用数 2

ひとこと要約

この論文は、解像度とPlannerからPrologおよび日本の第五世代コンピュータプロジェクトに至るまでの論理プログラミングの中間的歴史をたどり、計算が論理に還元可能かどうかを検討し、論理プログラミングがプロジェクトの成果において果たした役割を評価する。論文は、後に広まったその限界に関する誤解にもかかわらず、論理プログラミングが基礎的進展に大きく貢献したと主張する。

ABSTRACT

Logic Programming can be broadly defined as “using logic to infer computational steps from existing propositions ” (although this has been opposed by Kowalski; see below). The focus of this article is on the development of this idea. Consequently, it does not treat any other associated topics related to Logic Programming such as constraints, abduction, etc. The idea has a long development that went through many twists in which important questions turned out to have surprising answers including the following: � Is computation reducible to logic? � Did Logic Programming contribute to the failure of the Japanese Fifth Generation Project (ICOT)? � What is Logic Programming? Note: This article is about the middle history of Logic Programming. See “A historical perspective on developing foundations for client cloud computing ” [ArXiv 0901.4934] for

研究の動機と目的

• 解像度とPlannerからPrologに至る論理プログラミングの歴史的発展を検討すること。
• 日本の第五世代コンピュータプロジェクトにおける論理プログラミングの役割を分析し、その失敗の主張を評価すること。
• 計算が論理に還元可能かどうかという基礎的問いを明確にすること。
• 制約や帰納法といった関連パラダイムとは異なり、論理的推論に限定して論理プログラミングを区別すること。

提案手法

• 解像度とPlannerにおける基礎的アイデアからPrologの開発に至る論理プログラミングの進化をたどること。
• 計算が論理に還元可能かどうかという技術的・哲学的論争を分析すること。
• 論理プログラミングの応用と限界を検証する事例として、日本の第五世代コンピュータプロジェクトを検討すること。
• 歴史的・技術的分析を用いて、論理プログラミングがプロジェクトの成果に与えた貢献に関する主張を評価すること。
• 制約論理プログラミングや帰納法といった他のパラダイムと対比させること。ただし、本研究の範囲外とされる。

実験結果

リサーチクエスチョン

• RQ1 初期の論理プログラミングが提唱したように、計算は根本的に論理的推論に還元可能だろうか？
• RQ2 論理プログラミングは、日本の第五世代コンピュータプロジェクトの失敗にどの程度貢献したのだろうか？
• RQ3 論理プログラミングが独自のパラダイムとして定義される根拠は何か。また、制約論理プログラミングのような関連手法とはどのように異なるのか？
• RQ4 PlannerとPrologの開発は、論理プログラミングの発展にどのような影響を与えたのか？
• RQ5 論理プログラミングの概念的・技術的進化における主要な転換点は何か？

主な発見

• 論文は、一般的な誤解とは裏腹に、日本の第五世代コンピュータプロジェクトの失敗の原因が論理プログラミングにあるとは結論づけない。
• 解像度からPrologに至る論理プログラミングの発展は、計算が論理的推論によって効果的にモデル化可能であることを示している。
• 論理プログラミングと帰納法や制約といった関連パラダイムとの違いは極めて重要であり、本論文はこの境界を強調している。
• 歴史的経緯から、論理プログラミングにおける多くの基礎的問いに対して、直感に反する答えがあることが明らかになった。
• 論文は、他のパラダイムにその影響が埋もれてしまったとしても、論理プログラミングが計算の基礎に大きな貢献をしたと主張する。