Publications
-
Introducing The Tileworld: Experimentally Evaluating Agent Architectures
We describe a system called Tileworld, which consists of a simulated robot agent and a simulated environment which is both dynamic and unpredictable. We describe our initial experiments using Tileworld,…
-
Task-Oriented Dialogues As A Consequence Of Joint Activity
The purpose of this paper to show how a number of difficult-to-explain features of these dialogues follow from the joint or team nature of the underlying task. Specifically, the paper…
-
Translation By Abduction
This approach overcomes the common machine translation bottleneck by allowing mapping of information from the source to the target language at a variety of levels from the most superficial to…
-
A Survey Of AI Approaches To The Integration Of Information
In this paper, we first review briefly a variety of AI inference techniques, focusing primarily on logical inference and uncertain reasoning methods. We conclude with a survey of approaches used…
-
On Acting Together
We present a formal definition of what it could mean for a group to jointly commit to a common goal, and explore how these joint commitments relate to the individual…
-
Prosody, Syntax and Parsing
We describe the modification of a grammar to take advantage of prosodic information provided by a speech recognition system. This initial study is limited to the use of relative duration…
-
Backwards Phonology
This paper makes "reversibility" explicit and demonstrates by means of examples from Tunica and Klamath that two-level phonology does have certain desirable capabilities that are not found in grammars of…
-
Two Principles Of Parse Preference
Our aims in this paper is first to present a compendium of many of these heuristics and secondly to propose two principles that seem to underlie the heuristics.
-
Interpretation As Abduction
In the TACITUS project at SRI we have developed an approach to abductive inference, called "weighted abduction," that has resulted in a significant simplification of how the problem of interpreting…
-
Decision-Making In An Embedded Reasoning System
This paper describes some of the features of a Procedural Reasoning System (PRS) that enables it to operate effectively in such environments.
-
A Framework for Evidential-Reasoning Systems
Evidential reasoning is a body of techniques that supports automated reasoning from evidence. It is based upon the Dempster-Shafer theory of belief functions. Both the formal basis and a framework…
-
On Formal versus Commonsense Semantics
Pure mathematical semantics is either a part of or an application of mathematical logic. Real semantics, even though an application of mathematical logic, is a part of the theory of meaning or content.