Publications
-
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…
-
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…
-
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.
-
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.
-
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…
-
Objective Functions For Feature Discrimination
We propose and evaluate a class of objective functions that rank hypotheses for feature labels. Our approach takes into account the representation cost and quality of the shapes themselves, and…
-
A Calculus For Semantic Composition and Scoping
We will show that those scoping restrictions follow from simple and fundamental facts about functional application and abstraction, and can be expressed as constraints on the derivation of possible meanings…
-
A Semantic-Head-Driven Generation Algorithm For Unification-Based Formalisms
We present an algorithm for generating strings from logical form encodings that improves upon previous algorithm in that it places fewer restrictions on the class of grammars to which it…
-
Generation and Recognition Of Inflectional Morphology
Koskenniemi’s two-level morphological analysis system can be improved upon by using a PATR-like unification grammar for handling the morphosyntax instead of continuation classes, and by incorporating the notion of negative…
-
Recognizing Objects In A Natural Environment: A Contextual Vision (CVS)
We identify a number of weaknesses in current recognition systems and propose specific mechanisms for dealing with some of these problems.