aima.logic.fol.inference
Class FOLFCAsk

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

All Implemented Interfaces:

InferenceProcedure

public class FOLFCAsk
extends java.lang.Object
implements InferenceProcedure

Constructor Summary

FOLFCAsk()

Method Summary

InferenceResult

ask(FOLKnowledgeBase KB, Sentence query) function FOL-FC-ASK(KB, alpha) returns a substitution or false inputs: KB, the knowledge base, a set of first order definite clauses alpha, the query, an atomic sentence

Methods inherited from class java.lang.Object

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

Constructor Detail

FOLFCAsk

public FOLFCAsk()

Method Detail

ask

public InferenceResult ask(FOLKnowledgeBase KB,
                           Sentence query)

function FOL-FC-ASK(KB, alpha) returns a substitution or false inputs: KB, the knowledge base, a set of first order definite clauses alpha, the query, an atomic sentence

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.