Examples with TestNAR nars.test.TestNAR used on opensource projects

Example 76 with TestNAR

use of nars.test.TestNAR in project narchy by automenta.

the class NAL8EquivalenceTest method goal_deduction_equi_pos_pospos.

@Test
public void goal_deduction_equi_pos_pospos() {
    TestNAR tester = test;
    tester.input("x:y! :|:");
    tester.input("(goto(z) <=>+5 x:y).");
    tester.mustGoal(cycles, "goto(z)", 1.0f, 0.81f, 0);
    tester.mustNotOutput(cycles, "goto(z)", GOAL, ETERNAL);
}

Example 77 with TestNAR

use of nars.test.TestNAR in project narchy by automenta.

the class NAL8EquivalenceTest method conjunctionSubstitutionViaEquiv.

@Test
public void conjunctionSubstitutionViaEquiv() {
    TestNAR tester = test;
    // ETERNAL
    tester.input("(a:b<=>c:d).");
    // PRESENT
    tester.input("(c:d &| e:f). :|:");
    tester.mustBelieve(cycles, "(a:b &| e:f)", 1.0f, 0.81f, 0);
    tester.mustNotOutput(cycles, "(a:b &| e:f)", BELIEF, ETERNAL);
}

Example 78 with TestNAR

use of nars.test.TestNAR in project narchy by automenta.

the class NAL8EquivalenceTest method goal_deduction_equi_neg_pospos.

@Test
public void goal_deduction_equi_neg_pospos() {
    TestNAR tester = test;
    tester.input("--x:y! :|:");
    tester.input("(goto(z) <=>+5 x:y).");
    tester.mustGoal(cycles, "goto(z)", 0.0f, 0.81f, 0);
    tester.mustNotOutput(cycles, "goto(z)", GOAL, 0.9f, 1f, 0f, 0.81f, -5);
}

Example 79 with TestNAR

use of nars.test.TestNAR in project narchy by automenta.

the class NAL8EquivalenceTest method conjunctionGoalSubstitutionViaEquiv.

@Test
public void conjunctionGoalSubstitutionViaEquiv() {
    TestNAR tester = test;
    // ETERNAL
    tester.input("(a:b<=>c:d).");
    // PRESENT
    tester.input("(c:d &&+0 e:f)! :|:");
    tester.mustGoal(cycles, "(a:b &&+0 e:f)", 1.0f, 0.81f, 0);
    tester.mustNotOutput(cycles, "(a:b &&+0 e:f)", BELIEF, ETERNAL);
}

Example 80 with TestNAR

use of nars.test.TestNAR in project narchy by automenta.

the class NAL8EquivalenceTest method goal_deduction_equi_subst.

@Test
public void goal_deduction_equi_subst() {
    TestNAR tester = test;
    tester.input("x:y! :|:");
    tester.input("(goto($1) <=>+5 $1:y).");
    tester.mustGoal(cycles, "goto(x)", 1.0f, 0.81f, 0);
}