Above are papers related to the following paper: [Paper_ID] Paper #593560. 	[Title] Automated Fitness Raters for the GP-Music System [Abstract]  Please summarise all the given information.

Above are papers related to the following paper: [Paper_ID] Paper #578645. 	[Title] Entailment for Specification Refinement [Abstract] Specification refinement is part of formal program derivation, a method by which software is directly constructed from a provably correct specification. Because program derivation is an intensive manual exercise used for critical software systems, an automated approach would allow it to be viable for many other types of software systems. The goal of this research is to determine if genetic programming (GP) can be used to automate the specification refinement process. The initial steps toward this goal are to show that a well-known proof logic for program derivation can be encoded such that a GP-based system can infer sentences in the logic for proof of a particular sentence. The results are promising and indicate that GP can be useful in aiding pro gram derivation. Please summarise all the given information.

Above are papers related to the following paper: [Paper_ID] Paper #292277. 	[Title] Evolving Control Structures with Automatically Defined Macros  Evolving Control Structures with Automatically Defined Macros. [Abstract]  Please summarise all the given information.

Above are papers related to the following paper: [Paper_ID] Paper #593559. 	[Title] GP-Music: An Interactive Genetic Programming System for Music Generation with Automated Fitness Raters [Abstract] Technical Report CSRP-98-13 Abstract In this paper we present the GP-Music System, an interactive system which allows users to evolve short musical sequences using interactive genetic programming, and its extensions aimed at making the system fully automated. The basic GP-system works by using a genetic programming algorithm, a small set of functions for creating musical sequences, and a user interface which allows the user to rate individual sequences. With this user interactive technique it was possible to generate pleasant tunes over runs of 20 individuals over 10 generations. As the user is the bottleneck in interactive systems, the system takes rating data from a users run and uses it to train a neural network based automatic rater, or auto rater, which can replace the user in bigger runs. Using this auto rater we were able to make runs of up to 50 generations with 500 individuals per generation. The best of run pieces generated by the auto raters were pleasant but were not, in general, as nice as those generated in user interactive runs. Please summarise all the given information.

Above are papers related to the following paper: [Paper_ID] Paper #593240. 	[Title] Evolution of Pseudo-colouring Algorithms for Image Enhancement with Interactive Genetic Programming [Abstract] Technical Report: CSRP-97-5 School of Computer Science The University of Birmingham Abstract In this paper we present an approach to the interactive development of programs for image enhancement with Genetic Programming (GP) based on pseudo-colour transformations. In our approach the user drives GP by deciding which individual should be the winner in tournament selection. The presence of the user does not only allow running GP without a fitness function but it also transforms GP into a very efficient search procedure capable of producing effective solutions to real-life problems in only hundreds of evaluations. In the paper we also propose a strategy to further reduce user interaction: we record the choices made by the user in interactive runs and we later use them to build a model which can replace him/her in longer runs. Experimental results with interactive GP and with our user-modelling strategy are also reported. Please summarise all the given information.

Above are papers related to the following paper: [Paper_ID] Paper #578845. 	[Title] Induction and Recapitulation of Deep Musical Structure [Abstract] We describe recent extensions to our framework for the automatic generation of music-making programs. We have previously used genetic programming techniques to produce music-making programs that satisfy user-provided critical criteria. In this paper we describe new work on the use of connectionist techniques to automatically induce musical structure from a corpus. We show how the resulting neural networks can be used as critics that drive our genetic programming system. We argue that this framework can potentially support the induction and recapitulation of deep structural features of music. We present some initial results produced using neural and hybrid symbolic/neural critics, and we discuss directions for future work. Please summarise all the given information.

Paper #593560 has the title `Automated Fitness Raters for the GP-Music System  
` and the abstract ` 
`.
Question: Which category should Paper #593560 be classified as ?
You can select one from ['Neural_Networks', 'Case_Based', 'Theory', 'Reinforcement_Learning', 'Probabilistic_Methods', 'Rule_Learning', 'Genetic_Algorithms'].


Paper #593560 has the title `Automated Fitness Raters for the GP-Music System  
` and the abstract ` 
`.
Question: Which category should Paper #593560 be classified as ?
You can select one from ['Neural_Networks', 'Case_Based', 'Theory', 'Reinforcement_Learning', 'Probabilistic_Methods', 'Rule_Learning', 'Genetic_Algorithms'].

This paper should be classified into: Genetic_Algorithms