Examples of GdlList

Examples of stanfordlogic.gdl.GdlList

47
48
49
50
51
52
53
54
55
56
57
    @Override
    public String env_init()
    {
        GdlAtom roleAtom = (GdlAtom) start_content.getElement(2);
        role = (TermObject) TermObject.buildFromGdl(roleAtom);
        GdlList game_description = (GdlList) start_content.getElement(3);
        GameInformation gameInfo = new MetaGdl(GameManager.getParser()).examineGdl(game_description);
        roles = gameInfo.getRoles();
        reasoner = new GameReasoner(gameInfo);
        state = new GDLState(reasoner);
       
View Full Code Here

Examples of stanfordlogic.gdl.GdlList

90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
        {
            return TermObject.makeTermObject( ((GdlAtom) expression).getToken() );
        }
        else if ( expression instanceof GdlList )
        {
            GdlList list = (GdlList) expression;
           
            // Grab the function name
            int name = ((GdlAtom) list.getElement(0)).getToken();
           
            // Convert each term
            Term [] terms = new Term [list.getArity()];
           
            for ( int i = 0; i < list.getArity(); i++ )
            {
                GdlExpression elem = list.getElement(i+1);
               
                if ( elem instanceof GdlVariable == false)
                    terms[i] = Term.buildFromGdl(elem, varMap);
                else
                {
View Full Code Here

Examples of stanfordlogic.gdl.GdlList

52
53
54
55
56
57
58
59
60
61
62
            throw new IllegalArgumentException( "PLAY request should have exactly three arguments, not "
                    + content_.getSize() );
        }
       
        GdlExpression prevExp = content_.getElement(2);
        GdlList prevMoves;
       
        StringBuilder prevMovesStr = new StringBuilder();
       
        if ( prevExp instanceof GdlList )
        {
View Full Code Here

Examples of stanfordlogic.gdl.GdlList

45
46
47
48
49
50
51
52
53
54
55
            throw new IllegalArgumentException( "START request should have exactly six arguments, not "
                    + content_.getSize() );
        }
       
        GdlAtom role = (GdlAtom) content_.getElement(2);
        GdlList description = (GdlList) content_.getElement(3);
       
        int start = Integer.parseInt( content_.getElement(4).toString() );
        int play = Integer.parseInt( content_.getElement(5).toString() );
        //crea juego
        Gamer gamer = GameManager.newGame(gameId_, role, description, start, play);
View Full Code Here

Examples of stanfordlogic.gdl.GdlList

55
56
57
58
59
60
61
62
63
64
65
        return reasoner_;
    }
   
    protected Fact makeQuery(String ... args)
    {
        GdlList list = GdlList.buildFromWords(symbolTable_, args);
      
        Fact query = VariableFact.fromList(list);
           
        return query;
    }
View Full Code Here

Examples of stanfordlogic.gdl.GdlList

49
50
51
52
53
54
55
56
57
58
59
            throw new IllegalArgumentException( "PLAY request should have exactly three arguments, not "
                    + content_.getSize() );
        }
       
        GdlExpression prevExp = content_.getElement(2);
        final GdlList prevMoves;
       
        StringBuilder prevMovesStr = new StringBuilder();
       
        if ( prevExp instanceof GdlList )
        {
View Full Code Here

Examples of stanfordlogic.gdl.GdlList

80
81
82
83
84
85
86
87
88
89
90
        return r.getAllAnswers(f, ProofContext.makeDummy(parser_));
    }

    public void testGroundProof()
    {
        GdlList succs = parser_.parse("(succ 1 2) (succ 2 3) (succ 3 4)");
        addFacts(succs);
       
        AbstractReasoner r = new BasicReasoner(kb_, new ArrayList<Implication>(), parser_ );
       
        // Make sure we can prove all of our ground facts!
View Full Code Here

Examples of stanfordlogic.gdl.GdlList

97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
        assertEquals( new GroundFact(symbolTable_, "succ", "3", "4"), answer3 );
    }
   
    public void testSingleGroundProofWithVars()
    {
        GdlList succs = parser_.parse("(succ 1 2) (succ 2 3) (succ 3 4)");
        addFacts(succs);
       
        AbstractReasoner r = new BasicReasoner(kb_, new ArrayList<Implication>(), parser_ );
       
        // See if we can get just one answer
        GdlList questionList = parser_.parse("succ ?x 2");
        Fact question = VariableFact.fromList(questionList);
       
        GroundFact answer = getAnAnswer( r, question );
        assertEquals( new GroundFact(symbolTable_, "succ", "1", "2"), answer);
       
View Full Code Here

Examples of stanfordlogic.gdl.GdlList

119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
        assertEquals( new GroundFact(symbolTable_, "succ", "1", "2"), answer);
    }
   
    public void testMultiGroundProofWithVars()
    {
        GdlList succs = parser_.parse("(succ 1 2) (succ 2 3) (succ 3 4)");
        addFacts(succs);
       
        AbstractReasoner r = new BasicReasoner(kb_, new ArrayList<Implication>(), parser_ );
       
        //  Now see if we can get *all* answers
        GdlList questionList = parser_.parse("succ ?x ?y");
        Fact question = VariableFact.fromList(questionList);
       
        List<GroundFact> answers = getAllAnswers( r,question);
        assertEquals( 3, answers.size() );
       
View Full Code Here

Examples of stanfordlogic.gdl.GdlList

138
139
140
141
142
143
144
145
146
147
148
        assertEquals( new GroundFact(symbolTable_, "succ", "3", "4"), answers.get(2) );
    }
   
    public void testGroundProofWithRule()
    {
        GdlList succs = parser_.parse("(succ 1 2)");
        addFacts(succs);
       
        Expression conjunct = GroundFact.fromList( parser_.parse("succ 1 2") );
        Implication rule = new Implication( GroundFact.fromList(parser_.parse("gt 2 1")), conjunct);
       
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.