Package stanfordlogic.prover

Examples of stanfordlogic.prover.GroundFact

86
87
88
89
90
91
92
93
94
95
96
97
98
        addFacts(succs);
       
        AbstractReasoner r = new BasicReasoner(kb_, new ArrayList<Implication>(), parser_ );
       
        // Make sure we can prove all of our ground facts!
        GroundFact answer1 = getAnAnswer( r, new GroundFact(symbolTable_, "succ", "1", "2") );
        GroundFact answer2 = getAnAnswer( r, new GroundFact(symbolTable_, "succ", "2", "3") );
        GroundFact answer3 = getAnAnswer( r, new GroundFact(symbolTable_, "succ", "3", "4") );
       
        assertEquals( new GroundFact(symbolTable_, "succ", "1", "2"), answer1 );
        assertEquals( new GroundFact(symbolTable_, "succ", "2", "3"), answer2 );
        assertEquals( new GroundFact(symbolTable_, "succ", "3", "4"), answer3 );
    }
View Full Code Here
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
       
        // See if we can get just one answer
        GdlList questionList = parser_.parse("succ ?x 2");
        Fact question = VariableFact.fromList(questionList);
       
        GroundFact answer = getAnAnswer( r, question );
        assertEquals( new GroundFact(symbolTable_, "succ", "1", "2"), answer);
       
        questionList = parser_.parse("succ ?x 2");
        question = VariableFact.fromList(questionList);
       
        answer = getAnAnswer( r, question );
        assertNotNull(answer);
        assertEquals( new GroundFact(symbolTable_, "succ", "1", "2"), answer);
    }
View Full Code Here
131
132
133
134
135
136
137
138
139
        Fact question = VariableFact.fromList(questionList);
       
        List<GroundFact> answers = getAllAnswers( r,question);
        assertEquals( 3, answers.size() );
       
        assertEquals( new GroundFact(symbolTable_, "succ", "1", "2"), answers.get(0) );
        assertEquals( new GroundFact(symbolTable_, "succ", "2", "3"), answers.get(1) );
        assertEquals( new GroundFact(symbolTable_, "succ", "3", "4"), answers.get(2) );
    }
View Full Code Here
150
151
152
153
154
155
156
157
158
        rules.add(rule);
       
        AbstractReasoner r = new BasicReasoner(kb_, rules, parser_ );
       
        // Make sure we can prove all of our ground facts!
        GroundFact answer1 = getAnAnswer( r, new GroundFact(symbolTable_, "gt", "2", "1") );
       
        assertEquals( new GroundFact(symbolTable_, "gt", "2", "1"), answer1 );
    }
View Full Code Here
169
170
171
172
173
174
175
176
177
178
179
180
181
182
        rules.add(rule);
       
        AbstractReasoner r = new BasicReasoner(kb_, rules, parser_ );
       
        // Make sure we can prove all of our ground facts!
        GroundFact answer1 = getAnAnswer( r, new GroundFact(symbolTable_, "gt", "2", "1") );
       
        assertEquals( new GroundFact(symbolTable_, "gt", "2", "1"), answer1 );
       
        // Do it again just for good measure
        answer1 = getAnAnswer( r, new GroundFact(symbolTable_, "gt", "2", "1") );
       
        assertEquals( new GroundFact(symbolTable_, "gt", "2", "1"), answer1 );
    }
View Full Code Here
315
316
317
318
319
320
321
322
323
324
325
326
       
        GdlList facts = parser_.parse("(true (cell 1 1 x))(true (cell 1 2 o))(true (cell 1 3 x))(true (cell 2 1 o))(true (cell 2 2 x))(true (cell 2 3 b))(true (cell 3 1 b))(true (cell 3 2 b))(true (cell 3 3 b))(true (control oplayer))");
        addFacts(facts);
       
        // Get all next facts
        GroundFact does = GroundFact.fromExpression( parser_.parse("does xplayer noop") );
        GroundFact does2 = GroundFact.fromExpression( parser_.parse("does oplayer (mark 2 3)") );
        Fact question = VariableFact.fromExpression( parser_.parse("next ?x") );
       
        KnowledgeBase kb = new BasicKB();
       
        kb.setTrue(does);
View Full Code Here
438
439
440
441
442
443
444
445
446
447
448
449
        // Is the game terminal?
        assertNull( reasoner.getAnAnswer( makeFact( "terminal" ), context ) );

        // Make some move
        GroundFact does1 = (GroundFact) makeFact( "does white (move wk c 1 c 2)" );
        GroundFact does2 = (GroundFact) makeFact( "does black noop" );

        volatileKb.setTrue( does1 );
        volatileKb.setTrue( does2 );

        // Find the next state.
View Full Code Here
116
117
118
119
120
121
122
123
124
125
126
  /* (non-Javadoc)
   * @see tud.gamecontroller.game.jocular.ReasonerInterface#getSuccessorState(tud.gamecontroller.game.jocular.State, tud.gamecontroller.game.JointMove)
   */
  public synchronized ProofContext getSuccessorState(ProofContext state, JointMoveInterface<Term> jointMove) {
    for(Entry<? extends RoleInterface<Term>, ? extends MoveInterface<Term>> entry:jointMove.entrySet()){
      GroundFact moveFact=new GroundFact(parser.TOK_DOES, entry.getKey().getTerm().getExpr(), entry.getValue().getTerm().getExpr());
          state.getVolatileKb().setTrue(moveFact);
        }
    Iterable<GroundFact> nextFacts=stanfordlogicReasoner.getAllAnswersIterable(queryNext, state);
        KnowledgeBase kb = new BasicKB();
        for (GroundFact fact : nextFacts) {
View Full Code Here
138
139
140
141
142
143
144
145
  /* (non-Javadoc)
   * @see tud.gamecontroller.game.jocular.ReasonerInterface#GetGoalValue(tud.gamecontroller.game.jocular.State, tud.gamecontroller.game.Role)
   */
  public synchronized int getGoalValue(ProofContext state, RoleInterface<Term> role) {
    GroundFact f=stanfordlogicReasoner.getAnAnswer(new VariableFact(parser.TOK_GOAL, role.getTerm().getExpr(), TermVariable.makeTermVariable()), state);
    return Integer.parseInt(f.getTerm(1).toString(parser.getSymbolTable()));
  }
View Full Code Here
33
34
35
36
37
38
39
40
41
        RelationNameProcessor trueProcessor = new RelationNameProcessor(parser.TOK_TRUE);
       
        Iterable<GroundFact> inits = reasoner.getAllAnswersIterable(ProofContext.makeDummy(parser), "init", "?x");
        for (GroundFact initFact : inits)
        {
            GroundFact trueFact = trueProcessor.processFact(initFact);
            facts.add(trueFact);
        }
    }
View Full Code Here
TOP

Related Classes of stanfordlogic.prover.GroundFact

  • fr.irit.halterego.jocular.GGPEnvironment
  • fr.irit.halterego.rrl_ggp.eval.XMLMatch
  • fr.irit.halterego.rrl_ggp.impl.GDLAction
  • fr.irit.halterego.rrl_ggp.impl.GDLState
  • stanfordlogic.game.Gamer
  • stanfordlogic.jocular.game.LegalGamer
  • stanfordlogic.jocular.game.MinimaxGamer
  • stanfordlogic.jocular.game.RandomGamer
  • stanfordlogic.jocular.game.RLGamer
  • stanfordlogic.knowledge.MetaGdl
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.