Sciweavers

IJCAI
1989
14 years 1 months ago
Parallel Iterative A* Search: An Admissible Distributed Heuristic Search Algorithm
In this paper, a distributed heuristic search algorithm is presented. We show that the algorithm is admissible and give an informal analysis of its load balancing, scalability, an...
Shie-rei Huang, Larry S. Davis
IJCAI
1989
14 years 1 months ago
The Search Ahead Conflict Resolution for Parallel Firing of Production Systems
To explore the parallelism among rules is one of the ways to increase the speed of production systems. In this paper, an Object Pattern Matching model is proposed to interpret the...
Chinh-Chi Hsu, Feng-Hsu Wang
IJCAI
1989
14 years 1 months ago
Towards a Theory of Conflict Detection and Resolution in Nonlinear Plans
This paper deals with a well known problem in AI planning: detecting and resolving conflicts in nonlinear plans. We sketch a theory of restricted conflict detection and resolution...
Joachim Hertzberg, Alexander Horz
IJCAI
1989
14 years 1 months ago
Concept Formation by Incremental Conceptual Clustering
Incremental conceptual clustering is an important area of machine learning. It is concerned with summarizing data in a form of concept hierarchies, which will eventually ease the ...
Mirsad Hadzikadic, David Y. Y. Yun
IJCAI
1989
14 years 1 months ago
Platypus: A Constraint-Based Reasoning System
Platypus is a constraint-based reasoning engine for synthesis, diagnosis and other recognition tasks. While its target applications are similar to those of many rule-based expert ...
William S. Havens, Paul Stephen Rehfuss
IJCAI
1989
14 years 1 months ago
Program Derivation Using Analogy
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...
Mehdi T. Harandi, Sanjay Bhansali
IJCAI
1989
14 years 1 months ago
Integrating Knowledge-Based System and Neural Network Techniques for Robotic Skill Acquisition
This paper describes an approach to robotic control that is patterned after models of human skill acquisition. The intent is to develop robots capable of learning how to accomplis...
David Handelman, Stephen Lane, Jack Gelfand