资 源 简 介
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