Home | Trees | Index | Help |
|
---|
Package nltk_lite :: Package contrib :: Module models :: Class Model |
|
A first order model is a domain D of discourse and a valuation V.
A domain D is a set, and a valuation V is a map that associates expressions with values in the model. The domain of V should be a subset of D.Method Summary | |
---|---|
__init__(self,
domain,
valuation,
prop)
| |
__repr__(self)
| |
__str__(self)
| |
An interpretation function. | |
satisfiers(self,
expr,
var,
g,
trace)
| |
Recursive interpretation function for a formula of first-order logic. |
Method Details |
---|
i(self, expr, g, trace=False)An interpretation function. Assuming thatexpr is atomic, i
calls V if expr is a non-logical
constant, and g if expr is a free
variable.
|
satisfy(self, expr, g, trace=False)Recursive interpretation function for a formula of first-order logic.
|
Home | Trees | Index | Help |
|
---|
Generated by Epydoc 2.1 on Tue Sep 5 09:37:20 2006 | http://epydoc.sf.net |