Examples with DeriveRuleSet nars.derive.rule.DeriveRuleSet used on opensource projects

Example 6 with DeriveRuleSet

use of nars.derive.rule.DeriveRuleSet in project narchy by automenta.

the class PremiseRuleTest method testDoubleOnlyTruthAddsRequiresBeliefPredicate.

@Test
public void testDoubleOnlyTruthAddsRequiresBeliefPredicate() {
    // test that the constraint on %2 being of size > 1 is testable in the Proto phase
    DeriveRules d = new DeriveRuleSet(NARS.shell(), "X,Y |- (X&&Y), (Belief:Intersection)").compile();
    d.printRecursive();
    assertEquals("((\".!\"-->task),Belief,can({0}))", d.what.toString());
}