aima.core.logic.fol.inference.InferenceProcedure Maven / Gradle / Ivy
package aima.core.logic.fol.inference;
import aima.core.logic.fol.kb.FOLKnowledgeBase;
import aima.core.logic.fol.parsing.ast.Sentence;
/**
* @author Ciaran O'Reilly
*
*/
public interface InferenceProcedure {
/**
*
* @param kb
* the knowledge base against which the query is to be made.
* @param query
* the query to be answered.
* @return an InferenceResult.
*/
InferenceResult ask(FOLKnowledgeBase kb, Sentence query);
}