Problems in commonsense and robot planning are approached by methods adapted from program synthesis research; planning is regarded as an application of automated deduction.
IDA was developed at SRI to allow a casual user to retrieve information from a data base, knowing the fields present in the data base, but not the structure of the data base itself.
We examine the task of matching images of a scene when they are taken from very different vantage points, when there is considerable scale change, and when the image orientations are unknown.
An account is given of the appropriateness conditions for definite reference, in terms of the operations of inference and implicature. It is shown how a number of problematic cases noticed by Hawkins can be explained in this framework.
We present a system for the incremental interpretation of natural-language utterances in context. The main goal of the work is to account for the influences of context on interpretation, while preserving compositionality to the extent possible.
An account of utterance interpretation in discourse needs to face the issue of how the discourse context controls the space of interacting preferences.
The importance of plan inference in models of conversation has been widely noted in the com-putational-linguistics literature, and its incorporation in question-answering systems has enabled a range of cooperative behaviors.
