Hi Alex,
On 1/15/20 4:59 PM, Alexander Gabriel wrote:
So there seems to be an error occurring regarding the proper attribution
of truth values to EvaluationLinks when the EvaluationLink is
encapsulated in some other Link (AndLink, OrLink).
Yes, that's cause you need URE rules to deal with And, Or, Not links as
well. See
https://github.com/opencog/pln/tree/master/opencog/pln/rules/crisp/propositional
https://github.com/opencog/pln/tree/master/opencog/pln/rules/propositional
for examples of such rules.
And see
https://github.com/opencog/pln/tree/master/examples/pln/propositional
for example of their usage.
Nil
best,
Alex
--
You received this message because you are subscribed to the Google
Groups "opencog" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to opencog+unsubscr...@googlegroups.com
<mailto:opencog+unsubscr...@googlegroups.com>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/fe0aaddc-7cdc-4045-9c47-9a1e60e5cd4a%40googlegroups.com
<https://groups.google.com/d/msgid/opencog/fe0aaddc-7cdc-4045-9c47-9a1e60e5cd4a%40googlegroups.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google Groups
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to opencog+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/9ad47b49-22c2-3d5c-86a3-b4c7011e3c5d%40gmail.com.