Fast hypothetical reasoning system using inference-path network

Mitsuru Ishizuka*, Fumiaki Ito

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)


A fast hypothetical reasoning system is described which is named KICK-SHOTGAN, and which avoids inefficient backtracking by the forward synthesis of necessary hypothesis combination along this network. The formation of the inference-path network is based on a linear-time algorithm for the satisfiability testing of propositional Horn clauses. This system differs from ATMS mainly in its total problem solving nature. That is, it works for the logical problem-solving framework which yields a solution for a given goal, whereas the ATMS calculates possible data supported by hypotheses incrementally in response to the input of a justification (rule) from a problem solver existing outside the ATMS.

Original languageEnglish
Title of host publicationThird Int Conf Tools Artif Intell
Place of PublicationPiscataway, NJ, United States
PublisherPubl by IEEE
Number of pages8
ISBN (Print)0818623004
Publication statusPublished - 1992
Externally publishedYes
EventThird International Conference on Tools for Artificial Intelligence - San Jose, CA, USA
Duration: 1991 Nov 51991 Nov 8


OtherThird International Conference on Tools for Artificial Intelligence
CitySan Jose, CA, USA

ASJC Scopus subject areas

  • Engineering(all)


Dive into the research topics of 'Fast hypothetical reasoning system using inference-path network'. Together they form a unique fingerprint.

Cite this