The path-indexing method for indexing first-order predicate calculus terms is a refinement of the standard coordinate-indexing method. Path indexing offers much faster retrieval at a modest cost in space.
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 provided, including both the current state of the system and my future research plans.
A primary motivation for reasoning under uncertainty is to derive decisions in the face of inconclusive evidence. Shafer’s theory of belief functions, which explicitly represents the underconstrained nature of many reasoning problems, lacks a formal procedure for making decisions.
There exists a large body of Artificial Intelligence (AI) research on generating plans, i.e., linear or nonlinear sequences of actions, to transform an initial world state to some desired goal state. However, much of the planning research to date has been complicated, ill-understood, and unclear.
The manipulation of two dimensional elevation maps is an important part of digital cartography. In many situations, these maps are computed by interpolating sparse data such as isolated elevation points obtained from stereo matching.
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?
Certain restrictions on possible scopings of quantified noun phrases in natural language are usually expressed in terms of formal constraints on binding at a level of logical form.
Stuart M. Shieber, Gertjan Van Noord, Robert C. Moore, & Fernando C. N. Pereira
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 is applicable.
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 balances the geometric requirements against the photometric evidence.
