Abstract
In this paper we face the problem of determining the best partial order among the subgoals of a query in order for this query to be evaluated under Independent AND Parallelism. This is the most common source of parallelism exploited by the different models that have been proposed to evaluate logic programs in parallel. This problem is proved to be NP-hard, so every model utilises its own heuristic strategy in order to estimate the best ordering. Here, a Genetic approach is proposed and compared to conventional heuristic ones. The experimental results show that the Genetic Algorithm produces better solutions, as well as comparable execution times for reasonably sized problems.
This work has been partially supported by the University of Oviedo under the project DF-96-513-10.
Preview
Unable to display preview. Download preview PDF.
References
Conery, J. S. The AND/OR Process Model for Parallel Interpretation of Logic Programs. Ph. D. Th.. Dpto. Inf. and Comp. Science. Univ. California. Irvine. 1983
DeGroot, D. Restricted AND-Parallelism. Procs. of the Int. Conf. on Fifth Generation Comp. Systems. North Holland. pp. 471–478. 1984.
Delcher, A. and Kasif, S. Some Result on the Complexity of Exploiting Data Dependency in Parallel Logic Programs. JLP, Vol. 6, pp. 229–241. 1989.
Goldberg, D. E. Genetic Algorithms in Search, Optimization & Machine Learning Addison-Wesley, 1989.
Kalé, L. V. The REDUCE-OR Process Model for Parallel Interpretation of Logic Programs. The Journal of Logic Prog.. Vol 11, pp. 55–84. 1991
Lawrence, D. Handbook of Genetic Algorithms. Van Nostrand Reinhold, 1991.
Marín, F. J.; Sandoval, F. Diseño de Redes Neuronales Artificiales Mediante Algoritmos Genéticos. Computación Neuronal. Ed: Senén Barro y José Mira, Universidad de Santiago, pp 385–424. 1995.
Michalewicz, Z. Genetic Algorithms+Data Structures=Evolution Programs. Second, Etended Edition, Springer-Verlag. 1994.
Muthukumar, K. and Hermenegildo, M. The CDG, UDG, and MEL Methods for Automatic Compile-Time Parallelization of Logic Programs for Independent And-Parallelism. ICLP'90, pp. 221–237. MIT Press, Jun. 1990.
Riesco Peláez, F. Optimization of the Initial Generation In the Solving of the Travelling Salesman Problem with a Genetic Algorithm. (ITHURS' 96), pp. 161–167. 1996.
Varela, R. El Modelo RPS para la Gestión del Paralelismo AND Independiente en Programas Lógicos. Proceedings of the 1994 Joint Conf. on Declarative Prog.ng GULP_PRODE'94, pp. 251–265. 1994.
Varela, R., Sierra, E., Jiménez L. y Vela, C. R. Combinación de Soluciones Parciales en Programación Lógica Paralela. C-AEPIA'95. Alicante. 1995.
Varela, R. Un Modelo para el Cálculo Paralelo de Deducciones en Lógica de Predicados. Tesis Doctoral. Dpto. de Matemáticas, Univ. Oviedo. 1995.
Varela, R. and Vela, C. R. AND/OR Trees for Parallel Deductions, ITHURS'96. León, Spain. July 1996.
Varela, R.; Vela, C. R. and Puente, J. Efficient Producer/Consumer Parallelism in Logic Programming. APPIA-GULP-PRODE'96. San Sebastian. July 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vela, C.R., Alonso, C., Varela, R., Puente, J. (1997). A genetic approach to computing Independent And Parallelism in logic programs. In: Mira, J., Moreno-Díaz, R., Cabestany, J. (eds) Biological and Artificial Computation: From Neuroscience to Technology. IWANN 1997. Lecture Notes in Computer Science, vol 1240. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0032516
Download citation
DOI: https://doi.org/10.1007/BFb0032516
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63047-0
Online ISBN: 978-3-540-69074-0
eBook Packages: Springer Book Archive