Methods and systems for automatically generating provably...

Details Methods and systems for automatically generating provably... Methods and systems for automatically generating provably...

2007-07-10

2007-07-10

Hirl, Joseph P (Department: 2129)

Data processing: artificial intelligence

Machine learning

Genetic algorithm and genetic programming system

C706S012000, C706S059000

Reexamination Certificate

active

10739187

ABSTRACT:
A provably correct computer program can be generated using genetic programming techniques. A desired behavior is used to define a formal specification. An initial population of programs is created where each program has a meaning that can be defined using a formalization technique. A fitness function is applied to measure a distance between the meaning of a program, i.e., its actual behavior, and the specification. Any program having a zero value as the measure of distance between the meaning of the program and the specification is determined to be provably correct. After the fitness of some or all of the programs in the current generation of programs has been computed, a provably correct program has not yet been found in the current generation, mutation and/or crossover techniques are performed on at least some of the fittest individuals in the current generation to create the programs of a next generation.

REFERENCES:
patent: 5136686 (1992-08-01), Koza
patent: 5867397 (1999-02-01), Koza et al.

Affiliated with

Also associated with

Rating

Methods and systems for automatically generating provably... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Methods and systems for automatically generating provably..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods and systems for automatically generating provably... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3739343