nltk.inference.api.BaseModelBuilderCommand

class documentation

class BaseModelBuilderCommand(BaseTheoremToolCommand, ModelBuilderCommand): (source)

Known subclasses: nltk.inference.api.ParallelProverBuilderCommand, nltk.inference.mace.MaceCommand

Constructor: BaseModelBuilderCommand(modelbuilder, goal, assumptions)

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	`__init__`	No summary
Method	`build_model`	Attempt to build a model. Store the result to prevent unnecessary re-building.
Method	`get_model_builder`	Return the model builder object :return: `ModelBuilder`
Method	`model`	Return a string representation of the model
Method	`_decorate_model`	No summary
Instance Variable	`_model`	Undocumented
Instance Variable	`_modelbuilder`	The theorem tool to execute with the assumptions
Instance Variable	`_result`	A holder for the result, to prevent unnecessary re-proving

Inherited from BaseTheoremToolCommand:

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

def __init__(self, modelbuilder, goal=None, assumptions=None): (source) ¶

overrides nltk.inference.api.BaseTheoremToolCommand.__init__

overridden in nltk.inference.api.ParallelProverBuilderCommand, nltk.inference.mace.MaceCommand

Parameters
modelbuilder:ModelBuilder	The theorem tool to execute with the assumptions
goal	Undocumented
assumptions	Undocumented
See Also
`BaseTheoremToolCommand`

def build_model(self, verbose=False): (source) ¶

overrides nltk.inference.api.ModelBuilderCommand.build_model

overridden in nltk.inference.api.ParallelProverBuilderCommand

Attempt to build a model. Store the result to prevent unnecessary re-building.

def get_model_builder(self): (source) ¶

overrides nltk.inference.api.ModelBuilderCommand.get_model_builder

Return the model builder object :return: ModelBuilder

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

overrides nltk.inference.api.ModelBuilderCommand.model

Return a string representation of the model

Parameters
format	Undocumented
simplify	bool simplify the proof?
Returns
str

def _decorate_model(self, valuation_str, format=None): (source) ¶

overridden in nltk.inference.mace.MaceCommand

Parameters
valuation_str	str with the model builder's output
format	str indicating the format for displaying
Returns
str

_model = (source) ¶

Undocumented

_modelbuilder = (source) ¶

The theorem tool to execute with the assumptions

_result = (source) ¶

overrides nltk.inference.api.BaseTheoremToolCommand._result

overridden in nltk.inference.api.ParallelProverBuilderCommand

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