41907457
Construction of high-order deceptive functions using low-order Walsh coefficients
This paper constructs deceptive functions over bit strings of any length using low-order Walsh coefficients. Specifically, a partially deceptive construct is achieved with coefficients no higher than second order, and a fully deceptive construct is achieved with coefficients no higher than third order. Previous work on deception tacitly assumed that the very highest order Walsh coefficient, the order-l coefficient in a length-l problem, must be non-zero to achieve full deception, that condition where all schemata of orderl−1 or less containing the complement of the global optimum are superior to their competitors. The constructions of this paper show such assumptions to be false and lead to a more general theory of functions whose value only depends on the number of ones (or zeros) in the function's argument, so-calledfunctions of unitation. These results also help shed some light on Tanese's puzzling results on functions that contained large numbers of Walsh terms of fixed order.
11347478
Fluctuating Crosstalk as a Source of Deterministic Noise and Its Effects on GA Scalability
This paper explores how fluctuating crosstalk in a deterministic fitness function introduces noise into genetic algorithms. We model fluctuating crosstalk or nonlinear interactions among building blocks via higher-order Walsh coefficients. The fluctuating crosstalk behaves like exogenous noise and can be handled by increasing the population size and run duration. This behavior holds until the strength of the crosstalk far exceeds the underlying fitness variance by a certain factor empirically observed. Our results also have implications for the relative performance of building-block-wise mutation over crossover.
46040947
Genetic Algorithm Difficulty and the Modality of Fitness Landscapes
Abstract We assume that the modality (i.e., number of local optima) of a fitness landscape is related to the difficulty of finding the best point on that landscape by evolutionary computation (e.g., hillclimbers and genetic algorithms (GAs)). We first examine the limits of modality by constructing a unimodal function and a maximally multimodal function. At such extremes our intuition breaks down. A fitness landscape consisting entirely of a single hill leading to the global optimum proves to be harder for hillclimbers than GAs. A provably maximally multimodal function, in which half the points in the search space are local optima, can be easier than the unimodal, single hill problem for both hillclimbers and GAs. Exploring the more realistic intermediate range between the extremes of modality, we construct local optima with varying degrees of “attraction” to our evolutionary algorithms. Most work on optima and their basins of attraction has focused on hills and hillclimbers, while some research has explored attraction for the GA's crossover operator. We extend the latter results by defining and implementing maximal partial deception in problems with k arbitrarily placed global optima. This allows us to create functions, such as the minimum distance function f mdG , with k isolated global optima and multiple local optima attractive to both crossover and hillclimbers. The function f mdG seems to be a powerful new tool for generalizing deception and relating hillclimbers (and Hamming space) to GAs and crossover.
420093
Substructural Surrogates for Learning Decomposable Classification Problems
This paper presents a learning methodology based on a substructural classification model to solve decomposable classification problems. The proposed method consists of three important components: (1) a structural model, which represents salient interactions between attributes for a given data, (2) a surrogate model, which provides a functional approximation of the output as a function of attributes, and (3) a classification model, which predicts the class for new inputs. The structural model is used to infer the functional form of the surrogate. Its coefficients are estimated using linear regression methods. The classification model uses a maximally-accurate, least-complex surrogate to predict the output for given inputs. The structural model that yields an optimal classification model is searched using an iterative greedy search heuristic. Results show that the proposed method successfully detects the interacting variables in hierarchical problems, groups them in linkages groups, and builds maximally accurate classification models. The initial results on non-trivial hierarchical test problems indicate that the proposed method holds promise and also shed light on several improvements to enhance the capabilities of the proposed method.
14286903
Classifier prediction based on tile coding
This paper introduces XCSF extended with tile coding prediction: each classifier implements a tile coding approximator; the genetic algorithm is used to adapt both classifier conditions (i.e., to partition the problem) and the parameters of each approximator; thus XCSF evolves an ensemble of tile coding approximators instead of the typical monolithic approximator used in reinforcement learning. The paper reports a comparison between (i) XCSF with tile coding prediction and (ii) plain tile coding. The results show that XCSF with tile coding always reaches optimal performance, it usually learns as fast as the best parametrized tile coding, and it can be faster than the typical tile coding setting. In addition, the analysis of the evolved tile coding ensembles shows that XCSF actually adapts local approximators following what is currently considered the best strategy to adapt the tile coding parameters in a given problem.
52867912
Hierarchical Problem Solving and the Bayesian Optimization Algorithm
The paper discusses three major issues. First, it discusses why it makes sense to approach problems in a hierarchical fashion. It defines the class of hierarchically decomposable functions that can be used to test the algorithms that approach problems in this fashion. Finally, the Bayesian optimization algorithm (BOA) is extended in order to solve the proposed class of problems.
14891020
Teching PL/I using a microcomputer
Until the Fall 1983 semester, the introductory programming course at Brooklyn College had been taught (in the PL/C dialect of PL/I) using keypunch equipment in a batch environment. However, that term two experimental sections used IBM Personal Computer (PC's) instead of keypunches. The experiment was expanded in the Spring 1984 semester to include almost one third of all sections of the introductory course, and then expanded again in the Fall 1984 semester to all sections of the first PL/I course, plus three sections of second-level courses. Although the PC's were quite easy to use, the PL/I-86 PC-DOS compiler produced by Digital Research caused many problems. A number of advantages and disadvantages of the experiment are discussed. Other implications of the use of PC's are also noted, including the possible change of language and the extension to more advanced courses in the curriculum.