nltk.sem.drt.DrtParser

class documentation

class DrtParser(LogicParser): (source)

Known subclasses: nltk.sem.boxer.BoxerDrsParser, nltk.sem.boxer.BoxerOutputDrsParser

Constructor: DrtParser()

View In Hierarchy

A lambda calculus expression parser.

Method __init__ to their types.
Method get_all_symbols This method exists to be overridden
Method get_BooleanExpression_factory This method serves as a hook for other logic parsers that have different boolean operators
Method handle This method is intended to be overridden for logics that use different operators or expressions
Method handle_conds Undocumented
Method handle_DRS Undocumented
Method handle_prop Undocumented
Method handle_refs Undocumented
Method isvariable Undocumented
Method make_ApplicationExpression Undocumented
Method make_BooleanExpression Undocumented
Method make_EqualityExpression This method serves as a hook for other logic parsers that have different equality expression classes
Method make_LambdaExpression Undocumented
Method make_NegatedExpression Undocumented
Method make_VariableExpression Undocumented
Instance Variable operator_precedence Undocumented

Inherited from LogicParser:

Method __repr__ Undocumented
Method assertNextToken Undocumented
Method assertToken Undocumented
Method attempt_adjuncts Undocumented
Method attempt_ApplicationExpression Attempt to make an application expression. The next tokens are a list of arguments in parens, then the argument expression is a function being applied to the arguments. Otherwise, return the argument expression.
Method attempt_BooleanExpression Attempt to make a boolean expression. If the next token is a boolean operator, then a BooleanExpression will be returned. Otherwise, the parameter will be returned.
Method attempt_EqualityExpression Attempt to make an equality expression. If the next token is an equality operator, then an EqualityExpression will be returned. Otherwise, the parameter will be returned.
Method get_next_token_variable Undocumented
Method get_QuantifiedExpression_factory This method serves as a hook for other logic parsers that have different quantifiers
Method handle_lambda Undocumented
Method handle_negation Undocumented
Method handle_open Undocumented
Method handle_quant Undocumented
Method handle_variable Undocumented
Method has_priority Undocumented
Method inRange Return TRUE if the given location is within the buffer
Method make_QuanifiedExpression Undocumented
Method parse Parse the expression.
Method process Split the data into tokens
Method process_next_expression Parse the next complete expression from the stream and return it.
Method process_quoted_token Undocumented
Method token Get the next waiting token. If a location is given, then return the token at currentIndex+location without advancing currentIndex; setting it gives lookahead/lookback capability.
Instance Variable quote_chars Undocumented
Instance Variable right_associated_operations Undocumented
Instance Variable type_check A list of tuples of quote characters. The 4-tuple is comprised of the start character, the end character, the escape character, and a boolean indicating whether the quotes should be included in the result...
Instance Variable _buffer Undocumented
Instance Variable _currentIndex Undocumented
def __init__(self): (source)
overrides nltk.sem.logic.LogicParser.__init__
overridden in nltk.sem.boxer.BoxerDrsParser, nltk.sem.boxer.BoxerOutputDrsParser

to their types.

Parameters
type_checkbool should type checking be performed?
def get_all_symbols(self): (source)
overrides nltk.sem.logic.LogicParser.get_all_symbols
overridden in nltk.sem.boxer.BoxerDrsParser, nltk.sem.boxer.BoxerOutputDrsParser

This method exists to be overridden

def get_BooleanExpression_factory(self, tok): (source)
overrides nltk.sem.logic.LogicParser.get_BooleanExpression_factory

This method serves as a hook for other logic parsers that have different boolean operators

def handle(self, tok, context): (source)
overrides nltk.sem.logic.LogicParser.handle
overridden in nltk.sem.boxer.BoxerDrsParser, nltk.sem.boxer.BoxerOutputDrsParser

This method is intended to be overridden for logics that use different operators or expressions

def handle_conds(self, context): (source)

Undocumented

def handle_DRS(self, tok, context): (source)

Undocumented

def handle_prop(self, tok, context): (source)

Undocumented

def handle_refs(self): (source)

Undocumented

def isvariable(self, tok): (source)
overrides nltk.sem.logic.LogicParser.isvariable

Undocumented

def make_ApplicationExpression(self, function, argument): (source)
overrides nltk.sem.logic.LogicParser.make_ApplicationExpression

Undocumented

def make_BooleanExpression(self, factory, first, second): (source)
overrides nltk.sem.logic.LogicParser.make_BooleanExpression

Undocumented

def make_EqualityExpression(self, first, second): (source)
overrides nltk.sem.logic.LogicParser.make_EqualityExpression

This method serves as a hook for other logic parsers that have different equality expression classes

def make_LambdaExpression(self, variables, term): (source)
overrides nltk.sem.logic.LogicParser.make_LambdaExpression

Undocumented

def make_NegatedExpression(self, expression): (source)
overrides nltk.sem.logic.LogicParser.make_NegatedExpression

Undocumented

def make_VariableExpression(self, name): (source)
overrides nltk.sem.logic.LogicParser.make_VariableExpression

Undocumented

operator_precedence = (source)
overrides nltk.sem.logic.LogicParser.operator_precedence

Undocumented