nltk.inference.resolution.ResolutionProver

class documentation

class ResolutionProver(Prover): (source)

View In Hierarchy

Undocumented

Constant ANSWER_KEY Undocumented
Method _attempt_proof Undocumented
Method _prove No summary
Class Variable _assume_false Undocumented

Inherited from Prover:

Method prove No summary
ANSWER_KEY: str = (source)

Undocumented

Value
'ANSWER'
def _attempt_proof(self, clauses): (source)

Undocumented

def _prove(self, goal=None, assumptions=None, verbose=False): (source)
overrides nltk.inference.api.Prover._prove
Parameters
goal:sem.ExpressionInput expression to prove
assumptions:list(sem.Expression)Input expressions to use as assumptions in the proof
verboseUndocumented
_assume_false: bool = (source)

Undocumented