Package nltk :: Package inference :: Module mace :: Class Mace

Class Mace

           object --+    
                    |    
prover9.Prover9Parent --+
                        |
           object --+   |
                    |   |
     api.ModelBuilder --+
                        |
                       Mace

Instance Methods

[hide private]

nltk.sem.evaluate.Valuation

build_model(self, goal=None, assumptions=[], verbose=False)
Use Mace4 to build a first order model. source code

Inherited from prover9.Prover9Parent: __init__, prover9_input

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

Class Variables

[hide private]

_valuation = None
text output from running mace

Instance Variables

[hide private]

Inherited from prover9.Prover9Parent (private): _timeout

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

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

source code

Use Mace4 to build a first order model.

Returns: nltk.sem.evaluate.Valuation: True if a model was found (i.e. Mace returns value of 0), else False
Overrides: api.ModelBuilder.build_model

Class Mace

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

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