Examples of Proposition

aima.core.probability.proposition.Proposition
Artificial Intelligence A Modern Approach (3rd Edition): page 486.

Propositions describing sets of possible worlds are written in a notation that combines elements of propositional logic and constraint satisfaction notation. In the terminology of Section 2.4.7, it is a factored representation, in which a possible world is represented by a set of variable/value pairs.

A possible world is defined to be an assignment of values to all of the random variables under consideration. @author Ciaran O'Reilly
graphplan.domain.Proposition
The interface to a Proposition in the planning graph, this is a bridge pattern between what the planning graph and algorithm expect, and any type of logic implementation we choose to use. @author Felipe Meneguzzi
ise.mace.inputs.Proposition
javaff.data.strips.Proposition
net.emaze.dysfunctional.dispatching.logic.Proposition
A nullary functor returning a boolean @author rferranti
opennlp.ccg.hylo.Proposition
A propositional value, such as the predicate "sleep", or the value of a semantic feature, such as "past" for tense. Types are unified if present. @author Jason Baldridge @author Michael White @version $Revision: 1.7 $, $Date: 2009/07/17 04:23:30 $
org.ggp.base.util.propnet.architecture.components.Proposition
The Proposition class is designed to represent named latches.

Examples of net.emaze.dysfunctional.dispatching.logic.Proposition

            Assert.assertNotNull(monitor);
        }


        @Test
        public void canMonitorAProposition() {
            final Proposition monitor = Spies.monitor(new Yes(), accumulator);
            Assert.assertNotNull(monitor);
        }

View Full Code Here

Examples of net.emaze.dysfunctional.dispatching.logic.Proposition


    public static class CurryPredicates {


        @Test
        public void canCurryPredicate() {
            final Proposition adapted = Dispatching.curry(new Always<O>(), O.ONE);
            Assert.assertNotNull(adapted);
        }

View Full Code Here

Examples of net.emaze.dysfunctional.dispatching.logic.Proposition

    }


    @Test
    public void callingIncrementsTheAtomicLong() {
        final AtomicLong state = new AtomicLong();
        final Proposition spy = new MonitoringProposition(new Yes(), state);
        spy.state();
        Assert.assertEquals(1l, state.get());
    }

View Full Code Here

Examples of net.emaze.dysfunctional.dispatching.logic.Proposition

    }


    @Test
    public void callingThePropositionYieldsProviderResult() {
        final Boolean expected = Boolean.TRUE;
        final Proposition proposition = new ProviderToProposition(new ConstantProvider<Boolean>(expected));
        Assert.assertEquals(expected, proposition.state());
    }

View Full Code Here

Examples of net.emaze.dysfunctional.dispatching.logic.Proposition


    @Test
    public void callingTheBinderPassesBoundParameter() {
        final Box<O> param = Box.empty();
        final Predicate<O> spy = Spies.spy1st(new Always<O>(), param);
        final Proposition proposition = new PredicateBinder<O>(spy, O.ONE);
        proposition.state();
        Assert.assertEquals(O.ONE, param.getContent());
    }

View Full Code Here

Examples of net.emaze.dysfunctional.dispatching.logic.Proposition


    @Test
    public void callingTheBinderYieldsPredicateResult() {
        final Box<Boolean> result = Box.empty();
        final Predicate<O> spy = Spies.spyRes(new Always<O>(), result);
        final Proposition proposition = new PredicateBinder<O>(spy, O.ONE);
        proposition.state();
        Assert.assertEquals(Boolean.TRUE, result.getContent());
    }

View Full Code Here

Examples of net.emaze.dysfunctional.dispatching.logic.Proposition

    }


    @Test
    public void callingCapturesTheResult() {
        final Box<Boolean> result = Box.empty();
        final Proposition spy = new CapturingProposition(new Yes(), result);
        spy.state();
        Assert.assertEquals(Box.of(true), result);
    }

View Full Code Here

Examples of net.emaze.dysfunctional.dispatching.logic.Proposition

            Assert.assertNotNull(adapted);
        }


        @Test
        public void canAdaptProviderToProposition() {
            final Proposition adapted = Dispatching.proposition(new ConstantProvider<Boolean>(Boolean.TRUE));
            Assert.assertNotNull(adapted);
        }

View Full Code Here

Examples of opennlp.ccg.hylo.Proposition

  
  @Before
  public void setUp() throws Exception {
    super.setUp();
    
    edge = new LFEdge(new LFVertex(new NominalAtom("w0"), new Proposition("blah")),
        new LFVertex(new NominalAtom("w1"), new Proposition("blah blah")),
        new LFEdgeLabel(new ModeLabel("blase")));
    
    filter = new EdgeMatchFilter(edge, MatchType.LABEL_MISMATCH, MatchType.SOURCE_PREDICATE_MISMATCH,
        MatchType.TARGET_PREDICATE_MATCH);
  }

View Full Code Here

Examples of org.ggp.base.util.propnet.architecture.components.Proposition

    // based on having the same Body proposition.
    for(Set<Proposition> legalProps : legalPropositions.values()) {
      for(Proposition legalProp : legalProps) {
        List<GdlTerm> legalPropBody = (legalProp.getName()).getBody();
        if (inputPropsByBody.containsKey(legalPropBody)) {
            Proposition inputProp = inputPropsByBody.get(legalPropBody);
            legalInputMap.put(inputProp, legalProp);
            legalInputMap.put(legalProp, inputProp);
        }
      }
    }

View Full Code Here

0 1 2 3 4 5

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.