This paper describes a parallel version of Progol based on MGTP which is a theorem prover employing bottom-up inference suitable for parallel implementation. Hypothesis formation in Progol, which is performed by top-down computation with Prolog in the sequential implementation, will be performed more efficiently by bottom-up computation with MGTP in the new implementation. For the Progol's generalto- specific search for hypotheses through the subsumptiou lattice, we developed a new way of calculating a heuristic function for the A*-like algorithm, which was also implemented with MGTP. Since MGTP already has very efficient parallel implementations on parallel inference machines, an efficient implementation of parallel-Progol will readily be realized as well.
CITATION STYLE
Fujita, H., Yagi, N., Ozaki, T., & Furukawa, K. (1997). A new design and implementation of progol by bottom-up computation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1314, pp. 163–174). Springer Verlag. https://doi.org/10.1007/3-540-63494-0_54
Mendeley helps you to discover research relevant for your work.