Status: Accepted Owner: ---- Labels: Type-Enhancement Priority-Critical Milestone-Release0.6.5
New issue 1309 by fabian.seoane: implement backward chaining for rules http://code.google.com/p/sympy/issues/detail?id=1309 Currently, our core.facts module only supports forward-chaining. Bakcward-chaining support was planned but never completed. (definition: Backward chaining starts with a list of goals (or a hypothesis) and works backwards from the consequent to the antecedent to see if there is data available that will support any of these consequents) For the new assumption system, this will mean that query(x, 'integer', Assume(x, 'odd')) will return True without the need to write any code since odd ==> integer. This issue should implement backward-chaining, either in this module or in a separate one. related resources are: - http://en.wikipedia.org/wiki/Backward_chaining - aima-python: http://code.google.com/p/aima-python/ . They have implemented a nice logic module which supports backward-chaining. However, I could not get it to work beyond the examples they provide. - PyKE: http://pyke.sourceforge.net/about_pyke/index.html -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sympy-issues?hl=en -~----------~----~----~----~------~----~------~--~---
