nltk.inference.api.TheoremToolCommand

class documentation

class TheoremToolCommand: (source)

Known subclasses: nltk.inference.api.BaseTheoremToolCommand, nltk.inference.api.ModelBuilderCommand, nltk.inference.api.ProverCommand, nltk.inference.api.TheoremToolCommandDecorator

View In Hierarchy

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

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.

@abstractmethod
def add_assumptions(self, new_assumptions): (source) ¶

overridden in nltk.inference.api.BaseTheoremToolCommand, nltk.inference.api.TheoremToolCommandDecorator

Add new assumptions to the assumption list.

Parameters
new_assumptions:list(sem.Expression)	new assumptions

@abstractmethod
def assumptions(self): (source) ¶

overridden in nltk.inference.api.BaseTheoremToolCommand, nltk.inference.api.TheoremToolCommandDecorator, nltk.inference.nonmonotonic.ClosedDomainProver, nltk.inference.nonmonotonic.ClosedWorldProver, nltk.inference.nonmonotonic.UniqueNamesProver

List the current assumptions.

Returns
list of `Expression`

@abstractmethod
def goal(self): (source) ¶

overridden in nltk.inference.api.BaseTheoremToolCommand, nltk.inference.api.TheoremToolCommandDecorator, nltk.inference.nonmonotonic.ClosedDomainProver

Return the goal

Returns
`Expression`

@abstractmethod
def print_assumptions(self): (source) ¶

overridden in nltk.inference.api.BaseTheoremToolCommand, nltk.inference.api.TheoremToolCommandDecorator

Print the list of the current assumptions.

@abstractmethod
def retract_assumptions(self, retracted, debug=False): (source) ¶

overridden in nltk.inference.api.BaseTheoremToolCommand, nltk.inference.api.TheoremToolCommandDecorator

Retract assumptions from the assumption list.

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

Parameters
retracted	Undocumented
debug	If True, give warning when `retracted` is not present on