Artificial intelligence publications
-
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 Design Space of Frame Knowledge Representation Systems
This paper surveys the FRS design space in search of design principles for FRSs.
-
Fundamentals Of Deductive Program Synthesis
An informal tutorial is presented for program synthesis, with an emphasis on deductive methods. According to this approach, to construct a program meeting a given specification, we prove the existence…
-
Lucid and Intensional Logic
-
The Representation Space Paradigm Of Concurrent Evolving Object Descriptions
This paradigm is designed to be used by the perception system of an autonomous robot that needs to describe many types of objects, initially detects objects at a distance and…
-
Self-calibration of a camera using multiples images
The authors present a complete method for calibrating a camera, which requires only point matches from image sequences.
-
Reasoning with Analogical Representations
The framework consists of a set of generic operations on analogical structures and accompanying inference methods for integrating analogical and sentential information.
-
The Planning of Actions and The Basal Ganglia
The model posits that the basal ganglia are responsible for driving smooth transitions of state (e.g., joint positions) for an organism.
-
Camera self-calibration: theory and experiments
In this paper a complete method for calibrating a camera is presented. In contrast with existing methods it does not require a calibration object with a known 3D shape.
-
Active head movements help solve stereo correspondance
Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC