Publications
-
Robot Problem Solving* Without State Variables
Waldinger has proposed a scheme for getting around the original robot problem by extending the logic to handle sets and tuples (still keeping an explicit state variable around).
-
Scene Analysis Using Regions
The method employed uses regions as basic data and progresses by successive partitioning of the picture toward an interpretable "goal partition", which is then explored by a heuristic decision tree.
-
Resolution Graphs
This paper introduces a new notation, called "resolution graphs," for deduction by resolution in first-order predicate calculus.
-
The Frame Problem in Problem-Solving Systems
The problem deals with the difficulty of creating and maintaining an appropriate informational context or "frame of reference" at each stage in certain problem-solving process.
-
A Survey of the Literature on Problem-Solving Methods in Artificial Intelligence
This paper groups these problem-solving methods under three major headings: the State-Space Approach, the Problem-Reduction Approach, and the Formal-Logic Approach.
-
Research on Automatic Program-Synthesis Systems
We mean to devise a natural way to define program-writing problems and describe programming languages, and then improve the known methods of program synthesis and investigate new ones.
-
A LISP Implementation of BIP
This document describes a LISP implementation of BIP (Basic Interface Package) on the PDP-10 computer.
-
AROS Algorithms for Partitioning a Picture
This one-pass algorithm is rather complex in nature, and several alternatives have been suggested, one of which (a two-pass algorithm) we have chosen for use for comparison purposes because of…
-
Pointing to Places in a Deductive Geospatial Theory
Issues in the description of places are discussed in the context of a logical geospatial theory.
-
A Question Answering System for AP Chemistry: Assessing KR Technologies
In this paper, we present a knowledge-based question-answering system that we developed as part of a broader effort by Vulcan Inc. to assess KR&R technologies, and the result of its…
-
Deductive Coordination of Multiple Geospatial Knowledge Sources
This theory lies at the core of the system GeoLogica, which deduces answers to geographical questions based on knowledge provided by multiple agents.
-
OKBC: A Foundation for Knowledge Base Interoperability
Open Knowledge Base Connectivity is an application programming interface for accessing KRSs, and was developed to enable the construction of reusable KB tools.