nltk.inference.api.ModelBuilderCommand

class documentation

class ModelBuilderCommand(TheoremToolCommand): (source)

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

This class holds a ModelBuilder, a goal, and a list of assumptions. When build_model() is called, the ModelBuilder is executed with the goal and assumptions.

Method	`build_model`	Perform the actual model building. :return: A model if one is generated; None otherwise. :rtype: sem.Valuation
Method	`get_model_builder`	Return the model builder object :return: `ModelBuilder`
Method	`model`	Return a string representation of the model

Inherited from TheoremToolCommand:

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 build_model(self, verbose=False): (source) ¶

overridden in nltk.inference.api.BaseModelBuilderCommand, nltk.inference.api.ModelBuilderCommandDecorator

Perform the actual model building. :return: A model if one is generated; None otherwise. :rtype: sem.Valuation

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

overridden in nltk.inference.api.BaseModelBuilderCommand, nltk.inference.api.ModelBuilderCommandDecorator

Return the model builder object :return: ModelBuilder

@abstractmethod
def model(self, format=None): (source) ¶

overridden in nltk.inference.api.BaseModelBuilderCommand, nltk.inference.api.ModelBuilderCommandDecorator

Return a string representation of the model

Parameters
format	Undocumented
simplify	bool simplify the proof?
Returns
str