New unit tests for inference ( work in progress )

[Jean-Marc Vanel]

Hi

I added in new directory nars-dist/tests , unit tests for nal1, nal2, and nal4 .

The results looks OK, except for choice : no result :

S1. %0.50;0.90%

S2. %0.9;0.70%

S?

100

I'm aware that all these tests really test for backwards chaining, and forward chaining remains to be tested.

I'm planning to continue for NAL 3, 5, 6 , leveraging on analogies like between inheritance and implication.

--
Jean-Marc Vanel
Déductions SARL - Consulting, services, training,
Rule-based programming, Semantic Web
http://deductions-software.com/
+33 (0)6 89 16 29 52
Twitter: @jmvanel ; chat: irc://irc.freenode.net#eulergui

[Pei Wang]

On Mon, Apr 1, 2013 at 8:33 AM, Jean-Marc Vanel <jeanmar...@gmail.com> wrote:

Hi

I added in new directory nars-dist/tests , unit tests for nal1, nal2, and nal4 .

The results looks OK, except for choice : no result :

S1. %0.50;0.90%

S2. %0.9;0.70%

S?

100

Of course, since here the three statements don't match each other. Please see the description of the choice rule in NAL-1 and the first example in http://code.google.com/p/open-nars/wiki/MultiStepExamples

I'm aware that all these tests really test for backwards chaining, and forward chaining remains to be tested.

Actually almost all the examples test forward inference. See http://www.cis.temple.edu/~pwang/Writing/NAL-Specification.pdf , Section 3.5.

NARS doesn't do "chaining" in either direction (forward/backward).

Pei

I'm planning to continue for NAL 3, 5, 6 , leveraging on analogies like between inheritance and implication.

--
Jean-Marc Vanel
Déductions SARL - Consulting, services, training,
Rule-based programming, Semantic Web
http://deductions-software.com/
+33 (0)6 89 16 29 52
Twitter: @jmvanel ; chat: irc://irc.freenode.net#eulergui

--
You received this message because you are subscribed to the Google Groups "open-nars" group.
To unsubscribe from this group and stop receiving emails from it, send an email to open-nars+...@googlegroups.com.
To post to this group, send email to open...@googlegroups.com.
Visit this group at http://groups.google.com/group/open-nars?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.