Publications
-
A Simple Sensor to Gather Three-Dimensional Data
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…
-
Artificial Intelligence: Engineering, Science Or Slogan?
This paper presents the view that artificial intelligence (AI) is primarily concerned with propositional languages for representing knowledge and with techniques for manipulating these representations.
-
Computational Strategies For Analyzing The Organization and Use Of Information
A program of research is presented that is producing systems that make it possible to study the organization and use of information and, at the same time, provide more effective…
-
Deductive Synthesis Of The Unification Algorithm
The task of deriving a unification algorithm automatically is beyond the power of existing program synthesis systems. We will identify some of the capabilities required of a theorem-proving system to…
-
Detection Of Rivers In Low-Resolution Aerial Imagery
This paper describes an operator for detecting rivers in low-resolution aerial imagery. The operator provides results that would allow graph-traversing routines to delineate these structures.
-
Knowledge-Engineering Techniques and Tools in the Prospector Environment
Techniques and tools to assist in several phases of the knowledge-engineering process for developing an expert system are explored.
-
Random Sample Consensus: A Paradigm for Model Fitting with Applications to Image Analysis and Automated Cartography
A major portion of this paper describes the application of RANSAC to the Location Determination Problem (LDP): Given an image depicting a set of landmarks with known locations, determine that…
-
Test-Score Semantics for Natural Languages and Meaning Representation via PRUF
In test-score semantics, predicates, propositions and other types of linguistic entities are treated as collections of elastic constraints on a set of objects or relations in a universe of discourse.
-
Transportable Natural-Language Interfaces To Databases
This paper describes initial work on a methodology for creating natural-language processing capabilities for new databases without the need for intervention by specially trained experts. A prototype system using this…
-
Automatic Deduction For Commonsense Reasoning: An Overview
This article provides an overview of the issues involved in drawing conclusions by means of deductive inference from bodies of commonsense knowledge represented by logical formulas.
-
Problems In Logical Form
This paper surveys some of the key problems that arise in defining a system of representation for the logical forms of English sentences and suggests possible approaches to their solution…
-
Natural Language Access To Medical Text
This paper describes research on the development of a methodology for representing the information in texts and of procedures for relating the linguistic structure of a request to the corresponding…