By Robert P. Kurshan (auth.), Sven Koenig, Robert C. Holte (eds.)
It has been famous because the inception of synthetic Intelligence (AI) that abstractions, challenge reformulations, and approximations (AR&A) are vital to human logic reasoning and challenge fixing and to the power of structures to cause successfully in advanced domain names. AR&A ideas were used to resolve a number of projects, together with automated programming, constraint delight, layout, analysis, computing device studying, seek, making plans, reasoning, online game enjoying, scheduling, and theorem proving. the first objective of AR&A strategies in such settings is to beat computational intractability. furthermore, AR&A options are priceless for accelerating studying and for summarizing units of strategies. This quantity includes the court cases of SARA 2002, the 5th Symposium on Abstraction, Reformulation, and Approximation, held at Kananaskis Mountain resort, Kananaskis Village, Alberta (Canada), August 2 four, 2002. The SARA sequence is the continuation of 2 separate threads of workshops: AAAI workshops in 1990 and 1992, and an advert hoc sequence starting with the "Knowledge Compilation" workshop in 1986 and the "Change of illustration and Inductive Bias" workshop in 1988 with followup workshops in 1990 and 1992. the 2 workshop sequence merged in 1994 to shape the 1st SARA. next SARAs have been held in 1995, 1998, and 2000.