An extension of Prolog, based on the model elimination theorem-proving procedure, would permit production of a logically complete Prolog technology theorem prover capable of performing inference operations at a rate approaching that of Prolog itself.
A new form of abduction—least specific abduction—is proposed as being more appropriate to the task of interpreting natural language than the forms that have been used in the traditional diagnostic and design-synthesis applications of abduction.
This technical note describes a region-based data structure that is easily obtained, lends itself to description of the data in a rich manner by a process of pointer reduction, and reduces combinatorial types of search by implicitly including positional information.
Most AI domain representations have been based on state-oriented world models. In this paper we present an event-based model that focuses on domain events (both atomic and nonatomic) and on the causal and temporal relationships among them.
A new time representation is described that allows a continuously changing world to be represented, so that queries about the truth of a proposition at an instant or over an interval can be answered.
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.
A relatively simple method for handling higher-order functions (funargs) in LISP is described. It is also shown how this scheme allows extension of the LISP language to include partial application of functions.
Like most linguistic theories, the theory of generalized phrase structure grammar (GPSG) has described language axiomatically, that is, as a set of universal and language-specific constraints on the well-formedness of linguistic elements of some sort.
In this paper straightforward procedures are presented for calibrating a camera, computing the equation of a plane, and combining a camera calibration and an equation of a light plane to form a "sensor" matrix.
