We propose guiding vectors to augment graph-based tree synthesis, in which trees are collections of least-cost paths in a graph. Each node has an associated guiding vector; edges parallel to the guiding vector are cheap, but edges are more expensive when their orientation differs from the guiding vector. We further propose an incremental method for assigning guiding vectors over the graph, in w...

This report studies chaotic systems with particular emphasis on the recently developed method of E. Ott, C. Grebogi and J. A. Yorke [Ott 1990] (the OGY method) for controlling such systems. Concepts useful in understanding chaos in general are introduced. We can conceptualise chaotic systems as arising from classes of differential equations having particularly intractable solutions sets. Howeve...

In this paper, we present a basic set of methods to guide a proof in the Whelk logic program synthesis system. Starting from the methods used in the Oyster/CL A M system, designed for a functional context, we developed some proof \critics" to solve the cases in which those methods are blocked in a relational context. The application of those methods and proof critics is illustrated by an exampl...