抄録
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月 8 → 1993 11月 11 |
Other
Other | Proceedings of the 5th International Conference on Tools with Artificial Intelligence TAI '93 |
---|---|
City | Boston, MA, USA |
Period | 93/11/8 → 93/11/11 |
ASJC Scopus subject areas
- ソフトウェア