This report presents a language, called QA4, designed to facilitate the construction of problem-solving systems used for robot planning, theorem proving, and automatic program synthesis and verification.
The discourse and task information in task oriented dialogs and their use in a speech understanding system are discussed in this paper. The results of analyzing some task oriented dialogs are given.
We describe in this paper a subjective Bayesian inference method that realizes some of the advantages of both formal and informal approaches. Of particular interest are the modifications needed to deal with the inconsistencies usually found in collections of subjective statements.
One of the primary advantages of the treatment of syntactic constraints on anaphoric binding that has been presented here is that it provides a framework for stating binding constraints in a precise manner.
