抄録
The methods of fast hypothetical reasoning systems developed for propositional logic cannot be applicable in a straightforward manner to the predicate-logic case. A fast hypothetical reasoning mechanism that is effective for predicate-logic knowledge (actually for function-free predicate Horn-clause knowledge) is presented. A reasoning method developed in the deductive database area is effectively applied to this mechanism.
| 本文言語 | English |
|---|---|
| ホスト出版物のタイトル | Third Int Conf Tools Artif Intell |
| Place of Publication | Piscataway, NJ, United States |
| 出版社 | Publ by IEEE |
| ページ | 360-367 |
| ページ数 | 8 |
| ISBN（印刷版） | 0818623004 |
| 出版ステータス | Published - 1992 |
| 外部発表 | はい |
| イベント | Third International Conference on Tools for Artificial Intelligence - San Jose, CA, USA 継続期間: 1991 11月 5 → 1991 11月 8 |
Other
| Other | Third International Conference on Tools for Artificial Intelligence |
|---|---|
| City | San Jose, CA, USA |
| Period | 91/11/5 → 91/11/8 |
ASJC Scopus subject areas
- 工学（全般）