Fast hypothetical reasoning using analogy on inference-path networks

Mitsura Ishizuka, Akinori Abe

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

One crucial problem with a hypothetical reasoning system is its slow inference speed, while it is a very useful framework in knowledge processing. We present a fast mechanism for the hypothetical reasoning, by using analogy of results which were previously proved to be true. An inference-path network can be effectively used for selecting useful hypotheses from an analogous case, and for generating new additional hypotheses which are necessary for proving a new goal. The inference speed of the hypothetical reasoning, whose computational complexity has been proved to be NP-complete or NP-hard, can not be improved from the exponential-order limit as long as we use ordinary search methods. This paper shows, however, that this limit can be overcome in average inference time by using analogy.

本文言語English
ホスト出版物のタイトルProceedings of the International Conference on Tools with Artificial Intelligence
編集者 Anon
出版社Publ by IEEE
ページ232-239
ページ数8
ISBN(印刷版)0818642009
出版ステータスPublished - 1993
外部発表はい
イベントProceedings of the 5th International Conference on Tools with Artificial Intelligence TAI '93 - Boston, MA, USA
継続期間: 1993 11 81993 11 11

Other

OtherProceedings of the 5th International Conference on Tools with Artificial Intelligence TAI '93
CityBoston, MA, USA
Period93/11/893/11/11

ASJC Scopus subject areas

  • ソフトウェア

フィンガープリント

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

引用スタイル