Transforming horn clauses for forward reasoning
| العنوان: | Transforming horn clauses for forward reasoning |
|---|---|
| المؤلفون: | Thomas Labisch, Knut Hinkelmann, Martin Harm |
| المصدر: | Processing Declarative Knowledge ISBN: 354055033X PDK |
| بيانات النشر: | Springer-Verlag, 2005. |
| سنة النشر: | 2005 |
| مصطلحات موضوعية: | Horn clause, Computer science, business.industry, Substitution (logic), Artificial intelligence, Horn-satisfiability, business, Warren Abstract Machine |
| الوصف: | In principle there are two reasoning directions for Horn clauses. Top-down reasoning starts with a query, applying the clauses in backward direction until a fact is reached for every subgoal. The result of backward reasoning is a substitution for the variables of the query. Top-down reasoning can be implemented rather efficiently in the Warren Abstract Machine (WAM, [War83]). Bottom-up strategies start with the facts and apply the rules in forward direction. |
| ردمك: | 978-3-540-55033-4 3-540-55033-X |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_________::7df429cb2fad6acb284370aa8347f328 https://doi.org/10.1007/bfb0013552 |
| رقم الأكسشن: | edsair.doi...........7df429cb2fad6acb284370aa8347f328 |
| قاعدة البيانات: | OpenAIRE |
| ردمك: | 9783540550334 354055033X |
|---|