ó <¿CVc@sdZddlmZmZmZmZddlmZmZm Z m Z m Z m Z m Z mZddlmZmZmZmZmZmZmZmZddlmZddlmZddlmZmZmZddl m!Z!dd l"m#Z#m$Z$d S( s9 NLTK Semantic Interpretation Package This package contains classes for representing semantic structure in formulas of first-order logic and for evaluating such formulas in set-theoretic models. >>> from nltk.sem import logic >>> logic._counter._value = 0 The package has two main components: - ``logic`` provides support for analyzing expressions of First Order Logic (FOL). - ``evaluate`` allows users to recursively determine truth in a model for formulas of FOL. A model consists of a domain of discourse and a valuation function, which assigns values to non-logical constants. We assume that entities in the domain are represented as strings such as ``'b1'``, ``'g1'``, etc. A ``Valuation`` is initialized with a list of (symbol, value) pairs, where values are entities, sets of entities or sets of tuples of entities. The domain of discourse can be inferred from the valuation, and model is then created with domain and valuation as parameters. >>> from nltk.sem import Valuation, Model >>> v = [('adam', 'b1'), ('betty', 'g1'), ('fido', 'd1'), ... ('girl', set(['g1', 'g2'])), ('boy', set(['b1', 'b2'])), ... ('dog', set(['d1'])), ... ('love', set([('b1', 'g1'), ('b2', 'g2'), ('g1', 'b1'), ('g2', 'b1')]))] >>> val = Valuation(v) >>> dom = val.domain >>> m = Model(dom, val) iÿÿÿÿ(t parse_sentstinterpret_sentstevaluate_sentst root_semrep(t Valuationt AssignmenttModelt Undefinedtis_reltset2reltaritytread_valuation(t boolean_opst binding_opstequality_predst read_logictVariablet ExpressiontApplicationExpressiontLogicalExpressionException(t skolemize(t FStructure(t extract_relstrtupletclause(tBoxer(t DrtExpressiontDRSN(%t__doc__t nltk.sem.utilRRRRtnltk.sem.evaluateRRRRRR R R tnltk.sem.logicR R RRRRRRtnltk.sem.skolemizeRt nltk.sem.lfgRtnltk.sem.relextractRRRtnltk.sem.boxerRt nltk.sem.drtRR(((sc/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/sem/__init__.pyt*s"::