Package nltk :: Package inference :: Module nonmonotonic

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.

Classes

[hide private]

ProverParseError

ClosedDomainProver
This is a prover decorator that adds domain closure assumptions before proving.

UniqueNamesProver
This is a prover decorator that adds unique names assumptions before proving.

SetHolder
A list of sets of Variables.

ClosedWorldProver
This is a prover decorator that completes predicates before proving.

PredHolder
This class will be used by a dictionary that will store information about predicates to be used by the ClosedWorldProver.

Functions

[hide private]

get_domain(goal, assumptions)

source code

closed_domain_demo()

source code

unique_names_demo()

source code

closed_world_demo()

source code

combination_prover_demo()

source code

default_reasoning_demo()

source code

print_proof(goal, premises)

source code

demo()

source code

Variables

[hide private]

APP = 'APP'