[논문 리뷰] Middle History of Logic Programming: Resolution, Planner, Prolog and the Japanese Fifth Generation Project

Carl Hewitt|arXiv (Cornell University)|2009. 04. 20.

Logic, Reasoning, and Knowledge참고 문헌 9인용 수 2

한 줄 요약

이 논문은 해석과 플래너에서 프로로그와 일본 제5세대 프로젝트에 이르는 논리 프로그래밍의 중간 역사적 흐름을 추적하며, 계산이 논리로 환원될 수 있는지 여부를 검토하고 논리 프로그래밍이 그 프로젝트의 성과에서 차지하는 역할을 평가한다. 논문은 논리 프로그래밍이 이후의 오해에도 불구하고 기초적 발전에 기여했다고 주장한다.

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

연구 동기 및 목표

• 해석과 플래너에서 프로로그에 이르는 논리 프로그래밍의 역사적 발전을 검토하기 위해.
• 일본 제5세대 프로젝트에서 논리 프로그래밍의 역할을 분석하고 그 실패 주장의 타당성을 평가하기 위해.
• 계산이 논리로 환원될 수 있는가 하는 기초적 질문을 명확히 하기 위해.
• 논리 추론에만 초점을 맞춘 제약과 추론과 같은 관련 파라다임과의 차이를 명확히 하기 위해.

제안 방법

• 해석과 플래너에서의 기초적 아이디어에서 시작하여 프로로그 개발에 이르는 논리 프로그래밍의 진화를 추적하기 위해.
• 계산이 논리로 환원될 수 있는가에 대한 핵심 기술적·철학적 논의를 분석하기 위해.
• 논리 프로그래밍의 적용과 한계를 사례 연구로 삼아 일본 제5세대 프로젝트를 검토하기 위해.
• 역사적·기술적 분석을 통해 논리 프로그래밍이 프로젝트 성과에 기여한 주장의 타당성을 평가하기 위해.
• 범위에서 제외된 바와 같이, 제약 논리 프로그래밍과 추론과 같은 다른 파라다임과 논리 프로그래밍을 대비하여 분석하기 위해.

실험 결과

연구 질문

• RQ1 초기 논리 프로그래밍에서 제안한 바와 같이, 계산이 근본적으로 논리적 추론으로 환원될 수 있는가?
• RQ2 논리 프로그래밍은 일본 제5세대 프로젝트의 실패에 어느 정도 기여했는가?
• RQ3 논리 프로그래밍이 독립된 파라다임으로서 정의되는 바는 무엇이며, 제약 논리 프로그래밍과 같은 유사 접근과의 차이는 무엇인가?
• RQ4 플래너와 프로로그의 개발이 논리 프로그래밍의 방향성에 어떻게 영향을 미쳤는가?
• RQ5 논리 프로그래밍의 개념적·기술적 진화에서 중요한 전환점은 무엇이었는가?

주요 결과

• 논문은 일본 제5세대 프로젝트의 실패 원인으로 논리 프로그래밍을 지목하는 일반적인 오해에도 불구하고, 논리 프로그래밍이 그 실패를 유발하지 않았다고 결론을 내린다.
• 해석에서 프로로그로의 논리 프로그래밍 발전 과정을 통해 계산이 논리적 추론을 통해 효과적으로 모델링될 수 있음을 입증한다.
• 논리 프로그래밍과 추론, 제약과 같은 관련 파라다임 간의 구분이 핵심적이며, 논문은 이 경계를 강조한다.
• 역사적 흐름을 통해 논리 프로그래밍의 많은 기초적 질문들이 직관에 반하는 답을 가졌음을 드러내며, 초기 가정에 도전한다.
• 논문은 논리 프로그래밍이 후에 다른 파라다임에 의해 빛을 잃었음에도 불구하고, 계산의 기초에 중요한 기여를 했다고 주장한다.