Package nltk :: Package inference :: Module mace

[frames] | no frames]

Module mace

Classes

MaceCommand
A MaceCommand specific to the Mace model builder.

Mace

Functions

spacer(num=30)

source code

decode_result(found)
Decode the result of model_found()

source code

test_model_found(arguments)
Try some proofs and exhibit the results.

source code

test_build_model(arguments)
Try to build a nltk.sem.Valuation.

source code

test_transform_output(argument_pair)
Transform the model into various Mace4 interpformat formats. source code

test_make_model_dict()

source code

Variables

arguments = [('mortal(Socrates)', ['all x.(man(x) -> mortal(x)...

Function Details

decode_result(found)

Decode the result of model_found()

Parameters:

found (boolean) - The output of model_found()

Variables Details

arguments

Value:

[('mortal(Socrates)',
  ['all x.(man(x) -> mortal(x))', 'man(Socrates)']),
 ('(not mortal(Socrates))',
  ['all x.(man(x) -> mortal(x))', 'man(Socrates)'])]