Abstract
A fast hypothetical reasoning system is described which is named KICK-SHOTGAN, and which avoids inefficient backtracking by the forward synthesis of necessary hypothesis combination along this network. The formation of the inference-path network is based on a linear-time algorithm for the satisfiability testing of propositional Horn clauses. This system differs from ATMS mainly in its total problem solving nature. That is, it works for the logical problem-solving framework which yields a solution for a given goal, whereas the ATMS calculates possible data supported by hypotheses incrementally in response to the input of a justification (rule) from a problem solver existing outside the ATMS.
| 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 | 352-359 |
| 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)