Examples of loadWithFacts()

Examples of stanfordlogic.knowledge.BasicKB.loadWithFacts()

66
67
68
69
70
71
72
73
74
75
76
        Gamer gamer = makeGamer(gameId, parser);
       
        GameInformation gameInfo = new MetaGdl(parser).examineGdl(description);
       
        KnowledgeBase staticKb = new BasicKB();
        staticKb.loadWithFacts(gameInfo.getAllGrounds());
       
        AbstractReasoner reasoner = new BasicReasoner(staticKb, gameInfo.getIndexedRules(), parser);
       
        TermObject myRole = (TermObject) TermObject.buildFromGdl(role);
       
View Full Code Here

Examples of stanfordlogic.knowledge.BasicKB.loadWithFacts()

40
41
42
43
44
45
46
47
48
49
50
        Gamer gamer = new RandomGamer(gameId, parser);
       
        GameInformation gameInfo = new MetaGdl(parser).examineGdl(description);
       
        KnowledgeBase staticKb = new BasicKB();
        staticKb.loadWithFacts(gameInfo.getAllGrounds());
       
        AbstractReasoner reasoner = new BasicReasoner(staticKb, gameInfo.getIndexedRules(), parser);
       
        TermObject myRole = (TermObject) TermObject.buildFromGdl(role);
       
View Full Code Here

Examples of stanfordlogic.knowledge.BasicKB.loadWithFacts()

65
66
67
68
69
70
71
72
73
74
75
  public Reasoner(String gameDescription, Parser parser){
    this.parser=parser;
    rules=parser.parse(gameDescription);
        GameInformation gameInfo = new MetaGdl(parser).examineGdl(rules);
        KnowledgeBase staticKb = new BasicKB();
        staticKb.loadWithFacts(gameInfo.getAllGrounds());
        this.stanfordlogicReasoner = new BasicReasoner(staticKb, gameInfo.getIndexedRules(), parser);
    queryTerminal=makeQuery("terminal");
    queryNext=makeQuery("next", "?f");
    queryTrue=makeQuery("true", "?f");
    queryInit=makeQuery("init", "?f");
View Full Code Here

Examples of stanfordlogic.knowledge.BasicKB.loadWithFacts()

61
62
63
64
65
66
67
68
69
70
71
    {
        super(GameManager.getParser());
       
        game_information = gameInfo;
        KnowledgeBase staticKb = new BasicKB();
        staticKb.loadWithFacts(gameInfo.getAllGrounds());
        reasoner_ = new BasicReasoner(staticKb, gameInfo.getIndexedRules(), parser_);
    }
   
    public GameInformation getGameInfo()
    {
View Full Code Here

Examples of stanfordlogic.knowledge.BasicKB.loadWithFacts()

40
41
42
43
44
45
46
47
48
49
50
        Gamer gamer = new LegalGamer(gameId, parser);
       
        GameInformation gameInfo = new MetaGdl(parser).examineGdl(description);
       
        KnowledgeBase staticKb = new BasicKB();
        staticKb.loadWithFacts(gameInfo.getAllGrounds());
       
        AbstractReasoner reasoner = new BasicReasoner(staticKb, gameInfo.getIndexedRules(), parser);
       
        TermObject myRole = (TermObject) TermObject.buildFromGdl(role);
       
View Full Code Here

Examples of stanfordlogic.knowledge.BasicKB.loadWithFacts()

336
337
338
339
340
341
342
343
344
345
346
    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"));
View Full Code Here

Examples of stanfordlogic.knowledge.BasicKB.loadWithFacts()

405
406
407
408
409
410
411
412
413
414
415
    {
        // 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();
       
View Full Code Here

Examples of stanfordlogic.knowledge.BasicKB.loadWithFacts()

458
459
460
461
462
463
464
465
466
467
468
    {
        // 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();
       
View Full Code Here

Examples of stanfordlogic.knowledge.KnowledgeBase.loadWithFacts()

66
67
68
69
70
71
72
73
74
75
76
        Gamer gamer = makeGamer(gameId, parser);
       
        GameInformation gameInfo = new MetaGdl(parser).examineGdl(description);
       
        KnowledgeBase staticKb = new BasicKB();
        staticKb.loadWithFacts(gameInfo.getAllGrounds());
       
        AbstractReasoner reasoner = new BasicReasoner(staticKb, gameInfo.getIndexedRules(), parser);
       
        TermObject myRole = (TermObject) TermObject.buildFromGdl(role);
       
View Full Code Here

Examples of stanfordlogic.knowledge.KnowledgeBase.loadWithFacts()

40
41
42
43
44
45
46
47
48
49
50
        Gamer gamer = new RandomGamer(gameId, parser);
       
        GameInformation gameInfo = new MetaGdl(parser).examineGdl(description);
       
        KnowledgeBase staticKb = new BasicKB();
        staticKb.loadWithFacts(gameInfo.getAllGrounds());
       
        AbstractReasoner reasoner = new BasicReasoner(staticKb, gameInfo.getIndexedRules(), parser);
       
        TermObject myRole = (TermObject) TermObject.buildFromGdl(role);
       
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.