โ Scribed by Hideaki Nobata; Haruhiko Kimura; Sadaki Hirose
No coin nor oath required. For personal study only.
Considered in this paper is a method to reduce cumulative execution time in hypothetical reasoning using inference-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 reasoning 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 existing 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 generation, and by keeping the results of hypothetical reasoning.
๐ SIMILAR VOLUMES