Publications
-
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.
-
Hypothesis Formation as Design
-
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.