Problem Solving Tasks Using Soar

Problem Solving involves developing a series of steps that will transform a initial state (a problem or problem specification) into a final state (the solutions). A key part of these transformations is lookahead search: determining what to do next by building a 'mental simulation' of possible steps and outcomes that could be taken. Reasoning can limit the number of possibilities that need to be considered at each step.

Soar has been shown to be applicable to a wide variety of problem solving tasks. The struture of goal-based behavior and adequate default knowledge for search make it particularly applicable as a problem solving system. As a search engine, Soar includes the weak methods of artificial intelligence by utilizing a universal weak method. Soar has been demonstrated to reason both inductively and deductively and such reasoning has been applied to human-reasoning domains (such as mathematics) and to expert-systems domains. Soar has also been used for traditional planning.

To go to the Soar capabilities list, press UP

To return, press HOME. To go to the next document, press NEXT.