Keywords: mathematical linguistics, computational linguistics, Montague semantics, model theory, generalized computability
Abstract: We discuss a notion of linguistic structure suitable to formalise semantics of natural language sentences and texts. In particular, a method of comparison for linguistic structures is presented, based on well-known edit distance measure from graph theory. Also, we study quantifier scope ambiguity (the Scope Problem). Traditional Montague-based approaches often require generating multiple logical forms for a single sentence. To overcome this, we integrate Hilbert's epsilon-operator and Skolem choice functions.
Submission Number: 53
Loading