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
Place of PublicationPiscataway, NJ, United States
出版社Publ by IEEE
ページ352-359
ページ数8
ISBN(印刷版)0818623004
出版ステータスPublished - 1992
外部発表はい
イベント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
CitySan Jose, CA, USA
Period91/11/591/11/8

ASJC Scopus subject areas

  • 工学(全般)

フィンガープリント

「Fast hypothetical reasoning system using inference-path network」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル