nltk.inference

package documentation

(source)

Classes and interfaces for theorem proving and model building.

Module	`api`	Interfaces and base classes for theorem provers and model builders.
Module	`discourse`	Module for incrementally developing simple discourses, and checking for semantic ambiguity, consistency and informativeness.
Module	`mace`	A model builder that makes use of the external 'Mace4' package.
Module	`nonmonotonic`	A module to perform nonmonotonic reasoning. The ideas and demonstrations in this module are based on "Logical Foundations of Artificial Intelligence" by Michael R. Genesereth and Nils J. Nilsson.
Module	`prover9`	A theorem prover that makes use of the external 'Prover9' package.
Module	`resolution`	Module for a resolution-based First Order theorem prover.
Module	`tableau`	Module for a tableau-based First Order theorem prover.