Help with Narsese

[Christopher]

Hello,

Can you please tell me what am I doing wrong here?

// ariel is father of chris

( ariel * chris ) --> father_of >.

// chris is father of angel

< ( chris * angel ) --> father_of >.

// Definition of grandpa

<($1 * $3) --> grandpa_of> <=> (&&, <($1 * $2) --> father_of>, <($2 * $3) --> father_of>)>.

100

// who is grandpa of angel?

< ( ?1 * angel ) --> grandpa_of >?

// Answer: None.

// Expect

ed anwer: ariel

[Pei Wang]

Change $2 to #2

[Christopher Pereira]

I tried (with no success):

< ( ariel * chris ) --> father_of >.

< ( chris * angel ) --> father_of >.

< ($1 * $3) --> grandpa_of> <=> (&&, <($1 * #2) --> father_of>, <(#2 * $3) --> father_of>)>.
< (ariel * angel) --> grandpa_of >?

I also tried many other variations of the "grandpa definition rule" (with no success):

< (#1 * #3) --> grandpa_of> <=> (&&, <(#1 * $2) --> father_of>, <($2 * #3) --> father_of>)>.

What works (but is not the same) is:

< (ariel * angel) --> grandpa_of> <=> (&&, <(ariel * $2) --> father_of>, <($2 * angel) --> father_of>)>.
< (ariel * angel) --> grandpa_of> <=> (&&, <(ariel * #2) --> father_of>, <(#2 * angel) --> father_of>)>.

It seems like the variables expansion is not working inside a conjunction?

[Patrick Hammer]

Hi!

Your original example had issues with parentheses.

It works fine with ONA:

<(ariel * chris) --> father_of >.
<(chris * angel) --> father_of >.
<<($1 * $3) --> grandpa_of> <=> (<($1 * #2) --> father_of> && <(#2 * $3) --> father_of>)>.

<(ariel * angel) --> grandpa_of >?

//Answer: <(ariel * angel) --> grandpa_of>. creationTime=3 Stamp=[3,2,1] Truth: frequency=1.000000, confidence=0.729000

I couldn't make it work with OpenNARS though even after changing it to its required operator prefix notation, probably due to a inference rule bug that would need to be investigated.

Please let us know which system you are running.

Best regards,

Patrick

[Christopher Pereira]

Thanks Patrick.

I'm testing ONA (works) and PyNARS (doesn't work, but they are replacing the inference engine anyway).