MSID Highlights MSID Opportunities MSID Partners MSID Products MEL MSID Programs MSID Conferences MSID Search MSID Staff MSID Services MSID Standards MSID Publications NIST MSID MSID MSID
Publications

PLEASE NOTE: The Publications System provided by the Manufacturing Systems Integration Division (MSID) has moved to: http://www.mel.nist.gov/msidlibrary/publications.html. The pages below are maintained for archival purposes only.

Publication summary

Author(s): Tom Kramer

Publication date: 1986

Citation: Tom Kramer: "Automated Analysis of Operators on State Tables: A Technique for Intelligent Search," Journal of Automated Reasoning, 1986.

Availability:

  • A paper copy of this document is available by contacting Kristy Thompson [web,email]
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 driving 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.


Attention users of these documents: The information contained in these files should not be altered in any way. Attempts to change these files will adversely impact the integrity of the information and its usefulness. It is intended for use as is and will lose its usefulness if changed.

 

Send questions or comments to Webmaster.