genifer

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