The goal of this project is to develop the underlying technologies for spoken dialogue systems that serve as interfaces to complex, state-of-the-art reasoning systems. Most current speech and natural language projects are focusing on applications that involve very little intelligent reasoning, such as data-base query and formfilling. However, the great promise for speech and natural language in...

As our understanding of natural language generation has increased, a number of tasks have been separated from realization and put together under the heading atext planning I . So far, however, no-one has enumerated the kinds of tasks a text planner should be able to do. This paper describes the principal lesson learned in combining a number of planning tasks in a planner-realiser: planning and ...

Planning provides the basis for a theory of language generation that considers the communicative goals of the speaker when producing utterances. One central problem in designing a system based on such a theory is specifying the requisite linguistic knowledge in a form that interfaces well with a planning system and allows for the encoding of discourse information. The TELEGRAM (TELEological GRA...

When a planner must decide whether it has enough evidence to make a decision based on probability, it faces the sample size prob­ lem. Current planners using probabilities need not deal with this problem because they do not generate their probabilities from ob­ servations. This paper presents an event­ based language in which the planner's proba­ bilities are calculated from the binomial ran­ d...

Institut für Informationssysteme, TU Wien A-1040 Wien, Austria feiter,[email protected], fleone,pfeifer,[email protected] Abstract. We propose a new logic-based planning language, called K. Transitions between states of knowledge can be described in K, and the language is well suited for planning under incomplete knowledge. Nonetheless, K also supports the representation of trans...

In this work we investigate the use of propositional linear temporal logic LTL as a speciication language for planning problems and the use of analytic tableaux as a tool for plan search, following the \planning as satissability" approach 11]. We claim that LTL can be a good speciication language for planning problems, because of its rich expressive power and the underlying simple model of time...

We present a natural language generation approach which models, exploits, and manipulates the non-linguistic context in situated communication, using techniques from AI planning. We show how to generate instructions which deliberately guide the hearer to a location that is convenient for the generation of simple referring expressions, and how to generate referring expressions with context-depen...