Fast hypothetical reasoning system using inference-path network

Mitsuru Ishizuka, Fumiaki Ito

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

5 Citations (Scopus)

Abstract

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
Pages352-359
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

Other

OtherThird International Conference on Tools for Artificial Intelligence
CitySan Jose, CA, USA
Period91/11/591/11/8

ASJC Scopus subject areas

  • Engineering(all)

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

  • Cite this

    Ishizuka, M., & Ito, F. (1992). Fast hypothetical reasoning system using inference-path network. In Third Int Conf Tools Artif Intell (pp. 352-359). Publ by IEEE.