nltk.sem.drt.DrtProposition

class documentation

class DrtProposition(DrtExpression, Expression): (source)

Constructor: DrtProposition(variable, drs)

View In Hierarchy

Undocumented

Method __eq__ Undocumented
Method __init__ Undocumented
Method __ne__ Undocumented
Method __str__ Undocumented
Method eliminate_equality Undocumented
Method fol Undocumented
Method get_refs Return the set of discourse referents in this DRS. :param recursive: bool Also find discourse referents in subterms? :return: list of Variable objects
Method replace Replace every instance of 'variable' with 'expression' :param variable: Variable The variable to replace :param expression: Expression The expression with which to replace it :param replace_bound: bool Should bound variables be replaced...
Method visit No summary
Method visit_structured No summary
Instance Variable drs Undocumented
Instance Variable variable Undocumented
Method _pretty Undocumented

Inherited from DrtExpression:

Class Method fromstring Undocumented
Method __add__ Undocumented
Method __and__ Undocumented
Method __gt__ Undocumented
Method __neg__ Undocumented
Method __or__ Undocumented
Method applyto Undocumented
Method draw Undocumented
Method equiv Check for logical equivalence. Pass the expression (self <-> other) to the theorem prover. If the prover says it is valid, then the self and other are equal.
Method is_pronoun_function Is self of the form "PRO(x)"?
Method make_EqualityExpression Undocumented
Method make_VariableExpression Undocumented
Method pretty_format Draw the DRS :return: the pretty print string
Method pretty_print Undocumented
Method resolve_anaphora Undocumented
Method typecheck Undocumented
Property type Undocumented
Class Variable _drt_parser Undocumented

Inherited from Expression (via DrtExpression):

Method __call__ Undocumented
Method __hash__ Undocumented
Method __lt__ Undocumented
Method __repr__ Undocumented
Method constants Return a set of individual constants (non-predicates). :return: set of Variable objects
Method findtype Find the type of the given variable as it is used in this expression. For example, finding the type of "P" in "P(x) & Q(x,y)" yields "<e,t>"
Method free Return a set of all the free (non-bound) variables. This includes both individual and predicate variables, but not constants. :return: set of Variable objects
Method negate If this is a negated expression, remove the negation. Otherwise add a negation.
Method normalize Rename auto-generated unique variables
Method predicates Return a set of predicates (constants, not variables). :return: set of Variable objects
Method simplify No summary
Method substitute_bindings No summary
Method variables Return a set of all the variables for binding substitution. The variables returned include all free (non-bound) individual variables and any variable starting with '?' or '@'. :return: set of Variable objects...
Method _set_type Set the type of this expression to be the given type. Raise type exceptions where applicable.
Class Variable _logic_parser Undocumented
Class Variable _type_checking_logic_parser Undocumented
def __eq__(self, other): (source)
overrides nltk.sem.logic.Expression.__eq__

Undocumented

def __init__(self, variable, drs): (source)

Undocumented

def __ne__(self, other): (source)
overrides nltk.sem.logic.Expression.__ne__

Undocumented

def __str__(self): (source)
overrides nltk.sem.logic.Expression.__str__

Undocumented

def eliminate_equality(self): (source)
overrides nltk.sem.drt.DrtExpression.eliminate_equality

Undocumented

def fol(self): (source)

Undocumented

def get_refs(self, recursive=False): (source)
overrides nltk.sem.drt.DrtExpression.get_refs

Return the set of discourse referents in this DRS. :param recursive: bool Also find discourse referents in subterms? :return: list of Variable objects

def replace(self, variable, expression, replace_bound=False, alpha_convert=True): (source)
overrides nltk.sem.logic.Expression.replace

Replace every instance of 'variable' with 'expression' :param variable: Variable The variable to replace :param expression: Expression The expression with which to replace it :param replace_bound: bool Should bound variables be replaced? :param alpha_convert: bool Alpha convert automatically to avoid name clashes?

def visit(self, function, combinator): (source)
overrides nltk.sem.logic.Expression.visit
See Also
Expression.visit()
def visit_structured(self, function, combinator): (source)
overrides nltk.sem.logic.Expression.visit_structured
See Also
Expression.visit_structured()
drs = (source)

Undocumented

variable = (source)

Undocumented

def _pretty(self): (source)

Undocumented