On the Use of Operation Information in Problem Solving
In this paper I present ideas, results and problems of operational problem solving, i.e. problem solving mainly regarding information about the operations involved, and disregarding world states nearly completely. As a demonstration of the concept’s usefulness, the program BOPS (Bonn Operational Problem Solver) is presented. Its goals are specified not by a conjunction of predicates that has to hold, but by a set of operation instances that have to be applied. Situations are characterized by the operation sequence they have been produced by, where inverse operations are recognized and deleted, thereby excluding detours and avoiding problems of subgoal protection. Stating operation preconditions in terms of operation instances already applied restricts access to world states to a minimum and facilitates goal directedness in planning.
KeywordsWorld Model World State Inverse Operation Operational Distance Operational Problem Solver
Unable to display preview. Download preview PDF.
- /Her82/.Hertzberg, J.: Problemlösen mit Piaget-Operationen; Universität Bonn, Informatik-Bericht Nr.38, 1982Google Scholar
- /SiS82/.Siekmann, J./P. Szabo: Universal Unification; in: Wahlster, W. (ed.): GWAI-82; Berlin etc. (Springer Informatik-Fachberichte 58), pp 102–141Google Scholar
- /Tat75/.Tate, A.: Interacting Goals and their Use; Proc. IJCAI-4, 1975, pp 215–218Google Scholar
- /Wal77/.Waldinger, R.: Achieving Several Goals Simultaneously; in: Machine Intelligence 8, 1977, pp 94–136Google Scholar