Fast hypothetical reasoning system using inference-path network

Mitsuru Ishizuka, Fumiaki Ito

研究成果: Conference contribution

5 引用 (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.

元の言語English
ホスト出版物のタイトルThird Int Conf Tools Artif Intell
出版場所Piscataway, NJ, United States
出版者Publ by IEEE
ページ352-359
ページ数8
ISBN(印刷物)0818623004
出版物ステータスPublished - 1992
外部発表Yes
イベントThird International Conference on Tools for Artificial Intelligence - San Jose, CA, USA
継続期間: 1991 11 51991 11 8

Other

OtherThird International Conference on Tools for Artificial Intelligence
San Jose, CA, USA
期間91/11/591/11/8

ASJC Scopus subject areas

  • Engineering(all)

フィンガープリント Fast hypothetical reasoning system using inference-path network' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

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