search

opennars / Narjure

A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang.
GNU General Public License v2.0
43 stars 11 forks source link

NAL4: Product/Image Transformations broken. #32

Closed patham9 closed 8 years ago

patham9 commented 8 years ago 
(generate-conclusions
  (r/rules :belief)
  '{:statement  [--> [product A B] C]
    :truth      [0.9 0.9]
    :task-type  :belief
    :occurrence 1000}
  '{:statement  [A]
    :truth      [1 0.9]
    :task-type  :belief
    :occurrence 1000})

Expected: <A --> (/,C,_,B)>. %1.0;0.9%

by rule: (* :list/A) --> M) Ai |- (Ai --> (/ M :list/A)) :pre ((:substitute-from-list Ai _) (:contains? (:list/A) Ai)) :post (:t/identity :d/identity)

Same issue with all other product and image related transformation rules in the "; NAL4 - Transformations between products and images" section.

patham9 commented 8 years ago

was caused by internal "*" representation instead of "product", resolved thanks to rasom pointing out.