Publications
-
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…
-
Hypothesis Formation as Design
-
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.
-
Automatically Generating Universal Attachments Through Compilation
In this paper, we describe a compilation-based method for automatically generating new programs and new universal attachments to those programs given a base set of existing programs and universal attachments.
-
A Centralized Approach for Representing and Resolving Interactions Among Multi-agent Tasks while Planning Hierarchically
The advantages of hierarchical planning for construction projects and the difficulties associated with implementing hierarchical planning systems using artificial intelligence techniques are described.
-
Weighted Abduction For Plan Ascription
We describe an approach to abductive reasoning called weighted abduction, which uses inference weights to compare competing explanations for observed behavior. We present an algorithm for computing a weighted-abductive explanation,…