Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.

Topic: [ANN] ProLogic v.0.2: Fuzzy propositional logic with similarity
Replies: 20   Last Post: Aug 23, 2012 5:48 AM

 Messages: [ Previous | Next ]
 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

Date Subject Author
8/11/12 LudovicoVan
8/11/12 Graham Cooper
8/11/12 LudovicoVan
8/11/12 Graham Cooper
8/11/12 LudovicoVan
8/11/12 Graham Cooper
8/11/12 LudovicoVan
8/11/12 Graham Cooper
8/11/12 LudovicoVan
8/13/12 LudovicoVan
8/20/12 Graham Cooper
8/21/12 LudovicoVan
8/20/12 Jesse F. Hughes
8/21/12 LudovicoVan
8/22/12 Jan Burse
8/22/12 LudovicoVan
8/22/12 Jan Burse
8/22/12 Graham Cooper
8/23/12 Jan Burse
8/23/12 Graham Cooper