Automatized Control System Design Assisted by Hypothetical Reasoning

Improving Search in a Hypothetical Reasoning System

Fast Hypothetical Reasoning by Parallel Processing

Hypothetical reasoning is an important framework for knowledge-based systems because it is theoretically founded and useful for many practical problems. Since the inference time of hypothetical reasoning grows exponentially with respect to problem size, its ineÆciency becomes the most crucial problem when applied to

Story-enabled Hypothetical Reasoning

Story understanding is a central competence that illuminates all other aspects of human intelligence. In this work, I demonstrate how our story understanding ability sheds light on our ability to think in terms of hypothetical situations. Using the Genesis story understanding system as a substrate, I develop a story-enabled hypothetical reasoning system that models several high-level human abil...

An efficient hypothetical reasoning system for predicate-logic knowledge-base

A hypothetical reasoning system & an important framework in the development of advanced knowledge-based systems. It can be effectively applied to many practical problems including model-based diagnosis, and designs. However, the inference speed of its PROLOG-based implementation is slow, and this is particularly because of inefficient backtracking. In order to overcome this problem, a fast hypo...

Fast hypothetical reasoning system using inference-path network

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 followed by the forward synthesis of nece...