Model of Task Processing : : : : : : : : : : : : : : : : : : : : 7 1.3.2 Developing a Theory on the Role of Language : : : : : : : : : : : : : : : : : : : : : : : 8 1.3.3 Producing and Using Expectation : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 9 1.3.4 Development of the Theory of Mixed-Initiative Dialog : : : : : : : : : : : : : : : : : : 10 1.4 Dissertation Overview : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10 2 Related Work 12 2.1 Dialog Systems : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 12 2.1.1 Requirements : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 12 2.1.2 Portability : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 12 2.1.3 Question-Answer Systems : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 13 2.1.4 Miscellaneous Systems : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :...

This paper describes CBack, a simple, but general tool for backtrack programming in the programming language C. The use of the tool is illustrated through examples of a tutorial nature. In addition to the usual depth-first search strategy, CBack provides for the more general heuristic best-first search strategy. The implementation of CBack is described in detail. The source code, shown in its full length, is entirely written in ANSI C and highly portable across diverse computer architectures and C compilers

An efficient backtracking method for LISP, used in the MLISP2 language, is described. The method is optimal in the following senses: to the desired goal. At each branching point in the tree, a decision must be made as to which alternative to try next. Backtracking is designed to simplify the programming of this type of problem. <1) Only necessary state information is saved. The backtracking system routines are sufficiently efficient to require less than ten percent of the execution time of typical jobs. (2) Most common operations — fetching/storing the value of a variable or the property of an atom, function entry/exit — take no longer with backtracking than without it. This is