Package stanfordlogic.prover

Examples of stanfordlogic.prover.Term

72
73
74
75
76
77
78
79
80
81
        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
109
110
111
112
113
114
115
116
117
118
119
            // This is really really bad.
            logger_.severe(gameId_ + ": No move returned by minimax search");
            return null;
        }
       
        Term action = searchResult.first;
       
        String explanation = getExplanation(searchResult);
       
        String taunt = getTaunt(searchResult.second);
View Full Code Here
228
229
230
231
232
233
234
235
236
237
238
                                                ProofContext context,
                                                List<GroundFact> myMoves,
                                                List<List<GroundFact>> otherMoves,
                                                int currentDepth) throws TimeoutException
    {
        Term bestMove = null;
        int bestScore = Integer.MIN_VALUE;
       
        for (GroundFact myMove: myMoves)
        {
            FactCombinationIterator it = new FactCombinationIterator(myMove, otherMoves, doesProcessor_);
View Full Code Here
162
163
164
165
166
167
168
169
170
171
172
                    action = RLGlue.RL_agent_step(r_o.getReward(),r_o.getObservation());
                }

                // Get the move from the rl-glue action
                GroundFact move_fact = moves.get(action.intArray[0]);
                Term move_term = move_fact.getTerm(1);
                move = new Triple<Term, String, String>(move_term,"Decicision tomada en RL-GLUE", "");

                // If the choosen move is legal, there is a positive reward
                // If it is not legal, a negative one, and the agent has to choose again
                if (contains(legal_moves, move_fact))
View Full Code Here
233
234
235
236
237
238
239
240
241
            return null;
        }
        else
        {
            // term 0 is the player, term 1 is the actual move
            Term action = legalmoves.getTerm(1);
            return new Triple<Term, String, String>(action, "Decicision tomada en RL-GLUE", "");
        }
    }
View Full Code Here
42
43
44
45
46
47
48
49
50
51
52
            logger_.severe("No legal moves");
            return null;
        }
        else {
            // 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 legal player",
                                                    "I hope you can beat me");
        }
    }
View Full Code Here
TOP

Related Classes of stanfordlogic.prover.Term

  • stanfordlogic.gdl.GdlExpression
  • stanfordlogic.gdl.GdlList
  • stanfordlogic.jocular.game.LegalGamer
  • stanfordlogic.jocular.game.MinimaxGamer
  • stanfordlogic.jocular.game.RandomGamer
  • stanfordlogic.jocular.game.RLGamer
    • 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.