A lattice-theoretical approach to problem-solving
The starting point of this paper is Sandewall's conception of using multiple-input and multiple-output operators in problem-solving (see ). 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.
- 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
- KELEMEN, J. A generalized approach to problem-solving, (in Slovak), Master Thesis, 1974Google Scholar
- SANDEWALL, E.J. Concepts and methods for heuristic search, Proc. Intern. Joint Conf. Artificial Intelligence, Washington, D.C., 1969Google Scholar