search

opennars / OpenNARS-4

MIT License
27 stars 8 forks source link

[Bug] Inference rule "conjunction elimination" does not work #51

Open ARCJ137442 opened 11 months ago

ARCJ137442 commented 11 months ago

Describe the bug

The rule "conjunction elimination" in NAL-5 "Statements as Term" can decompose $(A \wedge B).$ (or (&&, A, B).) into $A.$ and $B.$ (A. and B.).

This is true both in NAL and in propositional logic, currently it is successfully tested in OpenNARS, but does not work in PyNARS.

To Reproduce You can input these narsese to the NARS console:


(&&, A, B).
A?
B?

Expected behavior

It should output like this:

[ANSWER] A.
[ANSWER] B.

Screenshots

OpenNARS 3.1.0

image

PyNARS

image

Environment (please complete the following information)

ccrock4t commented 7 months ago

We will need this one fixed for Pong, though simplifying goals, not judgments. ( I think the inference rules are different)