aima.logic.fol.inference
Interface InferenceProcedure

All Known Implementing Classes:

FOLBCAsk, FOLFCAsk, FOLModelElimination, FOLOTTERLikeTheoremProver, FOLTFMResolution

public interface InferenceProcedure

Method Summary

InferenceResult

ask(FOLKnowledgeBase kb, Sentence aQuery)

Method Detail

ask

InferenceResult ask(FOLKnowledgeBase kb,
                    Sentence aQuery)

Parameters:

kb - the knowledge base against which the query is to be made.

aQuery - to be answered.

Returns:

an InferenceResult.