Knowlus

The truth is in here

Knowlus is a Web 2.0 service and platform for community generated solvers for complex problems. Everyone can create her own solver and use solvers created by others. Today Knowlus has following tools:

StepClass — rule-based expert system shell with guided knowledge elicitation, consistency and completeness control;
Prolog — logic programming shell;
artificial neural network module;
container allows combining multiple components.
interactive theorem prover;

First four solvers help you solving recommendation or classification problems, i.e. mapping several input attributes/criteria/parameters into output attribute/goal/recommendation/diagnosis.

One can split complex problem into several simpler subproblems and solve them by most suitable tool. Now orchestration is performed by Prolog with the special functor fire. Knowlus is in permanent development. So more and more intelligent tools will be introduced in near future. The most anticipated tool is a decision support.

Examples:

You can view the implementation details of solvers by switching to edit mode.