Package nltk :: Package inference :: Module api :: Class ModelBuilder

Class ModelBuilder

object --+
         |
        ModelBuilder

Known Subclasses:

mace.Mace

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.

Instance Methods

[hide private]

nltk.sem.evaluate.Valuation

build_model(self, goal=None, assumptions=[], verbose=False)
Returns: A model if one is generated; None otherwise. source code

Inherited from object: __delattr__, __getattribute__, __hash__, __init__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __str__

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

build_model(self, goal=None, assumptions=`[]`, verbose=False)

source code

Returns: nltk.sem.evaluate.Valuation: A model if one is generated; None otherwise.

Class ModelBuilder

build_model(self, goal=None, assumptions=[], verbose=False)

build_model(self, goal=None, assumptions=`[]`, verbose=False)