Package stanfordlogic.prover

Examples of stanfordlogic.prover.GroundFact

52
53
54
55
56
57
58
59
60
61
62
        {
            GdlList list = GameManager.getParser().parse(observation);
          
            for(GdlExpression atom : list)
            {
                GroundFact fact = GroundFact.fromExpression(atom);
                facts.add(fact);
            }
           
        }
        catch(Exception e)
View Full Code Here
129
130
131
132
133
134
135
136
137
    }

    @Override
    public boolean isTerminal()
    {
        GroundFact fact = reasoner.getAnAnswer(getContext(),"terminal");
        boolean terminal = fact != null;
        return terminal;
    }
View Full Code Here
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
        return terminal;
    }
    public double getReward(String role)
    {
        GroundFact goal = reasoner.getAnAnswer(getContext(),"goal", role, "?x");
        if(goal == null)
        {
            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
8
9
10
11
12
13
14
{
    private GroundFact fact;
   
    public GDLAction(GroundFact fact)
    {
        this.fact = new GroundFact(GameManager.getParser().TOK_DOES,fact.getTerm(0),fact.getTerm(1));
    }
View Full Code Here
63
64
65
66
67
68
69
70
71
72
73
                for(Element e : root.getChild("history").getChildren("step"))
                {
                    String s = e.getChildren("step-number").get(0).getText();
                    int stepnum = Integer.parseInt(s);
                    String action_term = e.getChildren("move").get(player_id).getText();
                    GroundFact fact = createAction(action_term,role);
                    actions.put(stepnum, new SerializableAction(fact));
                }
            }
           
            // Register the state-action couples by browsing the step_x.xml
View Full Code Here
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
                sb.append(" ");
            }
            logger_.fine(sb.toString());
        }
       
        GroundFact move;

        move = moves.get(random_.nextInt(moves.size()));

        // term 0 is the player, term 1 is the actual move
        Term action = move.getTerm(1);

        return new Triple<Term, String, String>(action, "I'm a silly random player",
                                                "I hope you can beat me");
    }
View Full Code Here
274
275
276
277
278
279
280
281
282
283
284
285
286
287
        }
        else
        {
            // It must be a ground fact at this point: it can't have variables,
            // since there is no rule to specify binding.
            GroundFact f = (GroundFact) examineListRelation(list, head.getToken() );
            addGround(head.getToken(), f);
            expressions_.add(f);
           
            // Is this a role?
            if ( head.getToken() == parser_.TOK_ROLE )
                roles_.add( (TermObject) f.getTerm(0));
        }
    }
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
    
    @Override
    public Reward_observation_terminal env_step(Action action)
    {
        // Translate the action to a GroundFact
        GroundFact fact = parseAction(action);
        applyAction(fact);
        Reward_observation_terminal ret = new Reward_observation_terminal();
        ret.setObservation(createObservation(state));
        ret.setReward(state.getReward(role.toString()));
        ret.setTerminal(state.isTerminal());
View Full Code Here
109
110
111
112
113
114
115
116
117
118
119
       
        // Translate them in does facts
        List<RAction> actions = new ArrayList<RAction>();
        for(int i = 0; i < moves.size(); ++i)
        {
            GroundFact fact = new GroundFact(GameManager.getParser().TOK_DOES,roles.get(i),moves.get(i));
            actions.add(new GDLAction(fact));
        }
       
        // Compute the next state
        state = (GDLState)state.next(actions);
View Full Code Here
154
155
156
157
158
159
160
161
162
163
164
                                              int currentDepth) throws TimeoutException
    {
        newLevel(currentDepth, state);
       
        // is this a terminal node?
        GroundFact isTerminal = reasoner_.getAnAnswer(QUERY_TERMINAL, context);
       
        if (isTerminal != null) {
            return calculateTerminal(context, currentDepth);
        }
       
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.