
Changes of problem representation: Theory and experimentsEugene FinkSpringerVerlag, Berlin, Germany, 2003. ISBN 3790815233.Available for purchase through SpringerVerlag and Amazon.Com. 
Motivation. Researchers have accumulated much evidence on the importance of appropriate representations for the efficiency of AI systems. The same problem may be easy or difficult, depending on the way we describe it and on the search algorithm we use. Previous work on the automatic improvement of problem descriptions has mostly been limited to the design of individual learning algorithms. The user has traditionally been responsible for the choice of algorithms appropriate for a given problem. We present a system that integrates multiple descriptionchanging and problemsolving algorithms. The purpose of the reported work is to formalize the concept of representation and to confirm the following hypothesis:
An effective representationchanging system can be built from three parts:
Improving problem description. The implemented system includes seven algorithms for improving the description of a given problem. First, we formalize the notion of primary effects of operators and give two algorithms for identifying primary effects. Second, we extend the theory of abstraction search to the PRODIGY domain language and describe two techniques for abstracting preconditions and effects of operators. Third, we present auxiliary algorithms that enhance the power of abstraction by identifying relevant features of a problem and generating partial instantiations of operators.
Toplevel control. We define a space of possible representations
of a given problem and view the task of changing representation as a search
in this space. The toplevel control mechanism guides the search, using
statistical analysis of previous results, control rules, and general heuristics.
First, we formalize the statistical problem involved in finding an effective
representation and derive a solution to this problem. Then, we describe
control rules for selecting representations and present a mechanism for
the synergetic use of statistical techniques, control rules, and heuristics.