Publications
-
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.
-
Localized Search
This report does not describe GEMPLAN, but only its generic localized search algorithm. We only explain and abstract features of GEMPLAN on which this search algorithm is based. As a…
-
Can AI Planners Solve Practical Problems?
This paper describes this new extension and the new applications of the planner. One of these applications is the problem of producing products from raw materials on process lines under…
-
Stereomodel Acquisition Geometry
In this research stereomodel acquisition geometry is analyzed, the relationship between stereomodel geometric parameters and stereoscopic fusion is established, and a criterion for collection of fusible models is tested.
-
The Path-Indexing Method For Indexing Terms
The path-indexing method for indexing first-order predicate calculus terms is a refinement of the standard coordinate-indexing method.
-
A Perspective On Multiagent Planning
This report presents an informal review of current research trends in planning and, in particular, my own views on multiagent planning. A short description of the GEMPLAN research project is…
-
Decision Analysis Using Belief Functions
In this paper we offer a probabilistic interpretation of a simple assumption that disambiguates decision problems represented with belief functions. We prove that it yields expected values identical to those…
-
Toward a Foundation for Evaluating AI Planners
This paper presents criteria for evaluating AI planners; these criteria fall into three categories: (1) performance issues, (2) representational issues, and (3) communication issues.
-
Review of ‘Logical Foundations for Belief Representation’
Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC