Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Third Int Conf Tools Artif Intell |
| Place of Publication | Piscataway, NJ, United States |
| Publisher | Publ by IEEE |
| Pages | 360-367 |
| Number of pages | 8 |
| ISBN (Print) | 0818623004 |
| Publication status | Published - 1992 |
| Externally published | Yes |
| Event | Third International Conference on Tools for Artificial Intelligence - San Jose, CA, USA Duration: 1991 Nov 5 → 1991 Nov 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
- Engineering(all)