Technical Report CIS9812

Title: Controlled Utilization of Control Knowledge for Speeding up Logic Inference
Authors: Oleg Ledeniov and Shaul Markovitch
Abstract: The utility problem occurs when the cost of the acquired knowledge outweighs its benefit. When the learner acquires control knowledge for speeding up a problem solver, the benefit is the speedup gained due to the better control, and the cost is the added time required by the control procedure due to the added knowledge. Previous work in this area was mainly concerned with the cost of matching control rules. The solutions to this kind of utility problem involved some kind of selection mechanism to reduce the number of control rules (or, generally, they involved filtering of control knowledge). In this work we consider a control mechanism that carries very high cost regardless of the particular knowledge acquired, therefore filtering of control knowledge does not reduce the execution time. We propose to use in such cases explicit reasoning about the economy of the control process. A "control of control" module supervises the work of the control procedure, invoking and stopping it selectively. For its decisions, this module needs some "control of control" knowledge, which can be learned from experience. We have implemented this framework within the context of a program for speeding up logic inference by subgoal ordering. We conducted a series of experiments that showed the usefulness of the proposed framework.
CopyrightThe above paper is copyright by the Technion, Author(s), or others. Please contact the author(s) for more information

Remark: Any link to this technical report should be to this page (, rather than to the URL of the PDF files directly. The latter URLs may change without notice.

To the list of the CIS technical reports of 1998
To the main CS technical reports page

Computer science department, Technion