The logic module is slowly becoming useful. This week I managed to get some basic inference in propositional logic working. This should be enough for the assumption sysmtem (although having first-order inference would be cool).
You can pull from my branch:
git pull http://fseoane.net/git/sympy.git logic
Here are some examples of what it can do:
First, importing and defining our […]

The first task for my Summer of Code project is to write a nice boolean algebra module. I wanted a clean module that follows SymPy’s object model and that plays well with other objects. In practice this means that it should inherit from Basic and that it should behave well with python’s boolean values (True, […]

As a prerequisite of my GSOC project I have to do some modifications on sympy’s current logic module (see previous post), so I decided to go out and take a look at what others are doing in this area.
aima-python is a project that tries to implement all algorithms found in the excellent book AI: A […]