nltk.inference.mace module

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

class nltk.inference.mace.Mace

Bases: Prover9Parent, ModelBuilder

__init__(end_size=500)

class nltk.inference.mace.MaceCommand

Bases: Prover9CommandParent, BaseModelBuilderCommand

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.

__init__(goal=None, assumptions=None, max_models=500, model_builder=None)

Parameters:

• goal (sem.Expression) – Input expression to prove

• assumptions (list(sem.Expression)) – Input expressions to use as assumptions in the proof.

• max_models (int) – The maximum number of models that Mace will try before simply returning false. (Use 0 for no maximum.)

property valuation

nltk.inference.mace.decode_result(found)

Decode the result of model_found()

Parameters:

found (bool) – The output of model_found()

nltk.inference.mace.demo()

nltk.inference.mace.spacer(num=30)

nltk.inference.mace.test_build_model(arguments)

Try to build a nltk.sem.Valuation.

nltk.inference.mace.test_make_relation_set()

nltk.inference.mace.test_model_found(arguments)

Try some proofs and exhibit the results.

nltk.inference.mace.test_transform_output(argument_pair)

Transform the model into various Mace4 interpformat formats.