Firenze is an implementation of the deduction, induction and abduction mental inference processes written on Java for pure educational purposes. No other uses are recommended but those of academic and research nature.
As the project grows in size and stability, more features will be added, namely:
- Rule-set based deduction.
- Rule-set induction.
- Rule-set abduction.
- Graphical user interface.
- Dynamic and random rule setting.
- User interaction to help the inference process.
While no license has been chosen, as of this point you can safely assume that the project will remain open-sourced as long as the development process is running.