SSE Tool
Top
Using SSE online
The SSE online tool includes a textbox under the label "Similarity equations" where the user can provide as many equations as he want, following the extended grammar. The tool offers two different lattices, "num" (real interval [0,1]) and "four" (see Figure 1), and provides an example set of equations for each of them. Also, in the case of "num", since there are more than one conjunction (indeed, there are three conjunctions, each of them belonging to the logics of Gödel, Lukasiewicz and Product), the tool allows the user to select wich one has to be used for the translation to MALP rules.
Figure 1: Lattice "four"
When clicking the "-> SSE" button, the tool performs then the closure of those equations, thus obtaining the similariy relation. Below the textbox, two wide boxes appear. The first one, under the title "Similarity relation in Prolog", shows the translation of the Similarity relation to Prolog, and the second one, under the title "Similarity-based Strict Equality in MALP", shows the translation to MALP.
Grammar
A similarity equation, relating two functors A (arity nA) and B (arity nB) with the truth degree V, has the following form:
A / nA ~ B / nB = V.
By pointing the arity of the functor, the system cannot confuse functors with the same identifier but different arities. The truth degree (V) has to belong to the lattice currently loaded (selected by clicking the name of the lattice over the textbox). While using the "num" lattice, truth degrees must be numbers between zero and one. If the selected lattice is "four", truth degrees have to be either "top", "alpha", "beta" or "bottom".