A lattice-theoretical approach to problem-solving

  • Jozef Kelemen
Mathematical Aspects Of Application Methodology
Part of the Lecture Notes in Computer Science book series (LNCS, volume 28)


The starting point of this paper is Sandewall's conception of using multiple-input and multiple-output operators in problem-solving (see [3]). A formal definition of the general transformation problem is given. The conventional search-tree (or graph) is generalized into a new structure (lattice-structure with a special relation).


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    FIKES, R.E.; NILSSON, N.J. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving, Artificial Intelligence 2 (1971), 189Google Scholar
  2. [2]
    KELEMEN, J. A generalized approach to problem-solving, (in Slovak), Master Thesis, 1974Google Scholar
  3. [3]
    SANDEWALL, E.J. Concepts and methods for heuristic search, Proc. Intern. Joint Conf. Artificial Intelligence, Washington, D.C., 1969Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Jozef Kelemen
    • 1
  1. 1.Department of Theoretical CyberneticsKomensky UniversityBratislavaCzechoslovakia

Personalised recommendations