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 |
---|