Fast hypothetical reasoning system using inference-path network

Abstract

While it i s a very useful knowledge-processing framework applicable to many practical problems, the most crucial problem of logic-based hypothetical reasoning system is its slow inference speed. This paper describes a fast hypothetical reasoning system named KICKSHOTGAN, which avoids inefficient backtracking by forming a compiled inference-path network… (More)
DOI: 10.1109/TAI.1991.167115

Topics

4 Figures and Tables