Abstraction, Reformulation, and Approximation
Papers from the 2010 AAAI Workshop
Gregory Provan and Ashish Sabharwal, Workshop Cochairs
The aim and scope of this workshop are similar to an independent symposium called SARA. The diverse backgrounds of participants of previous SARA symposia has led to a rich and lively exchange of ideas, allowed the comparison of goals, techniques, and paradigms, and helped identify important research issues and engineering hurdles. This workshop will continue to do the same.
It has been recognized since the inception of AI that abstractions, problem reformulations, and approximations (ARA) are central to human common-sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. ARA techniques have been used in a variety of problem-solving settings and application domains, primarily to overcome computational intractability by decreasing the combinatorial costs associated with searching large spaces. In addition, ARA techniques are also useful for knowledge acquisition and explanation generation.