search

opennars / Narjure

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

NAL5 Issue #34

Closed patham9 closed 8 years ago

patham9 commented 8 years ago

Given rule

(M ==> S) (M ==> (&& S :list/A)) |- (M ==> (&& :list/A)) :post (:t/decompose-pnn :order-for-all-same :seq-interval-from-premises)

why is derivation of

<<robin --> bird> ==> <robin --> animal>>. %0.00;0.81%

from

<<robin --> bird> ==> <robin --> [flying]>>.
<<robin --> bird> ==> (&&,<robin --> [flying]>,<robin --> animal>)>. %0.0;0.9%

not possible? Any idea here, Roman?

patham9 commented 8 years ago

oh no it works now. Sorry for opening this issue.