nltk.inference.nonmonotonic

module documentation
(source)

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.

Class ClosedDomainProver This is a prover decorator that adds domain closure assumptions before proving.
Class ClosedWorldProver This is a prover decorator that completes predicates before proving.
Class PredHolder This class will be used by a dictionary that will store information about predicates to be used by the ClosedWorldProver.
Class SetHolder A list of sets of Variables.
Class UniqueNamesProver This is a prover decorator that adds unique names assumptions before proving.
Exception ProverParseError Undocumented
Function closed_domain_demo Undocumented
Function closed_world_demo Undocumented
Function combination_prover_demo Undocumented
Function default_reasoning_demo Undocumented
Function demo Undocumented
Function get_domain Undocumented
Function print_proof Undocumented
Function unique_names_demo Undocumented
def closed_domain_demo(): (source)

Undocumented

def closed_world_demo(): (source)

Undocumented

def combination_prover_demo(): (source)

Undocumented

def default_reasoning_demo(): (source)

Undocumented

def demo(): (source)

Undocumented

def get_domain(goal, assumptions): (source)

Undocumented

def print_proof(goal, premises): (source)

Undocumented

def unique_names_demo(): (source)

Undocumented