Problem solving and nondeterministic programming systems
Kennedy, William George
Powers, V. Michael
MetadataShow full item record
This paper suggests and discusses an implementation of several ideas in the area of problem solving and nondeterministic programming systems. After discussing the history of work in this field, definitions of forward, horizontal, and backwards simple moves are given. With these definitions, the level of a problem is defined to be the maximum number of consecutive backwards moves required to solve the problem. Level zero problems can be solved using forward and horizontal moves only. It is then shown how two methods, the combination of moves and problem reduction, sometimes reduce the level of a problem. The use of Gibbons' Q-size rule to prevent redundancy is shown to sometimes conflict with heuristic search methods. The use of a hashing function to detect redundancy is discussed. The choosing of moves according to their evaluation of move types was used in a program, POPS II, based on Gibbons' POPS, which was shown to be more efficient than previous nondeterministic problem solvers for several problems.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
Agrawal, B.N. (1993);This paper presents a boundary-layer model to predict dynamic characteristics of liquid motion in partially filled tanks of a spinning spacecraft. The solution is obtained by solving three boundary-value problems: an ...
Schwartz, Garry S. (Monterey, California. Naval Postgraduate School, 1993-03);This thesis addresses two problems in aligning the recruiting structure for Navy Recruiting Command. The first problem involves two decisions affecting recruiting stations within a single recruiting district: which stations ...
On partitioning an arbitrarily given set of elements of a finite Boolean algebra into the minimum number of sets of compatible elements Colwell, Samuel C., III (Monterey, California. Naval Postgraduate School, 1964);During the past several years at the United States Naval Postgraduate School there has been much interest in obtaining an efficient method for making a time schedule for classes. A mathematical model for a simplified ...