Package nltk :: Package inference :: Module nonmonotonic :: Class PredHolder

Class PredHolder

object --+
         |
        PredHolder

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

The 'signatures' property is a list of tuples defining signatures for which the predicate is true. For instance, 'see(john, mary)' would be result in the signature '(john,mary)' for 'see'.

The second element of the pair is a list of pairs such that the first element of the pair is a tuple of variables and the second element is an expression of those variables that makes the predicate true. For instance, 'all x.all y.(see(x,y) -> know(x,y))' would result in "((x,y),('see(x,y)'))" for 'know'.

Instance Methods

[hide private]

__init__(self)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature

source code

append_sig(self, new_sig)

source code

append_prop(self, new_prop)

source code

validate_sig_len(self, new_sig)

source code

__str__(self)
str(x)

source code