抄録
A hypothetical reasoning is an important knowledge system's framework because of its theoretical basis and its usefulness for practical problems including diagnosis, design, etc. One crucial problem with the hypothetical reasoning is, however, its slow inference speed. In order to achieve practical or tractable speed, polynomial-time approximate solution method of equivalent 0-1 integer programming, i.e., pivot and complement method, has been applied to computing hypothetical reasoning. However, to achieve further improvement by considering the knowledge structure of a given problem, it is beneficial to have another inference method which can work in knowledge domain rather than mathematical programming domain. For this purpose, the above method is reformalized in this paper using a new type of network. By taking advantage of the knowledge structure, this network achieves an inference speed in the order of 0(N2) against N, where N indicates problem size.
本文言語 | English |
---|---|
ホスト出版物のタイトル | Proceedings of the International Conference on Tools with Artificial Intelligence |
編集者 | Anon |
Place of Publication | Piscataway, NJ, United States |
出版社 | Publ by IEEE |
ページ | 184-187 |
ページ数 | 4 |
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
- ソフトウェア