nltk.sem.evaluate.Valuation

class documentation

class Valuation(dict): (source)

Constructor: Valuation(xs)

A dictionary which represents a model-theoretic Valuation of non-logical constants. Keys are strings representing the constants to be interpreted, and values correspond to individuals (represented as strings) and n-ary relations (represented as sets of tuples of strings).

An instance of Valuation will raise a KeyError exception (i.e., just behave like a standard dictionary) if indexed with an expression that is not in its list of symbols.

Class Method	`fromstring`	Undocumented
Method	`__getitem__`	Undocumented
Method	`__init__`	No summary
Method	`__str__`	Undocumented
Property	`domain`	Set-theoretic domain of the value-space of a Valuation.
Property	`symbols`	The non-logical constants which the Valuation recognizes.

@classmethod
def fromstring(cls, s): (source) ¶

Undocumented

def __getitem__(self, key): (source) ¶

Undocumented

def __init__(self, xs): (source) ¶

Parameters
xs	a list of (symbol, value) pairs.

def __str__(self): (source) ¶

Undocumented

@property
domain = (source) ¶

Set-theoretic domain of the value-space of a Valuation.

@property
symbols = (source) ¶

The non-logical constants which the Valuation recognizes.