Genifer is a general inference engine based on logic and inductive learning, with an emphasis on self-programming.

Its aim is to be universally applicable both as an embedded software component and as a high-level operating system and environment.

News / Blog Live Chat - #Genifer on IRC.Freenode.Net Discussion Group Introductory Slides Online Book describing the AI theory behind Genifer

The current Prototype (v1) consists of:

1) a simple NL (English) interface

2) deduction, including deductive planning

a) backward chaining

b) forward chaining

3) inductive learning

The "ouroboros" logo came from Abram's analogy that RSI (recursive self-improvement) is like a snake eating its own tail.

This project is mixed-language:

Cobra is a .NET/Mono language with Python-like syntax. We will develop on both Java and .NET platforms. Currently a prototype in Lisp is available, and will be ported to Java + Scala + Clojure. The prototypes on different platforms can have variations, so we can explore more algorithmic ideas.

<B>

Our financial accounting information is open to all members.

Unknown end tag for </b>

Also, we're experimenting with a virtual credit scheme that will eventually give company shares to contributors.

http://img821.imageshack.us/img821/2858/genifer1.png' width='250' height='150' />