Search
Now showing items 1-10 of 62
A Comparative Analysis of Reinforcement Learning Methods
(1991-10-01)
This paper analyzes the suitability of reinforcement learning (RL) for both programming and adapting situated agents. We discuss two RL algorithms: Q-learning and the Bucket Brigade. We introduce a special case of the ...
A Control Algorithm for Chaotic Physical Systems
(1991-10-01)
Control algorithms which exploit the unique properties of chaos can vastly improve the design and performance of many practical and useful systems. The program Perfect Moment is built around such an algorithm. Given ...
Intellectual Property and Software: The Assumptions are Broken
(1991-11-01)
In March 1991 the World Intellectual Property Organization held an international symposium attended primarily by lawyers, to discuss the questions that artificial intelligence poses for intellectual property law (i.e., ...
Natural Language Based Inference Procedures Applied to Schubert's Steamroller
(1991-12-01)
We have previously argued that the syntactic structure of natural language can be exploited to construct powerful polynomial time inference procedures. This paper supports the earlier arguments by demonstrating that a ...
Grammar Rewriting
(1991-12-01)
We present a term rewriting procedure based on congruence closure that can be used with arbitrary equational theories. This procedure is motivated by the pragmatic need to prove equations in equational theories where ...
Correspondence and Affine Shape from Two Orthographic Views: Motion and Recognition
(1991-12-01)
The paper presents a simple model for recovering affine shape and correspondence from two orthographic views of a 3D object. It is shown that four corresponding points along two orthographic views, taken under similar ...
Lifting Transformations
(1991-12-01)
Lifting is a well known technique in resolution theorem proving, logic programming, and term rewriting. In this paper we formulate lifting as an efficiency-motivated program transformation applicable to a wide variety ...
Observations on Cognitive Judgments
(1991-12-01)
It is obvious to anyone familiar with the rules of the game of chess that a king on an empty board can reach every square. It is true, but not obvious, that a knight can reach every square. Why is the first fact obvious ...
The Supercomputer Toolkit: A General Framework for Special-purpose Computing
(1991-11-01)
The Toolkit is a family of hardware modules (processors, memory, interconnect, and input-output devices) and a collection of software modules (compilers, simulators, scientific libraries, and high-level front ends) from ...
Piezoelectric Micromotors for Microrobots
(1991-02-01)
By combining new robot control systems with piezoelectric motors and micromechanics, we propose creating micromechanical systems which are small, cheap and completely autonomous. We have fabricated small - a few ...