LudovicoVan
Posts:
3,004
From:
London
Registered:
2/8/08
|
|
[ANN] ProLogic v.0.2: Fuzzy propositional logic with similarity
Posted:
Aug 11, 2012 3:58 PM
|
|
Hello all,
I have written a little logical calculator in Prolog (with SWI-Prolog
v.5.10.1) that supports *fuzzy propositional logic with similarity*:
<http://julio.diegidio.name/Share/ProLogic.v.0.2.zip>
You will need some knowledge of Prolog: there is no user guide yet, but
enter ':- logic_help.' for a list of available predicates.
It is *fuzzy* in that it uses truth-values in the rational interval [-1, 1],
and arithmetic as an extension to many-valued logic with truth-tables.
(Though, the rational values remain transparent to the user who always works
with a discrete set of custom truth-values.)
It implements the extra-logical (?) predicates *similarity* and, derived
from it, *equality*. (Similarity is defined as: (X sim Y) := 1-abs(X-Y).
Then equality is true or false depending on whether similarity is or is not
exactly 1.)
I'd appreciate feedback, particularly on the following points:
- The adequacy and correctness of the implementation re the propositional
logic in question (the whole thing would benefit from a proper review, test
cases would also help);
- The idea that this tool (with proper interface and packaging, etc.) could
be a useful teaching aid for introducing young pupils to logic.
This is an open project. Collaborations welcome and acknowledged.
Thank you and enjoy!
-LV
|
|
