A Proposal to Reduce Cumulative Reasoning Time in Hypothetical Reasoning

摘要

Considered in this paper is a method to reduce cumu - lative execution time in hypothetical reasoning using infer- ence-path network. Logic-based hypothetical reasoning provides an efficient framework that can be applied to such areas as diagnostics and design, but in so doing, the reason- ing speed may Prove insufficient. This Problem seems to be solvable by using partial hypothetical knowledge. In this case, more than one iteration with partial hypothetical knowledge may be required to find a solution. Some exist- ing techniques involve iterative reasoning within the same knowledge base while varying the hypothetical knowledge; networks are generated as necessary and hypotheses are synthesized at each iteration. On the contrary the method proposed in this study involves reduction of execution time by reusing the results of previous reasoning. Specifically, the cumulative execution time is reduced by applying the concept of stage, by partially deterring inference-path gen- eration, and by keeping the results of hypothetical reason- ing.