Update: induction and abduction TV calc fix, plus the additional node probs in FlyingRaven.metta are not specified

Author: patham9

examples/FlyingRaven.metta

@@ -1,11 +1,17 @@
 (= (STV (Concept Sam))
-   (stv 0.333 1))
+   (stv 0.2 1))
+
+(= (STV (Concept Pingu))
+   (stv 0.2 1))
+
+(= (STV (Concept Penguin))
+   (stv 0.2 1))
 
 (= (STV (Concept Raven))
-   (stv 0.333 1))
+   (stv 0.2 1))
 
 (= (STV (Concept Bird))
-   (stv 0.333 1))
+   (stv 0.2 1))
 
 (= (kb)
    (

src/Formulas.metta

@@ -23,27 +23,27 @@
 (= (Truth_Induction (stv $sA $cA)
                     (stv $sB $cB)
                     (stv $sC $cC)
-                    (stv $sAB $cAB)
+                    (stv $sBA $cBA)
                     (stv $sBC $cBC))
    (stv (+ (/ (* (* $sBA $sBC) $sB)
               $sA)
            (* (- 1 (/ (* $sBA $sB) 
                       $sA))
               (/ (- $sC (* $sB $sBC))
                  (- 1 $sB))))
-        (Truth_w2c (min $cAB $cBc)))) ;confidence TODO check
+        (Truth_w2c (min $cBA $cBC)))) ;confidence TODO check
 
 ; Abduction formula: PLN book "Appendix A: Comparison of PLN Rules with NARS Rules", page 307
 (= (Truth_Abduction (stv $sA $cA)
                     (stv $sB $cB)
                     (stv $sC $cC)
                     (stv $sAB $cAB)
-                    (stv $sBC $cBC))
+                    (stv $sCB $cCB))
    (stv (+ (/ (* (* $sAB $sCB) $sC)
               $sB)
-           (/ (* sC (* (- 1 sAB) (- 1 sCB)))
-              (- 1 sB)))
-        (Truth_w2c (min $cAB $cBc)))) ;confidence TODO check
+           (/ (* $sC (* (- 1 $sAB) (- 1 $sCB)))
+              (- 1 $sB)))
+        (Truth_w2c (min $cAB $cCB)))) ;confidence TODO check
 
 ;Modus Ponens: PLN book "5.7.1 Modus Ponens", page 111:
 (= (Truth_ModusPonens (stv $f1 $c1) (stv $f2 $c2)) 

src/Rules.metta

@@ -23,9 +23,12 @@
       ()))
 
 ;Deduction
-(= (|- ((Inheritance (Concept $A) (Concept $B)) $T1)
-       ((Inheritance (Concept $B) (Concept $C)) $T2))
-       ((Inheritance (Concept $A) (Concept $C))
+(= (|- ((Inheritance (Concept $A)
+                     (Concept $B)) $T1)
+       ((Inheritance (Concept $B)
+                     (Concept $C)) $T2))
+       ((Inheritance (Concept $A)
+                     (Concept $C))
         (Truth_Deduction (STV (Concept $A))
                          (STV (Concept $B))
                          (STV (Concept $C)) $T1 $T2)))