In this thesis, we treat of AND parallel execution of logic programs, especially, backtracking and resetting. As a means to overcome difficulty in understanding AND parallel execution of logic programs, a formal framework for AND parallel execution is proposed. The proposed framework can give a rather formal view to AND parallel execution of logic programs than that of algorithmic presentation.
Based on the proposed formal framework, an intelligent scheme for backtracking and resetting is proposed. For more intelligent backtracking, an analysis, called literal failure analysis, can be applied optionally. The proposed intelligent resetting scheme is based on the binding information of each failed literal, which is a main origin of intelligent resetting. Correctness of the proposed resetting scheme is proved in a simple and formal way. The proposed scheme is simulated with a parallel simulator and experimental results are also given in comparison with other research.
본 논문에서는 논리 프로그램의 AND 병렬 수행, 특히 지능적인 backtracking과 resetting을 다룬다. 논리 프로그램의 AND 병렬 수행을 이해하는데있어서의 어려움을 극복하기 위한 수단으로써, AND 병렬 수행을위한 논리적인 하부구조(framework)를 제안한다. 제안된 논리적인 하부구조는 기존의 알고리즘의 표현보다 AND 병렬 수행에대한 논리적인 관점을 제공할 수있다.
제안된 논리적인 하부구조를 기초로하여, 지능적인 backtracking과 resetting을 위한 방법이 제안된다. 좀 더 지능적인 backtracking을 위해서 리터럴 실패 분석이 적용될 수 있다. 제안된 지능적인 resetting 방법은 실패한 리터럴의 바인딩 정보를 기초로하며, 이 정보는 resetting 할 때 지능의 주된 요인이다. 여기서 제안된 방법의 정확성은 간단하고 논리적인 방법으로 증명된다. 또한 병렬 시뮬레이터를 이용하여 실험이 행해지고 실험결과는 다른 연구와 비교하여 검토된다.
