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 org.ggp.base.util.propnet.architecture.components.Proposition

  public void removeComponent(Component c) {




    //Go through all the collections it could appear in
    if(c instanceof Proposition) {
      Proposition p = (Proposition) c;
      GdlSentence name = p.getName();
      if(basePropositions.containsKey(name)) {
        basePropositions.remove(name);
      } else if(inputPropositions.containsKey(name)) {
        inputPropositions.remove(name);
        //The map goes both ways...
        Proposition partner = legalInputMap.get(p);
        if(partner != null) {
          legalInputMap.remove(partner);
          legalInputMap.remove(p);
        }
      } else if(name == GdlPool.getProposition(GdlPool.getConstant("INIT"))) {
        throw new RuntimeException("The INIT component cannot be removed. Consider leaving it and ignoring it.");
      } else if(name == GdlPool.getProposition(GdlPool.getConstant("terminal"))) {
        throw new RuntimeException("The terminal component cannot be removed.");
      } else {
        for(Set<Proposition> propositions : legalPropositions.values()) {
          if(propositions.contains(p)) {
            propositions.remove(p);
            Proposition partner = legalInputMap.get(p);
            if(partner != null) {
              legalInputMap.remove(partner);
              legalInputMap.remove(p);
            }
          }

View Full Code Here

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

  {
    if ( literal instanceof GdlDistinct )
    {
      GdlDistinct distinct = (GdlDistinct) literal;


      Proposition proposition = new Proposition(GdlPool.getProposition(GdlPool.getConstant("anon")));
      Constant constant = new Constant(!distinct.getArg1().equals(distinct.getArg2()));


      link(constant, proposition);


      components.add(proposition);
      components.add(constant);


      return proposition;
    }
    else if ( literal instanceof GdlNot )
    {
      GdlNot not = (GdlNot) literal;


      Proposition input = convertConjunct(not.getBody());
      Not no = new Not();
      Proposition output = new Proposition(GdlPool.getProposition(GdlPool.getConstant("anon")));


      link(input, no);
      link(no, output);


      components.add(input);
      components.add(no);
      components.add(output);


      return output;
    }
    else
    {
      GdlSentence sentence = (GdlSentence) literal;


      Proposition proposition = getProposition(sentence);
      components.add(proposition);


      return proposition;
    }
  }

View Full Code Here

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

   */
  private Proposition convertHead(GdlSentence sentence)
  {
    if ( sentence.getName().getValue().equals("next") )
    {
      Proposition head = getProposition(GdlPool.getRelation(GdlPool.getConstant("true"),
                                                            sentence.getBody()));
      Transition transition = new Transition();
      Proposition preTransition = new Proposition(GdlPool.getProposition(GdlPool.getConstant("anon")));


      link(preTransition, transition);
      link(transition, head);


      components.add(head);
      components.add(transition);
      components.add(preTransition);


      return preTransition;
    }
    else
    {
      Proposition proposition = getProposition(sentence);
      components.add(proposition);


      return proposition;
    }
  }

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.