© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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 [1] 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},
}
Links
- https://www.cs.kent.ac.uk/pubs/2002/1545/content.pdf