Examples of stanfordlogic.prover.ProofContext

stanfordlogic.prover.ProofContext
A context in which proofs are made. In addition to the static knowledge that the reasoner uses (and which does not change proof by proof) the reasoner needs to deal with current knowledge, which is volatile.
NOTE: the proof debugging is not threadsafe!

        KnowledgeBase rootState = new BasicKB();
        for (GroundFact ground : currentState_.getIterable()) {
            rootState.setTrue(ground);
        }
        // ... and the proof contex to go with it
        ProofContext rootContext = new ProofContext(rootState, parser_);
        
        // Run the minimax search.
        
        try {
            searchResult = minimaxSearch(rootState, rootContext, 0);

View Full Code Here

        
        for (GroundFact next: nexts) {
            newState.setTrue(trueProcessor_.processFact(next));
        }
        
        ProofContext newContext = new ProofContext(newState, parser_);
        
        // Run the recursive search
        Pair<Term, Integer> result = minimaxSearch(newState, newContext, currentDepth+1);
        
        // Remove the moves

View Full Code Here

0 1

TOP

Related Classes of stanfordlogic.prover.ProofContext

fr.irit.halterego.rrl_ggp.impl.GDLState

stanfordlogic.game.Gamer

stanfordlogic.jocular.game.MinimaxGamer

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.