aima.logic.fol.inference
Class FOLBCAsk

java.lang.Object
  aima.logic.fol.inference.FOLBCAsk

All Implemented Interfaces:

InferenceProcedure

public class FOLBCAsk
extends java.lang.Object
implements InferenceProcedure

Constructor Summary

FOLBCAsk()

Method Summary

InferenceResult

ask(FOLKnowledgeBase KB, Sentence query)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FOLBCAsk

public FOLBCAsk()

Method Detail

ask

public InferenceResult ask(FOLKnowledgeBase KB,
                           Sentence query)

Specified by:

ask in interface InferenceProcedure

Parameters:

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

query - to be answered.

Returns:

an InferenceResult.