Abstract
In this paper we address the role of divergence and convergence in creative processes, and argue about the need to consider them in Computational Creativity research in the Genetic or Evolutionary Programming paradigm, being one´s goal the problem of the Halt Condition in Genetic Programming. Here the candidate solutions are seen as evolutionary logic programs or theories, being the test whether a solution is optimal based on a measure of the quality-of-information carried out by those logical theories or programs. Furthermore, we present Conceptual Blending Theory as being a promising framework for implementing convergence methods within creativity programs, in terms of the logic programming framework.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jennings, N.R., Faratin, P., Johnson, M.J., Norman, T.J., Brien, O., Wiegand, M.E.: Journal of Cooperative Information Systems 5(2-3), 105–130 (1996)
Angeline, P.J.: Parse Trees. In: Bäck, T., et al. (eds.) Evolutionary Computation 1: Basic Algorithms And Operators, Institute of Physics Publishing, Bristol (2000)
Rudolph, G.: Convergence Analysis of Canonical Genetic Algorithms. IEEE Transactions on Neural Networks, Special Issue on Evolutionary Computation 5(1), 96–101 (1994)
Teller, A.: Evolving programmers: The co-evolution of intelligent recombination operators. In: Kinnear, K., Angeline, P. (eds.) Advances in Genetic Programming 2, MIT Press, Cambridge (1996)
Analide, C., Novais, P., Machado, J., Neves, J.: Quality of Knowledge in Virtual Entities. In: Encyclopedia of Communities of Practice in Information and Knowledge Management, pp. 436–442. Idea Group Inc., USA (2006)
Mendes, R., Kennedy, J., Neves, J.: Avoiding the Pitfalls of Local Optima: How topologies can Save the Day. In: ISAP 2003. Proceedings of the 12th Conference on Intelligent Systems Application to Power Systems, IEEE Computer Society, Lemnos, Greece (2003)
Neves, J.C.: A Logic Interpreter to Handle Time and Negation in Logic Data Bases. In: Proceedings of ACM 1984 Annual Conference, San Francisco, USA (October 24-27, 1984)
Kakas, A., Kowalski, R., Toni, F.: The role of abduction in logic programming. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235–324. Oxford University Press, Oxford (1998)
Kowalski, R.: The logical way to be artificially intelligent. In: Toni, F., Torroni, P. (eds.) Proceedings of CLIMA VI. LNCS (LNAI), Springer, Heidelberg (2006)
Turner, M., Fauconnier, G.: Conceptual Integration and Formal Expression. Johnson, M.: Journal of Metaphor and Symbolic Activity 10(3) (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Neves, J., Machado, J., Analide, C., Abelha, A., Brito, L. (2007). The Halt Condition in Genetic Programming. In: Neves, J., Santos, M.F., Machado, J.M. (eds) Progress in Artificial Intelligence. EPIA 2007. Lecture Notes in Computer Science(), vol 4874. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77002-2_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-77002-2_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77000-8
Online ISBN: 978-3-540-77002-2
eBook Packages: Computer ScienceComputer Science (R0)