Genifer is an AGI or common-sense reasoning agent.
We're currently building a rapid prototype in Lisp.
A book draft describing the AGI theory behind Genifer can be downloaded at:
We're recruiting people to implement the following algorithms:
1. abductive reasoning
2. inductive learning
3. associative memory
4. belief-desire-intention architecture
5. means-end reasoner
6. belief revision
The tasks are not as hard as they sound, due to using a very simple logic and not being too strict about meeting the full requirements of the modules. Each task can be finished in a couple weeks. Contact me if you're interested.
Also, you can hang out with us on the IRC channel on Freenode #Genifer or #OpenCog.