Inference Engine

Users will have the ability to create and maintain projects, a collection of annotated first-order-logic formulas associated with notes and explanations in natural language.
The system will be accesible from anywhere over the Internet.Projects will be stored in a postgre SQL database system and submitted to a theorem prover.

GnosioGenesis will use OTTER as the main inference engine.

For a demonstration of the use of OTTER over the Internet, please click here.