Package nltk :: Package inference

[frames] | no frames]

Package inference

Classes and interfaces for theorem proving and model building.

Submodules

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