Reasoning for Information: Seeking and Planning Dialogues provides a
logic-based reasoning component for spoken language dialogue systems.
This component, called Problem Assistant is responsible for processing
constraints on a possible solution obtained from various sources, namely
user and the system's domain-specific information. The authors also
present findings on the implementation of a dialogue management
interface to the Problem Assistant. The dialogue system supports simple
mixed-initiative planning interactions in the TRAINS domain, which is
still a relatively complex domain involving a number of logical
constraints and relations forming the basis for the collaborative
problem-solving behavior that drives the dialogue.