Advertisement

GWAI-83 pp 179-188 | Cite as

On the Use of Operation Information in Problem Solving

  • Joachim Hertzberg
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 76)

Abstract

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.

Keywords

World Model World State Inverse Operation Operational Distance Operational Problem Solver 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. /FHN72/.
    Fikes, R./P. Hart/N. Nilsson: Learning and Executing Generalized Robot Plans; in: Artificial Intelligence, 3 (1972), pp 251–288CrossRefGoogle Scholar
  2. /Her82/.
    Hertzberg, J.: Problemlösen mit Piaget-Operationen; Universität Bonn, Informatik-Bericht Nr.38, 1982Google Scholar
  3. /Hue80/.
    Huet, G.: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems; in: J. ACM, 27 (1980), pp 797–821MathSciNetMATHCrossRefGoogle Scholar
  4. /Sac74/.
    Sacerdoti, E.D.: Planning in a Hierarchy of Abstraction Spaces; in: Artificial Intelligence, 5 (1974), pp 115–135MATHCrossRefGoogle Scholar
  5. /Sac77/.
    Sacerdoti, E.D.: A Structure for Plans and Behavior; New York, 1977MATHGoogle Scholar
  6. /SiS82/.
    Siekmann, J./P. Szabo: Universal Unification; in: Wahlster, W. (ed.): GWAI-82; Berlin etc. (Springer Informatik-Fachberichte 58), pp 102–141Google Scholar
  7. /Tat75/.
    Tate, A.: Interacting Goals and their Use; Proc. IJCAI-4, 1975, pp 215–218Google Scholar
  8. /Wal77/.
    Waldinger, R.: Achieving Several Goals Simultaneously; in: Machine Intelligence 8, 1977, pp 94–136Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Joachim Hertzberg
    • 1
  1. 1.Institut für InformatikUniversität BonnBonn 1Germany

Personalised recommendations