Package stanfordlogic.prover

Examples of stanfordlogic.prover.TermObject

62
63
64
65
66
67
68
69
70
71
72
73
        // Informations are the game description
        GdlList content = GameManager.getParser().parse(informations);
        content = (GdlList) content.getElement(0);
       
        GdlAtom roleAtom = (GdlAtom) content.getElement(2);
        TermObject role_term = (TermObject) TermObject.buildFromGdl(roleAtom);
        my_role = role_term.toString();
       
        GdlList game_description = (GdlList) content.getElement(3);
        GameInformation gameInfo = new MetaGdl(GameManager.getParser()).examineGdl(game_description);
        all_roles = new ArrayList<String>();
        for(TermObject t : gameInfo.getRoles())
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
        KnowledgeBase staticKb = new BasicKB();
        staticKb.loadWithFacts(gameInfo.getAllGrounds());
       
        AbstractReasoner reasoner = new BasicReasoner(staticKb, gameInfo.getIndexedRules(), parser);
       
        TermObject myRole = (TermObject) TermObject.buildFromGdl(role);
       
        gamer.initializeGame(myRole, playClock, gameInfo, reasoner);
       
        return gamer;
    }
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
    {
        Substitution s = new Substitution();
       
        TermVariable v1 = TermVariable.makeTermVariable();
        TermVariable v2 = TermVariable.makeTermVariable();
        TermObject t = TermObject.makeTermObject(256);
       
        s.addMapping( v1, v2 );
        s.addMapping( v2, t );
       
        assertEquals(2, s.numMappings() );
View Full Code Here
143
144
145
146
147
148
149
150
151
152
153
154
        {
            return 0;
        }
        else
        {
            TermObject score = (TermObject) goal.getTerm(1);
            // 0   loose
            // 50  draw match
            // 100 win
            return Integer.parseInt(score.toString());
        }
    }
View Full Code Here
98
99
100
101
102
103
104
105
106
107
108
109
110
   
    private void findRoleIndex()
    {
        for (int i = 0; i < roles_.size(); i++)
        {
            TermObject role = roles_.get(i);
           
            if (role.equals(myRole_)) {
                myRoleIndex_ = i;
                return;
            }
        }
       
View Full Code Here
252
253
254
255
256
257
258
259
260
261
262
263
        {
            int payoff = 0;
            try
            {
                GroundFact goal = getAnAnswer(currentContext_, "goal", role.toString(), "?x");
                TermObject score = (TermObject) goal.getTerm(1);
                payoff = Integer.parseInt(score.toString());
            }
            catch(Exception e)
            {
                payoff = -1;
            }
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
        KnowledgeBase staticKb = new BasicKB();
        staticKb.loadWithFacts(gameInfo.getAllGrounds());
       
        AbstractReasoner reasoner = new BasicReasoner(staticKb, gameInfo.getIndexedRules(), parser);
       
        TermObject myRole = (TermObject) TermObject.buildFromGdl(role);
       
        gamer.initializeGame(myRole, playClock, gameInfo, reasoner);
       
        return gamer;
    }
View Full Code Here
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
        List<List<GroundFact>> otherMoves = new ArrayList<List<GroundFact>>();
        List<GroundFact> myMoves = null;
       
        for (int i = 0; i < roles_.size(); i++)
        {
            TermObject role = roles_.get(i);
            List<GroundFact> roleMoves = getAllAnswers(context, "legal", role.toString(), "?x");
           
            if (roleMoves.size() == 0) {
                logger_.severe(gameId_ + ": role " + role.toString() + " had no legal moves!");
            }
           
            if (i == myRoleIndex_) {
                myMoves = roleMoves;
               
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
        KnowledgeBase staticKb = new BasicKB();
        staticKb.loadWithFacts(gameInfo.getAllGrounds());
       
        AbstractReasoner reasoner = new BasicReasoner(staticKb, gameInfo.getIndexedRules(), parser);
       
        TermObject myRole = (TermObject) TermObject.buildFromGdl(role);
       
        gamer.initializeGame(myRole, playClock, gameInfo, reasoner);
       
        return gamer;
    }
View Full Code Here
249
250
251
252
253
254
255
256
257
258
259
260
        {
            int payoff = 0;
            try
            {
                GroundFact goal = getAnAnswer(currentContext_, "goal",role.toString(), "?x");
                TermObject score = (TermObject) goal.getTerm(1);
                payoff = Integer.parseInt(score.toString());
            }
            catch (Exception e)
            {
                payoff = -1;
            }
View Full Code Here
TOP

Related Classes of stanfordlogic.prover.TermObject

  • fr.irit.halterego.ggp_agent.GGPAgent
  • fr.irit.halterego.rrl_ggp.impl.GDLState
  • stanfordlogic.game.Gamer
  • stanfordlogic.jocular.game.GenericGamerFactory
  • stanfordlogic.jocular.game.LegalGamerFactory
  • stanfordlogic.jocular.game.MinimaxGamer
  • stanfordlogic.jocular.game.RandomGamerFactory
  • stanfordlogic.jocular.game.RLGamer
  • stanfordlogic.test.prover.TestSubstitution
    • 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.