Examples of GameInformation

net.cis.common.model.system.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

Examples of stanfordlogic.knowledge.GameInformation

        assertEquals(10, results.size());
    }
    
    public void testTicTacToe() throws IOException
    {
        GameInformation info = MetaGdl.examineGame("game-defs/tictactoe.kif", parser_);
        
        KnowledgeBase staticKb = new BasicKB();
        staticKb.loadWithFacts(info.getAllGrounds());
        
        AbstractReasoner r = new BasicReasoner(staticKb, info.getIndexedRules(), parser_);
        
        
        Fact initQuestion = Fact.fromExpression(parser_.parse("init ?x"));
        
        // Compute the initial state

View Full Code Here

Examples of stanfordlogic.knowledge.GameInformation

    }
    
    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

Examples of stanfordlogic.knowledge.GameInformation

    
    
    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

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.