aima.core.logic.fol.inference

Interface InferenceProcedure

All Known Implementing Classes:

FOLBCAsk, FOLFCAsk, FOLModelElimination, FOLOTTERLikeTheoremProver, FOLTFMResolution

public interface InferenceProcedure

Author:

Ciaran O'Reilly

Method Summary

Modifier and Type	Method and Description
InferenceResult	ask(FOLKnowledgeBase kb, Sentence query)

Method Detail

ask

InferenceResult ask(FOLKnowledgeBase kb,
                    Sentence query)

Parameters:

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

query - the query to be answered.

Returns:

an InferenceResult.