Showing papers by "Paul Morris published in 1981"
Proceedings Article•
[...]
TL;DR: Control knowledge for a general problem solver is studied, which has led to surprising efficiency in suitable domains but the lesson seems to be that it is easier to avoid being stupid than to try to be smart.
Abstract: We are studying control knowledge for a general problem solver, named BLOCKHEAD. Currently the problem solver is based on negative heuristics, which has led to surprising efficiency in suitable domains. The lesson seems to be that it is easier to avoid being stupid than to try to be smart. Stupid plans are defined and a plan improvement method proposed. Analyses of stupid plans and failed plans suggest effective negative heuristics.
27 citations
01 Jan 1981
TL;DR: One aspect of the proposed research involves development of a non-von Neumann architecture for parallel execution of logic programs and transformation of high level logic specifications into efficient Prolog and/or procedural language programs.
Abstract: Author(s): Conery, John S.; Morris, Paul H.; Kibler, Dennis F. | Abstract: The goal of the proposed research is to develop methods for efficient implementation of logic programs. There are two areas we wish to investigate, both of which are continuations of research conducted by members of the UCI dataflow architecture group. One aspect of the proposed research involves development of a non-von Neumann architecture for parallel execution of logic programs; preliminary work in this area is reported by Conery [9]. The second area invovles transformation of high level logic specifications into efficient Prolog and/or procedural language programs, and is based on work by Morris [20].
4 citations