Publications
-
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.
-
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.
-
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…
-
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
-
Concepts Of Information: Comparative Axiomatics
There is much talk about this being the Age of Information and about a Post-Industrial Revolution centered on information processing. But what exactly is information?
-
A Prolog Technology Theorem Prover: A New Exposition and Implementation In Prolog
This paper describes a new Prolog-based implementation of PTTP. It uses three compile-time transformations to translate formulas into Prolog clauses that directly execute, with the support of a few run-time…
-
Fast Parallel Surface Interpolation With Applications To Digital Cartography
In this paper, we present a surface interpolation algorithm based on variational splines which is well suited to massively parallel computers.