nltk.inference.mace

module documentation
(source)

A model builder that makes use of the external 'Mace4' package.

Class Mace No class docstring; 1/2 instance variable, 2/3 methods documented
Class MaceCommand A MaceCommand specific to the Mace model builder. It contains a print_assumptions() method that is used to print the list of assumptions in multiple formats.
Function decode_result Decode the result of model_found()
Function demo Undocumented
Function spacer Undocumented
Function test_build_model Try to build a nltk.sem.Valuation.
Function test_make_relation_set Undocumented
Function test_model_found Try some proofs and exhibit the results.
Function test_transform_output Transform the model into various Mace4 interpformat formats.
Variable arguments Undocumented
def decode_result(found): (source)

Decode the result of model_found()

Parameters
found:boolThe output of model_found()
def demo(): (source)

Undocumented

def spacer(num=30): (source)

Undocumented

def test_build_model(arguments): (source)

Try to build a nltk.sem.Valuation.

def test_make_relation_set(): (source)

Undocumented

def test_model_found(arguments): (source)

Try some proofs and exhibit the results.

def test_transform_output(argument_pair): (source)

Transform the model into various Mace4 interpformat formats.

arguments: list[tuple] = (source)

Undocumented