Package inference

source code

Classes and interfaces for theorem proving and model building.

Submodules

[hide private]

nltk.inference.api: Interfaces and base classes for theorem provers and model builders.
nltk.inference.discourse
nltk.inference.mace
nltk.inference.nonmonotonic: A module to perform nonmonotonic reasoning.
nltk.inference.prover9
nltk.inference.resolution
nltk.inference.tableau

Classes

[hide private]

ParallelProverBuilder
This class stores both a prover and a model builder and when either prove() or build_model() is called, then both theorem tools are run in parallel.

ParallelProverBuilderCommand
This command stores both a prover and a model builder and when either prove() or build_model() is called, then both theorem tools are run in parallel.

Mace

Prover9

ResolutionProverCommand

ResolutionProver

TableauProverCommand

TableauProver

ReadingCommand

MaceCommand
A MaceCommand specific to the Mace model builder.

DrtGlueReadingCommand

CfgReadingCommand

Prover9Command
A ProverCommand specific to the Prover9 prover.

DiscourseTester
Check properties of an ongoing discourse.

Variables

[hide private]

APP = 'APP'