Skip to main content
Log in

Automated analysis of operators on state tables: A technique for intelligent search

  • Published:
Journal of Automated Reasoning Aims and scope Submit manuscript

Abstract

When searching lists, the current situation is represented by a state table, and changes in the situation are brought about by operators. An automated technique for selection of the right sequence of operators is described, based on a knowledge of the last operator or two, and deriving only a limited selection of subsequent operators, without prior knowledge of the current state. A table is output with, for each feasible sequence of one or two operators, a list of operators that might be tried next. Application of the technique to a robot moving blocks is described, and a LISP implementation is provided.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References to Related Work (not cited in the text)

  1. Barr, Aron, and Feigenbaum, Edward, A.,Handbook of Artificial Intelligence, vol. 1, pp. 128–139 and vol. 3, pp. 515–562 Heuristech Press.

  2. Faletti, Joseph, ‘PANDORA — A program for doing commonsense planning in complex situations’,Proceedings of the National Conference on Artifical Intelligence, AAAI (1982) pp. 185–188.

  3. GeorgeffM. P., ‘Strategies in heuristic search’,Artificial Intelligence 20, 393–425 (1983).

    Article  Google Scholar 

  4. Korf, Richard E., ‘A program that learns to solve Rubik's Cube’,Proceedings of the National Conference on Artifical Intelligence, AAAI (1982) pp. 164–167.

  5. Nilsson, Nils J.,Principles of artificial intelligence, Tioga Publishing Co., pp. 277–279 (1980).

  6. Pearl, Judea,Heuristics, Addison-Wesley, pp. 118–121 (1984).

  7. StepankovaOlga and HavelIvan M., ‘A logical theory of robot problem solving’,Artificial Intelligence 7, 129–161 (1976).

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

The work described in this paper was performed under Grant No. 70NANB4H0006 from the National Bureau of Standards to the Catholic University of America.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kramer, T. Automated analysis of operators on state tables: A technique for intelligent search. J Autom Reasoning 2, 127–153 (1986). https://doi.org/10.1007/BF02432148

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02432148

Key words

Navigation