Status Updates From Artificial Intelligence

The rank-space method links fitness to both quality rank and diversity rank, thus promoting not only the survival of individuals that are extremely fit from the perspective of quality, but also the survival of individuals that are both quite fit and different from other, even more fit individuals.

The back-propagation procedure is a procedure for training neural nets. Back propagation can be understood heuristically or by way of a mathematical analysis. To enable back propagation, you need to perform a simple trick that eliminates nonzero neuron thresholds. You may also need to convert stairstep threshold functions into squashed S threshold functions.

An interpretation is an account of how object symbols, predicates, and functions map to objects, relations, and functions in some imaginable world. A model of set of expressions is an interpretation for which the implied imaginable-world relations hold.

Resolution theorem proving uses resolution as the rule of inference and refutation as the strategy. Resolution requires transforming axioms and the negated theorem..

-Generate-and-test systems often do identification. Good generators are complete, nonredundant, and informed.
-The key idea in means-ends analysis is to reduce differences. Means-ends analysis is often mediated via difference-procedure tables.
-The key idea in problem reduction is to explore a goal tree. A goal tree consists of And goals, all of which must be satisfied, and Or goals, one of which must be satisfied.

Artificial intelligence is the study of the computations that make it possible to perceive, reason, and act.
The engineering goal of AI is to solve real-world problems using AI as an armamentarium of ideas about representing knowledge, using knowledge, & assembling systems.
The scientific goal of AI is to determine which ideas about representing knowledge, using knowledge, and assembling systems explain various sorts