Package nltk_lite :: Package contrib :: Module models :: Class Model
[show private | hide private]
[frames | no frames]

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)
  i(self, expr, g, trace)
An interpretation function.
  satisfiers(self, expr, var, g, trace)
  satisfy(self, expr, g, trace)
Recursive interpretation function for a formula of first-order logic.

Method Details

i(self, expr, g, trace=False)

An interpretation function.

Assuming that expr is atomic, i calls V if expr is a non-logical constant, and g if expr is a free variable.
Parameters:
expr - Expression from logic
g - Assignment
Returns:
a semantic value

satisfy(self, expr, g, trace=False)

Recursive interpretation function for a formula of first-order logic.
Returns:
Returns a truth value

Generated by Epydoc 2.1 on Tue Sep 5 09:37:20 2006 http://epydoc.sf.net