Examples of stanfordlogic.knowledge.GameInformation

stanfordlogic.knowledge.GameInformation
Information we've extracted from the game description regarding structural, syntactical and other features of a game.
Note that the init facts are not in the static facts. @author Based on code by Team Camembert: David Haley, Pierre-Yves Laligand

    }
    
    public void testBigMinichess() throws IOException
    {
        // Load the rules for mini-chess
        GameInformation info = MetaGdl.examineGame("game-defs/minichess.kif", parser_);
        
        KnowledgeBase staticKb = new BasicKB();
        staticKb.loadWithFacts( info.getAllGrounds() );
        
        List<Implication> rules = info.getRules();
        
        KnowledgeBase volatileKb = new BasicKB();
        
        AbstractReasoner reasoner = new BasicReasoner(staticKb, rules, parser_);

View Full Code Here

    
    
    public void testChessLegalMoves()
    {
        // Load the rules for chess
        GameInformation info = MetaGdl.examineGame("game-defs/chess.kif", parser_);
        
        KnowledgeBase staticKb = new BasicKB();
        staticKb.loadWithFacts( info.getAllGrounds() );
        
        List<Implication> rules = info.getRules();
        
        KnowledgeBase volatileKb = new BasicKB();
        
        AbstractReasoner reasoner = new BasicReasoner(staticKb, rules, parser_);

View Full Code Here

0 1

TOP

Related Classes of stanfordlogic.knowledge.GameInformation

fr.irit.halterego.ggp_agent.cmd.Explore

fr.irit.halterego.ggp_agent.GGPAgent

fr.irit.halterego.jocular.GGPEnvironment

stanfordlogic.jocular.game.GenericGamerFactory

stanfordlogic.jocular.game.LegalGamerFactory

stanfordlogic.jocular.game.RandomGamerFactory

stanfordlogic.test.prover.TestProver

tud.gamecontroller.game.jocular.Reasoner

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.