TY - GEN
T1 - A new design and implementation of progol by bottom-up computation
AU - Fujita, Hiroshi
AU - Yagi, Naoki
AU - Ozaki, Tomonobu
AU - Furukawa, Koichi
PY - 1997
Y1 - 1997
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=38149075991&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=38149075991&partnerID=8YFLogxK
U2 - 10.1007/3-540-63494-0_54
DO - 10.1007/3-540-63494-0_54
M3 - Conference contribution
AN - SCOPUS:38149075991
SN - 3540634940
SN - 9783540634942
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 163
EP - 174
BT - Inductive Logic Programming - 6th International Workshop, ILP-1996, Selected Papers
A2 - Muggleton, Stephen
PB - Springer Verlag
T2 - 6th International Workshop on Inductive Logic Programming, ILP-1996
Y2 - 26 August 1996 through 28 August 1996
ER -