NARS: Non-axiomatic Reasoning System

Pei-Wang’s well-defined approach to Artificial General Intelligence takes as basic premises the fact that the agent has limited time and memory resources. He then develops a reasoning system that learns from experience and is able to deal with uncertainty and contradictory data.

http://nars.wang.googlepages.com

The project has become open-source, so you can even have a look at the code. There is also an free e-book on the webpage.