nltk.inference.api.ModelBuilder

class documentation

class ModelBuilder: (source)

Known subclasses: nltk.inference.api.ParallelProverBuilder, nltk.inference.mace.Mace

View In Hierarchy

Interface for trying to build a model of set of formulas. Open formulas are assumed to be universally quantified. Both the goal and the assumptions are constrained to be formulas of logic.Expression.

Method build_model Perform the actual model building. :return: Whether a model was generated :rtype: bool
Method _build_model Perform the actual model building. :return: Whether a model was generated, and the model itself :rtype: tuple(bool, sem.Valuation)
def build_model(self, goal=None, assumptions=None, verbose=False): (source)

Perform the actual model building. :return: Whether a model was generated :rtype: bool

@abstractmethod
def _build_model(self, goal=None, assumptions=None, verbose=False): (source)
overridden in nltk.inference.api.ParallelProverBuilder, nltk.inference.mace.Mace

Perform the actual model building. :return: Whether a model was generated, and the model itself :rtype: tuple(bool, sem.Valuation)