nltk.inference.api.BaseTheoremToolCommand

class documentation

class BaseTheoremToolCommand(TheoremToolCommand): (source)

Known subclasses: nltk.inference.api.BaseModelBuilderCommand, nltk.inference.api.BaseProverCommand

Constructor: BaseTheoremToolCommand(goal, assumptions)

View In Hierarchy

This class holds a goal and a list of assumptions to be used in proving or model building.

Method __init__ No summary
Method add_assumptions Add new assumptions to the assumption list.
Method assumptions List the current assumptions.
Method goal Return the goal
Method print_assumptions Print the list of the current assumptions.
Method retract_assumptions Retract assumptions from the assumption list.
Instance Variable _assumptions Undocumented
Instance Variable _goal Undocumented
Instance Variable _result A holder for the result, to prevent unnecessary re-proving
def __init__(self, goal=None, assumptions=None): (source)
overridden in nltk.inference.api.BaseModelBuilderCommand, nltk.inference.api.BaseProverCommand
Parameters
goal:sem.ExpressionInput expression to prove
assumptions:list(sem.Expression)Input expressions to use as assumptions in the proof.
def add_assumptions(self, new_assumptions): (source)
overrides nltk.inference.api.TheoremToolCommand.add_assumptions

Add new assumptions to the assumption list.

Parameters
new_assumptions:list(sem.Expression)new assumptions
def assumptions(self): (source)
overrides nltk.inference.api.TheoremToolCommand.assumptions

List the current assumptions.

Returns
list of Expression
def goal(self): (source)
overrides nltk.inference.api.TheoremToolCommand.goal

Return the goal

Returns
Expression
def print_assumptions(self): (source)
overrides nltk.inference.api.TheoremToolCommand.print_assumptions

Print the list of the current assumptions.

def retract_assumptions(self, retracted, debug=False): (source)
overrides nltk.inference.api.TheoremToolCommand.retract_assumptions

Retract assumptions from the assumption list.

assumptions list. :type debug: bool :param retracted: assumptions to be retracted :type retracted: list(sem.Expression)

Parameters
retractedUndocumented
debugIf True, give warning when retracted is not present on
_assumptions = (source)

Undocumented

_goal = (source)

Undocumented

_result = (source)
overridden in nltk.inference.api.BaseModelBuilderCommand, nltk.inference.api.BaseProverCommand

A holder for the result, to prevent unnecessary re-proving