School of Computing

Genetic programming with guaranteed constraints

Colin G. Johnson

In Ahmad Lofti, Bob John, and Jon Garibaldi, editors, Recent Advances in Soft Computing, pages 182-196. Physica/Springer-Verlag, December 2002.

Abstract

Genetic programming is a powerful technique for automatically generating program code from a description of the desired functionality. However it is frequently distrusted by users because the programs are generated with reference to a training set, and there is no formal guarantee that the generated programs will operate as intended outside of this training set. This paper describes a way of including constraints into the fitness function of a genetic programming system, so that the evolution is guided towards a solution which satisfies those constraints and so that a check can be made when a solution satisfies those constraints. This is applied to a problem in mobile robotics.

Download publication 123 kbytes (PDF)

Bibtex Record

@inproceedings{1545,
author = {Colin G. Johnson},
title = {Genetic Programming with Guaranteed Constraints},
month = {December},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1545},
    publication_type = {inproceedings},
    submission_id = {19437_1034720293},
    booktitle = {Recent Advances in Soft Computing},
    editor = {Ahmad Lofti and Bob John and Jon Garibaldi},
    publisher = {Physica/Springer-Verlag},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014