Artificial intelligence publications
-
Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
Reasoning systems that are goal-directed and avoid repeatedly solving the same goals can be constructed by formulating the top-down methods metatheoretically for execution by a bottom-up reasoning system (hence, we…
-
A Model for the Functioning of the Striatum
A model is presented for the operation of the striatum. The model posits that the basal ganglia are responsible for driving smooth transitions of state for an organism.
-
Color in computer vision
The use of color in computer vision has received growing attention. This chapter gives the state-of-the-art in this subfield, and tries to answer the questions: What is color? Which are the…
-
A Qualitative Biochemistry and its Application to the Regulation of the Tryptophan Operon
This article is concerned with the general question of how to represent biological knowledge in computers such that it may be used in multiple problem solving tasks.
-
SRI International FASTUS system MUC-6 test results and analysis
The fundamental ideas behind FASTUS are retained in the current system: an architecture consisting of cascaded finite state transducers, each providing an additional level of analysis of the input, together…
-
Determining the fundamental matrix with planes: unstability and new algorithms
The fundamental matrix is a key concept when working with uncalibrated images and multiple viewpoints. It contains all the available geometric information and enables recovery of the epipolar geometry from…
-
On determining the Fundamental matrix: analysis of different methods and experimental results
This paper addresses the important problem of its robust determination given a number of image point correspondences. We first define precisely this matrix and show clearly how it is related…
-
Deductive Foundations of Computer Programming
Book available online
-
Frame Representation and Relational Data Bases: Alternative Information-Management Technologies for Systematics
-
Applying an AI Planner to Military Operations Planning
The systems, SOCAP (System for Operations Crisis Action Planning), combines a newly extended version of an AI planning system, SIPE-2, with a color map display and applies this technology to…
-
The Role(s) of Logic in Artificial Intelligence
In this essay, we shall briefly sketch some of the roles logic plays in AI; we shall end with some mention of these recent challenges and lines of inquiry.
-
The Grasper-CL Graph Management System
Grasper-CL [5] is a COMMON LISP system for manipulating and displaying graphs, and for building graph-based user interfaces for application programs.