Search
Now showing items 1-10 of 10
Knowledge Strata Reactive Planning with a Multi-level Architecture
(1990)
This report demonstrates the use of "multi-level" or "layered" knowledge representation in Artificial Intelligence planning systems. Although multi-level representation schemes have been in use since the earliest days of ...
Computer Similarity in a Reuse Library System: An AI-based Approach
(1991)
This paper presents an AI-based library system for software reuse, called AIRS, that allows a developer to browse a software library in search of components that best meet some stated requirement. A component is described ...
Complexity Results for HTN Planning
(1994)
Most practical work on AI planning systems during the last fifteen years has been based on hierarchical task network decomposition, but until now, there has been very little analytical work on the properties of HTN planners. ...
Planning in Uncertain, Unpredictable or Changing Environments
(1990)
This report is a compendium of the extended abstracts submitted by participants at the 1990 AAAI Spring Symposium entitled Planning in Uncertain, Unpredictable or Changing environments. The papers concentrate on extending ...
PRA: Massively Parallel Heuristic Search
(1991)
In this paper we describe a variant of A* search designed to run on the massively parallel, SIMD Connection Machine. The algorithm is designed to run in a limited memory by use of a retraction technique which allows nodes ...
Exploiting Limited Interactions in Plan Optimization
(1990)
Past Planning systems have generally focused on structures capable of working in all domains (domain-independent planning) or on specific heuristics for a particular applied domain (domain-dependent planning). An alternate ...
Linking Symbolic and Subsymbolic Computing
(1993)
The growing interest in integrating symbolic and subsymbolic computing techniques is manifested by the increasing number of hybrid systems that employ both methods of processing. This paper presents an analysis of some of ...
Knowledge Representation in PARKA - Part 2: Experiments, Analysis, and Enhancements
(1992)
Our research group has designed and implemented a symbolic knowledge representation system called PARKA which runs on the Connection Machine, a massively parallel SIMD computer [9]. The semantics of this system are discussed ...
Complexity, Decidability and Undecidability Results for Rule- Based Expert Systems
(1992)
We prove the equivalence of domain-independent planning systems and rule-based expert systems. We use this equivalence to examine how the complexity of deriving conclusions in rule-based expert systems depends on the nature ...
Integrating Neural Network and Export Reasoning: An Example
(1991)
In this paper we describe a shell which has been developed to allow an integration of neural network and expert systems technology. The system, SCRuFFy, is based on an analysis of the different abilities and time courses ...