Merge pull request #42 from trueagi-io/TranslatorGeneralized

Generalized implication translator for PLN Mettamorph usage

Author: pisaev1

src/Deriver.metta

@@ -15,7 +15,7 @@
                                         (if (StampDisjoint $Ev1 $Ev2)
                                             (case (|- $x $y) ((($T $TV) (Sentence ($T $TV) $stamp)))) (empty)))
                                   (let (Sentence $z $Ev3) (superpose $beliefs)
-                                        (case (|- $z) ((($T3 $TV3) (Sentence ($T3 $TV3) $Ev3))))))))
+                                       (case (|- $z) ((($T3 $TV3) (Sentence ($T3 $TV3) $Ev3))))))))
             (Derive (TupleConcat $beliefs $derivations) (+ $depth 1) $maxdepth))))
 
 ;retrieve the best candidate

src/Translator.metta

@@ -2,23 +2,20 @@
 (= (maybe $x $y) False)
 
 (= (sentence $X $Y)
-   (if (maybe $X ((Implication (Evaluation $1 $11) (Evaluation $2 $22)) $TV))
-       (trace! (= (|- ((Evaluation $1 $11) $TV1))
-                  ((Evaluation $2 $22)
-                   (Truth_ModusPonens $TV1 $TV)))
-                  "PLN.Init: Translated nested implication into function")
-       (if (maybe $X ((Implication (Evaluation $1 $11)
-                                   (Implication (Evaluation $2 $22)
-                                                (Evaluation $3 $33))) $TV))
-           (trace! (= (|- ((Evaluation $1 $11) $TV1)
-                          ((Evaluation $2 $22) $TV2))
-                      ((Evaluation $3 $33)
-                       (Truth_ModusPonens (Truth_ModusPonens $TV1 $TV2) $TV)))
-                      "PLN.Init: Translated implication into function")
-           (if (maybe $X ((Evaluation $1 $11) $TV))
-               (Sentence $X $Y)
-               (if (maybe $X ((Concept $C) $TV))
-                   (trace! (= (STV (Concept $C)) $TV)
-                           "PLN.Init: Translated concept into function")
-                   (empty))))))
+   (if (and (maybe $X ((Implication ($LinkType1 $1 $11) ($LinkType2 $2 $22)) $TV))
+            (not (== $LinkType2 Implication)))
+       (trace! (= (|- (($LinkType1 $1 $11) $TV1))
+                  (($LinkType2 $2 $22) (Truth_ModusPonens $TV1 $TV)))
+                  "PLN.Init: Translated implication into function")
+       (if (maybe $X ((Implication ($LinkType1 $1 $11)
+                                   (Implication ($LinkType2 $2 $22)
+                                                ($LinkType3 $3 $33))) $TV))
+           (trace! (= (|- (($LinkType1 $1 $11) $TV1)
+                          (($LinkType2 $2 $22) $TV2))
+                      (($LinkType3 $3 $33) (Truth_ModusPonens (Truth_ModusPonens $TV1 $TV2) $TV)))
+                      "PLN.Init: Translated nested implication into function")
+           (if (maybe $X ((Concept $C) $TV))
+               (trace! (= (STV (Concept $C)) $TV)
+                       "PLN.Init: Translated concept into function")
+               (empty)))))