Introduction to Lexical Functional Grammar. Wellformedness conditions on f- structures. Constraints on f-structures
|
|
- Earl Powers
- 6 years ago
- Views:
Transcription
1 Introduction to Lexical Functional Grammar Session 8 f(unctional)-structure & c-structure/f-structure Mapping II & Wrap-up Summary of last week s lecture LFG-specific grammar rules (i.e. PS-rules annotated with functional schemata) LFG-specific lexicon entries (i.e. annotated with functional schemata) Mapping between f-description (from c-structure) and f-structure Constraints on f- In LFG, a sentence is grammatically correct only if it satisfies 2 criteria The grammar must be able to assign a correct c- structure The grammar must be able to assign a correct wellformed f-structure Moreover the f-structure must match the c- structure and it has to satisfy 3 formal constraints Uniqueness (or Consistency) Condition Coherence Condition Completeness Condition Uniqueness Condition (also called Consistency Condition) Attribute names must be unique and every attribute has a unique value Ex. A clause cannot have two different SUBJs or two different tenses: Inconsistent f-structure SUBJ PRED Veit` SUBJ PRED Tom` PRED TENSE TENSE sleep ( SUBJ) ` PAST FUT Completeness Condition All functions specified in the value of a PRED feature must be present in the local f-structure. Complete f-structure PRED like ( SUBJ) ( OBJ) ` OBJ PRED Mary` Incomplete f-structure PRED like ( SUBJ) ( OBJ) `? Coherence Condition All argument functions in an f-structure must be selected by the local PRED feature. Complete f-structure PRED fall ( SUBJ) ` Incoherent f-structure PRED fall ( SUBJ) `? OBJ PRED Mary` 1
2 Extended Coherence Condition All argument functions in an f-structure must be selected by the local PRED feature. Non-argument functions have to bear an appropriate relation to a PRED: ADJUNCTS must be in f- containing a PRED TOPIC or FOCUS must be identified with, or anaphorically linked to, arguments or adjuncts. Functional equations can be devided into 2 groups Defining equations: The functional equations we have seen so far. They define an f-structure attribute as existing and having a particular value. : do not create a feature-value pair, but require a particular feature value to be present They are notationally distinguished by subscripting the letter c to the equal sign ` = c Ex. bewundern V ( PRED)= bewundern ( SUBJ) ( OBJ) ` ( OBJ CASE)= c ACC The constraining equation does not provide information directly, but constrains (i.e. checks the appropriateness of) information coming from somewhere else The constraining equation will be violated either if the feature is not specified at all somewhere else, or if it is specified differently from what the pronoun (in our example) requires Inequality (negation) It constrains a feature not to have a particular value Represented either ( TENSE) = PRES or ( TENSE) PRES Note: there is no way to interpret the inequality as defining. Therefore, the c subscript is not used in the equations. Existential constraint It requires a feature to be present without requiring that it have a particular value The notation: (f a) Ex. The complementizer that requires its clause to have a finite verb, i.e. a verb with the attribute TENSE. The value of TENSE, however, is irrelevant. Conversely, the complementizer to cannot occur with the feature TENSE: Conditional equations Useful in testing for the presence of a feature as a condition for functional specification Represented by the conditional ` Ex. Malayalam determines the functions of NPs on the basis of their case attributes (K.P. Mohanan, 1982). A nominative case-marked NP can be either a subject or (if inanimated) an object; animate objects are accusative: that to ( TENSE) ( TENSE) a) ( CASE) = NOM ( SUBJ) = b) [( CASE) = ACC & ( ANIM) = +] ( OBJ) = c) [( CASE) = NOM & ( ANIM) = ] ( OBJ) = 2
3 Summary of types of constraining equations a) A = c B positive b) (A = B), A B negative c) (f a) existential d) A B conditional (also defining) Designators like ( SUBJ) ` or ( SUBJ NUM) `areoutside-in: They define a path into the f- structure from a point specified by Inside-out impose a constraint on the larger f-structure. They define, starting at, a path outward past a particular function As notation, the is put at the end Ex. (DF ) Primarily used in the analyses of long-distance dependencies ( wh-movement ) and anaphora Example for inside-out designator What is a wh-word, but in contrast to other wh-words it can only introduce questions in standard English but no relative clauses a) [Who did you see]? the syntactician [who you saw] b) [Where did you read that]? the newspaper [where you read that] c) [What did you eat]? *the falafel [what you ate] Assuming the feature TYPE for clause type with values such as Q, REL, etc. The f-structure in which what appears (DF is some discourse function): TYPE DF Q PRED PRON PRO` WH The lexical item what must lexically specify that the clause in which it occurs has the feature [TYPE Q]: what D ( PRED) = PRO` ((DF ) TYPE = Q ( PRON) = WH Functional uncertainty For example ( SUBJ) or ( SUBJ NUM), etc. represent a fixed path of attributes For some phenomena, e.g. such as anaphora and longdistance dependencies, however, the path cannot be specified in advance. It might be potentially infinite. Functional uncertainty extends functional equations to allow a path of attributes of variable length LFG schemata can contain the metavariables and in addition to and. We will see examples of this in the next sessions f-structure: more examples Expletive pronouns Ex. a) It snows. b) It seems that we are having fun. c) I take it that the world is flat. These are meaningless elements, i.e. they do not refer to a discourse referent, they have no θ-role, but they have a syntactic function Since they are meaningless, they lack the PRED feature; instead they have the FORM feature Since they are non-thematic arguments, they are placed outside the angle brackets 3
4 f-structure: more examples The f-structure for It snows. PRED snow ( SUBJ) ` SUBJ FORM it non-thematic arguments outside the angle brackets no PRED feature, FORM feature instead The most basic grammatical functions are argument functions: SUBJ (subject), OBJ (object), OBJ2 (secondary object), OBL θ (oblique) family POSS (possessor), COMP (complement) The PRED for seem PRED seem < ( COMP) > ( SUBJ) ` There are also non-argument functions: - ADJ (adjunct) - FOCUS, TOPIC Further distinction among argument functions: Core functions: SUBJ, OBJ, OBJ2 Are typically realized as DPs (e.g. English) or nominative and accusative Case (in languages with morphological Case) Are more strictly grammatical functions Non-core functions: OBL θ family Are typically marked with prepositions or Cases expressing θ- roles Are more tied to semantics Argument functions are arranged in a relational hierarchy (Keenan & Comrie 1977) SUBJ > OBJ > OBJ2 > OBL θ (indicates relative accessibility to grammatical processes such as relativization, antecedence of anaphora, etc.) Overlay functions relate a syntactic element to a larger syntactic or discourse structure SUBJ (partially) connects clauses within a sentence TOPIC and FOCUS relate a sentence to the larger discourse (grammaticized) discourse functions (Bresnan 2001) Non-overlay argument functions are also called complement functions argument core noncore SUBJ OBJ OBL θ ADJ OBJ2 COMP POSS overlay nonoverlay nonargument FOCUS TOPIC etc. overlay 4
5 Wrap-up See separate file Wrap-up on our web-site Homework This is a bibliographic work meant as preparation for the sessions in the new year (where you are supposed to write LFG grammar fragments for a particular phenomenon in your (or another) language) Find out until 09 Monday (9 am) which linguistic phenomena in your language seem to be interesting for linguists working in LFG (consult the websites at Stanford and Essex) Write a short summary of no more than half a page (in prose!) and indicate already, if possible, which of the phenomena might interest you 5
Grammar Development with LFG and XLE. Miriam Butt University of Konstanz
Grammar Development with LFG and XLE Miriam Butt University of Konstanz Last Time Integration of a Finite-State Morphological Analyzer - Sublexical Rules - Sublexical Entries - The -unknown entry The XLE
More informationGrammar Development with LFG and XLE. Miriam Butt University of Konstanz
Grammar Development with LFG and XLE Miriam Butt University of Konstanz Last Time Verbal Complements: COMP and XCOMP - Finite Complements - Subject vs. Object Control in XCOMPs - Control Equations in lexical
More informationLexical entries & clauses
Lexical entries & clauses 2013 Jan 18 The problem The inadequacy of PS-rules a. * John devoured. John fainted. b. * Cezanne fainted the apple. Cezanne painted the apple. c. * John ate the apple the pear.
More informationUnification in Unification-based Grammar
THE SIXTH JAPANESE-KOREAN JOINT CONFERENCE ON FORMAL LINGUISTICS,1991 Unification in Unification-based Grammar K.S.Choi, D.J.Son, and G.C.Kim Department of Computer Science Korea Advanced Institute of
More informationClausal Architecture and Verb Movement
Introduction to Transformational Grammar, LINGUIST 601 October 1, 2004 Clausal Architecture and Verb Movement 1 Clausal Architecture 1.1 The Hierarchy of Projection (1) a. John must leave now. b. John
More informationAUTOMATIC LFG GENERATION
AUTOMATIC LFG GENERATION MS Thesis for the Degree of Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Science (Computer Science) at the National University of Computer and
More informationComputational Linguistics: Feature Agreement
Computational Linguistics: Feature Agreement Raffaella Bernardi Contents 1 Admin................................................... 4 2 Formal Grammars......................................... 5 2.1 Recall:
More informationThe uniform treatment of constraints, coherency and completeness in a Lexical Functional Grammar compiler
The uniform treatment of constraints, coherency and completeness in a Lexical Functional Grammar compiler Peter Hancox School of Computer Science University of Birmingham Lexical Functional Grammar (LFG)
More informationElementary Operations, Clausal Architecture, and Verb Movement
Introduction to Transformational Grammar, LINGUIST 601 October 3, 2006 Elementary Operations, Clausal Architecture, and Verb Movement 1 Elementary Operations This discussion is based on?:49-52. 1.1 Merge
More informationWh-questions. Ling 567 May 9, 2017
Wh-questions Ling 567 May 9, 2017 Overview Target representation The problem Solution for English Solution for pseudo-english Lab 7 overview Negative auxiliaries interactive debugging Wh-questions: Target
More informationDependency grammar and dependency parsing
Dependency grammar and dependency parsing Syntactic analysis (5LN455) 2014-12-10 Sara Stymne Department of Linguistics and Philology Based on slides from Marco Kuhlmann Mid-course evaluation Mostly positive
More informationGetting Started With Syntax October 15, 2015
Getting Started With Syntax October 15, 2015 Introduction The Accordance Syntax feature allows both viewing and searching of certain original language texts that have both morphological tagging along with
More informationContext-Free Grammars
Department of Linguistics Ohio State University Syntax 2 (Linguistics 602.02) January 3, 2012 (CFGs) A CFG is an ordered quadruple T, N, D, P where a. T is a finite set called the terminals; b. N is a
More informationThe anatomy of a syntax paper
The anatomy of a syntax paper Seminar week 4: Understanding the Theory of Syntax, Summer 2014 Asad Sayeed Uni-Saarland Asad Sayeed (Uni-Saarland) The anatomy of a syntax paper 1 There is a special secret
More informationIndefinites and Sluicing. A type logical approach
Indefinites and Sluicing. A type logical approach Gerhard Jäger Zentrum für Allgemeine Sprachwissenschaft Berlin Abstract Following Jäger (2001a), we propose to extend the Lambek calculus with two additional
More informationContext-Free Grammars
Context-Free Grammars Carl Pollard yntax 2 (Linguistics 602.02) January 3, 2012 Context-Free Grammars (CFGs) A CFG is an ordered quadruple T, N, D, P where a. T is a finite set called the terminals; b.
More informationSupervised Models for Coreference Resolution [Rahman & Ng, EMNLP09] Running Example. Mention Pair Model. Mention Pair Example
Supervised Models for Coreference Resolution [Rahman & Ng, EMNLP09] Many machine learning models for coreference resolution have been created, using not only different feature sets but also fundamentally
More informationSyntax 380L December 4, Wh-Movement 2. For notational convenience, I have used traces (t i,t j etc.) to indicate copies throughout this handout.
Syntax 380L December 4, 2001 Wh-Movement 2 For notational convenience, I have used traces (t i,t j etc.) to indicate copies throughout this handout. 1 The Basics of wh-movement (1) Who i does John think
More informationContext-Free Grammars. Carl Pollard Ohio State University. Linguistics 680 Formal Foundations Tuesday, November 10, 2009
Context-Free Grammars Carl Pollard Ohio State University Linguistics 680 Formal Foundations Tuesday, November 10, 2009 These slides are available at: http://www.ling.osu.edu/ scott/680 1 (1) Context-Free
More informationGoals of the talk: of linking theory into the projection architecture of Integration LFG Choice of correct linkings by preference rankings 2
An architecture for linking theory in LFG Butt, Mary Dalrymple, and Anette Frank Miriam of Konstanz/Xerox PARC/RXRC-Grenoble University June 1997 LFG97, of California{San Diego University 1 Goals of the
More informationA high-level approach to language description
A high-level approach to language description Lionel Clément and Jérôme Kirman and Sylvain Salvati Université de Bordeaux - LaBRI INRIA Polymnie meeting 12 Mars 2014 Context and motivation Linguistic formalization
More informationProseminar on Semantic Theory Fall 2013 Ling 720 An Algebraic Perspective on the Syntax of First Order Logic (Without Quantification) 1
An Algebraic Perspective on the Syntax of First Order Logic (Without Quantification) 1 1. Statement of the Problem, Outline of the Solution to Come (1) The Key Problem There is much to recommend an algebraic
More informationAn Efficient Implementation of PATR for Categorial Unification Grammar
An Efficient Implementation of PATR for Categorial Unification Grammar Todd Yampol Stanford University Lauri Karttunen Xerox PARC and CSLI 1 Introduction This paper describes C-PATR, a new C implementation
More informationLecture 5. Logic I. Statement Logic
Ling 726: Mathematical Linguistics, Logic. Statement Logic V. Borschev and B. Partee, September 27, 2 p. Lecture 5. Logic I. Statement Logic. Statement Logic...... Goals..... Syntax of Statement Logic....2.
More informationDependency grammar and dependency parsing
Dependency grammar and dependency parsing Syntactic analysis (5LN455) 2015-12-09 Sara Stymne Department of Linguistics and Philology Based on slides from Marco Kuhlmann Activities - dependency parsing
More informationDependency grammar and dependency parsing
Dependency grammar and dependency parsing Syntactic analysis (5LN455) 2016-12-05 Sara Stymne Department of Linguistics and Philology Based on slides from Marco Kuhlmann Activities - dependency parsing
More informationSyntax and Grammars 1 / 21
Syntax and Grammars 1 / 21 Outline What is a language? Abstract syntax and grammars Abstract syntax vs. concrete syntax Encoding grammars as Haskell data types What is a language? 2 / 21 What is a language?
More informationGrammar Knowledge Transfer for Building RMRSs over Dependency Parses in Bulgarian
Grammar Knowledge Transfer for Building RMRSs over Dependency Parses in Bulgarian Kiril Simov and Petya Osenova Linguistic Modelling Department, IICT, Bulgarian Academy of Sciences DELPH-IN, Sofia, 2012
More informationCSE 20 DISCRETE MATH. Fall
CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Final exam The final exam is Saturday December 16 11:30am-2:30pm. Lecture A will take the exam in Lecture B will take the exam
More informationThe Verb. From Probabilities to Internal Categories. Cem Bozşahin. Cognitive Science Department, The Informatics Institute, ODTÜ
The Verb From Probabilities to Internal Categories Cem Bozşahin bozsahin@metu.edu.tr Cognitive Science Department, The Informatics Institute, ODTÜ November 18, 2016 Joint work with Mark Steedman (with
More informationL322 Syntax. Chapter 3: Structural Relations. Linguistics 322 D E F G H. Another representation is in the form of labelled brackets:
L322 Syntax Chapter 3: Structural Relations Linguistics 322 1 The Parts of a Tree A tree structure is one of an indefinite number of ways to represent a sentence or a part of it. Consider the following
More information1 Introduction. 2 Set-Theory Formalisms. Formal Semantics -W2: Limitations of a Set-Theoretic Model SWU LI713 Meagan Louie August 2015
Formal Semantics -W2: Limitations of a Set-Theoretic Model SWU LI713 Meagan Louie August 2015 1 Introduction Recall from last week: The Semantic System 1. The Model/Ontology 2. Lexical Entries 3. Compositional
More informationCS 261 Fall Mike Lam, Professor Integer Encodings
CS 261 Fall 2018 Mike Lam, Professor https://xkcd.com/571/ Integer Encodings Integers Topics C integer data types Unsigned encoding Signed encodings Conversions Integer data types in C99 1 byte 2 bytes
More informationSynAF, ISO NWI. Thierry Declerck DFKI
SynAF, ISO NWI Thierry Declerck DFKI SynAF SynAF (Syntactic Annotation Framework) has been adopted by ISO as a NWI. SynAF will be based on MAF (Morpho-Syntactic Annotation Framework) and will propose a
More informationCompilers and Interpreters
Overview Roadmap Language Translators: Interpreters & Compilers Context of a compiler Phases of a compiler Compiler Construction tools Terminology How related to other CS Goals of a good compiler 1 Compilers
More informationCOMPUTATIONAL SEMANTICS WITH FUNCTIONAL PROGRAMMING JAN VAN EIJCK AND CHRISTINA UNGER. lg Cambridge UNIVERSITY PRESS
COMPUTATIONAL SEMANTICS WITH FUNCTIONAL PROGRAMMING JAN VAN EIJCK AND CHRISTINA UNGER lg Cambridge UNIVERSITY PRESS ^0 Contents Foreword page ix Preface xiii 1 Formal Study of Natural Language 1 1.1 The
More informationAttempto Controlled English: Language, Tools and Applications. Getting Started
Attempto Controlled English: Language, Tools and Applications Getting Started Norbert E. Fuchs, Kaarel Kaljurand Department of Informatics & Institute of Computational Linguistics University of Zurich
More informationDependency and (R)MRS
Dependency and (R)MRS Ann Copestake aac@cl.cam.ac.uk December 9, 2008 1 Introduction Note: for current purposes, this document lacks a proper introduction, in that it assumes readers know about MRS and
More informationEinführung in die Computerlinguistik
Einführung in die Computerlinguistik Feature Structures Merkmalsstrukturen Laura Kallmeyer Heinrich-Heine-Universität Düsseldorf Summer 2018 1 / 23 Introduction (1) Non-terminals that are used in CFGs
More informationMINIMALIST INQUIRIES AND DERIVATION BY PHASE MAIN POINTS
Anagnostopoulou / Fox Advanced Syntax, Spring 2007 MINIMALIST INQUIRIES AND DERIVATION BY PHASE MAIN POINTS [This handout contains material from Winfried Lechner s handout Economy in the Minimalist Program
More informationLING 510, Lab 3 September 23, 2013
LING 510, Lab 3 September 23, 2013 Agenda: Go over Homework 1 Go over JYW, if there are questions Go over function application (what we ended with on Thursday) 1. Frequently missed questions on Homework
More informationLING 253: SYNTAX I SECTION. (Specifier Rule) (Adjunct Rule) (Complement Rule)
LIG 253: SYAX I SECIO SABIA MAYIKU OC. 17, 2012 1. Our current rules for English XP (YP) X X (ZP) X or X X (ZP) X X (WP) XP XP Conj XP X X Conj X X X Conj X X X WP UP (Specifier Rule) (Adjunct Rule) (Complement
More informationTopics in Parsing: Context and Markovization; Dependency Parsing. COMP-599 Oct 17, 2016
Topics in Parsing: Context and Markovization; Dependency Parsing COMP-599 Oct 17, 2016 Outline Review Incorporating context Markovization Learning the context Dependency parsing Eisner s algorithm 2 Review
More information1 Ellipsis resolution as a semantic relation between source and target. Dalrymple et al. (1991), Shieber et al. (1996): The equational analysis
Ellipsis Resource accounting at the syntax-semantics interface 26 Feb 02 The basic data (1) Ellipsis resolution: a. John saw a flying saucer, and Bill did too. b. = Bill saw a flying saucer. (2) Strict
More informationCOMP 181 Compilers. Administrative. Last time. Prelude. Compilation strategy. Translation strategy. Lecture 2 Overview
COMP 181 Compilers Lecture 2 Overview September 7, 2006 Administrative Book? Hopefully: Compilers by Aho, Lam, Sethi, Ullman Mailing list Handouts? Programming assignments For next time, write a hello,
More information2 Ambiguity in Analyses of Idiomatic Phrases
Representing and Accessing [Textual] Digital Information (COMS/INFO 630), Spring 2006 Lecture 22: TAG Adjunction Trees and Feature Based TAGs 4/20/06 Lecturer: Lillian Lee Scribes: Nicolas Hamatake (nh39),
More informationLing/CSE 472: Introduction to Computational Linguistics. 5/9/17 Feature structures and unification
Ling/CSE 472: Introduction to Computational Linguistics 5/9/17 Feature structures and unification Overview Problems with CFG Feature structures Unification Agreement Subcategorization Long-distance Dependencies
More informationEnglish Understanding: From Annotations to AMRs
English Understanding: From Annotations to AMRs Nathan Schneider August 28, 2012 :: ISI NLP Group :: Summer Internship Project Presentation 1 Current state of the art: syntax-based MT Hierarchical/syntactic
More informationAppendix 1. Description Logic Terminology
Appendix 1 Description Logic Terminology Franz Baader Abstract The purpose of this appendix is to introduce (in a compact manner) the syntax and semantics of the most prominent DLs occurring in this handbook.
More informationComputational Linguistics (INF2820 TFSs)
S NP Det N VP V The dog barked LTOP h 1 INDEX e 2 def q rel bark v rel prpstn m rel LBL h 4 dog n rel LBL h RELS LBL h 1 ARG0 x 5 LBL h 9 8 ARG0 e MARG h 3 RSTR h 6 ARG0 x 2 5 ARG1 x BODY h 5 7 HCONS h
More informationAppendix 1. Description Logic Terminology
Appendix 1 Description Logic Terminology Franz Baader Abstract The purpose of this appendix is to introduce (in a compact manner) the syntax and semantics of the most prominent DLs occurring in this handbook.
More informationUser-Defined Nonmonotonicity in Unification-Based Formalisms
User-Defined Nonmonotonicity in Unification-Based Formalisms Lena Str~Smb~ick Department of Computer and Information Science LinkSping University S-58185 LinkSping, Sweden lestr~ida, liu. so Abstract A
More informationA Logical Approach to Structure Sharing in TAGs
Workshop TAG+5, Paris, 25-27 May 2000 171 A Logical Approach to Structure Sharing in TAGs Adi Palm Department of General Linguistics University of Passau D-94030 Passau Abstract Tree adjoining grammars
More informationIntroduction to Semantics. Expanding Our Formalism, Part 2 1
Expanding Our Formalism, Part 2 1 1. Lambda Notation for Defining Functions As you may have guessed by this point, most expressions of natural language will have some kind of function as their extension
More informationPropositional Logic. Part I
Part I Propositional Logic 1 Classical Logic and the Material Conditional 1.1 Introduction 1.1.1 The first purpose of this chapter is to review classical propositional logic, including semantic tableaux.
More informationLDLS Syntax Crash Course
LDLS Syntax Crash Course INTRODUCTION This document is intended for beta testers and reviewers who wish to quickly learn the basics of how to use the Libronix DLS 3.0 syntax features, including syntax
More informationLecture 2 Finite Automata
Lecture 2 Finite Automata August 31, 2007 This lecture is intended as a kind of road map to Chapter 1 of the text just the informal examples that I ll present to motivate the ideas. 1 Expressions without
More informationCS152 Programming Language Paradigms Prof. Tom Austin, Fall Syntax & Semantics, and Language Design Criteria
CS152 Programming Language Paradigms Prof. Tom Austin, Fall 2014 Syntax & Semantics, and Language Design Criteria Lab 1 solution (in class) Formally defining a language When we define a language, we need
More informationA Minimal GB Parser. Marwan Shaban. October 26, Boston University
A Minimal GB Parser Marwan Shaban shaban@cs.bu.edu October 26, 1993 BU-CS Tech Report # 93-013 Computer Science Department Boston University 111 Cummington Street Boston, MA 02215 Abstract: We describe
More informationIntro to Haskell Notes: Part 5
Intro to Haskell Notes: Part 5 Adrian Brasoveanu October 5, 2013 Contents 1 Curried functions and related issues 1 1.1 Curried functions......................................... 1 1.2 Partially applied
More informationMore Theories, Formal semantics
Parts are based on slides by Carl Pollard Charles University, 2011-11-12 Optimality Theory Universal set of violable constraints: Faithfulness constraints:surface forms should be as close as to underlying
More informationProgramming Language Concepts, cs2104 Lecture 04 ( )
Programming Language Concepts, cs2104 Lecture 04 (2003-08-29) Seif Haridi Department of Computer Science, NUS haridi@comp.nus.edu.sg 2003-09-05 S. Haridi, CS2104, L04 (slides: C. Schulte, S. Haridi) 1
More information14 What VP Ellipsis Can Do, and What it Can t, but not Why
What VP Ellipsis Can Do 439 14 What VP Ellipsis Can Do, and What it Can t, but not Why KYLE JOHNSON 0 Introduction VP ellipsis is the name given to instances of anaphora in which a missing predicate, like
More informationOptional Arguments in Abstract Categorial Grammar
Optional Arguments in Abstract Categorial Grammar Chris Blom MSc. Thesis, 30 ECTS Master in Cognitive Artificial Intelligence, Utrecht University May 2012 First supervisor : dr. Yoad Winter Second supervisor
More informationLing 571: Deep Processing for Natural Language Processing
Ling 571: Deep Processing for Natural Language Processing Julie Medero January 14, 2013 Today s Plan Motivation for Parsing Parsing as Search Search algorithms Search Strategies Issues Two Goal of Parsing
More informationChapter 3. Describing Syntax and Semantics
Chapter 3 Describing Syntax and Semantics Chapter 3 Topics Introduction The General Problem of Describing Syntax Formal Methods of Describing Syntax Attribute Grammars Describing the Meanings of Programs:
More informationA Method for. Disjunctive Constraint Satisfaction. Xerox Palo Alto Research Center
A Method for Disjunctive Constraint Satisfaction John T. Maxwell III Ronald M. Kaplan Xerox Palo Alto Research Center 1 Introduction A distinctive property of many current grammatical formalisms is their
More information1. He considers himself to be a genius. 2. He considered dieting to be unnecessary. 3. She considered that the waffle iron was broken. 4.
1. He considers himself to be a genius. 2. He considered dieting to be unnecessary. 3. She considered that the waffle iron was broken. 4. He finally managed to get the bill paid. 5. I see you found the
More information1 Informal Motivation
CHAPTER SEVEN: (PRE)SEMILATTICES AND TREES 1 Informal Motivation As we will illustrate presently, given a CFG T,N,D,P, a nonterminal A N, and a T-string s C A, we can use the CFG to guide us in constructing
More informationSustainability of Text-Technological Resources
Sustainability of Text-Technological Resources Maik Stührenberg, Michael Beißwenger, Kai-Uwe Kühnberger, Harald Lüngen, Alexander Mehler, Dieter Metzing, Uwe Mönnich Research Group Text-Technological Overview
More informationSemantic Pattern Classification
PFL054 Term project 2011/2012 Semantic Pattern Classification Ema Krejčová 1 Introduction The aim of the project is to construct classifiers which should assign semantic patterns to six given verbs, as
More informationCSE 20 DISCRETE MATH. Winter
CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Final exam The final exam is Saturday March 18 8am-11am. Lecture A will take the exam in GH 242 Lecture B will take the exam
More informationThe CKY Parsing Algorithm and PCFGs. COMP-550 Oct 12, 2017
The CKY Parsing Algorithm and PCFGs COMP-550 Oct 12, 2017 Announcements I m out of town next week: Tuesday lecture: Lexical semantics, by TA Jad Kabbara Thursday lecture: Guest lecture by Prof. Timothy
More informationstructure of the presentation Frame Semantics knowledge-representation in larger-scale structures the concept of frame
structure of the presentation Frame Semantics semantic characterisation of situations or states of affairs 1. introduction (partially taken from a presentation of Markus Egg): i. what is a frame supposed
More informationSpecifying Syntax. An English Grammar. Components of a Grammar. Language Specification. Types of Grammars. 1. Terminal symbols or terminals, Σ
Specifying Syntax Language Specification Components of a Grammar 1. Terminal symbols or terminals, Σ Syntax Form of phrases Physical arrangement of symbols 2. Nonterminal symbols or syntactic categories,
More information564 Lecture 21 Nov. 4, 1999
564 Lecture 21 Nov. 4, 1999 1 Homework notes: 1. What we're doing when we calculate value of a tree like one "Dino is brown dinosaur that licked Fred", is we're calculating its truth-conditions, i.e. we're
More informationChapter 3: Describing Syntax and Semantics. Introduction Formal methods of describing syntax (BNF)
Chapter 3: Describing Syntax and Semantics Introduction Formal methods of describing syntax (BNF) We can analyze syntax of a computer program on two levels: 1. Lexical level 2. Syntactic level Lexical
More informationThe CKY algorithm part 1: Recognition
The CKY algorithm part 1: Recognition Syntactic analysis (5LN455) 2016-11-10 Sara Stymne Department of Linguistics and Philology Mostly based on slides from Marco Kuhlmann Phrase structure trees S root
More informationCMSC 201 Fall 2016 Lab 09 Advanced Debugging
CMSC 201 Fall 2016 Lab 09 Advanced Debugging Assignment: Lab 09 Advanced Debugging Due Date: During discussion Value: 10 points Part 1: Introduction to Errors Throughout this semester, we have been working
More information1. Logic as a subject matter is the study of logics, understood as models of acceptable inference patterns
Lecture 9: Propositional Logic I Philosophy 130 23 & 28 October 2014 O Rourke I. Administrative A. Problem sets due Thursday, 30 October B. Midterm course evaluations C. Questions? II. Logic and Form A.
More informationComputational Linguistics: Syntax-Semantics Interface
Computational Linguistics: Syntax-Semantics Interface Raffaella Bernardi KRDB, Free University of Bozen-Bolzano P.zza Domenicani, Room: 2.28, e-mail: bernardi@inf.unibz.it Contents 1 Lambda terms and DCG...................................
More informationHidden Markov Models. Natural Language Processing: Jordan Boyd-Graber. University of Colorado Boulder LECTURE 20. Adapted from material by Ray Mooney
Hidden Markov Models Natural Language Processing: Jordan Boyd-Graber University of Colorado Boulder LECTURE 20 Adapted from material by Ray Mooney Natural Language Processing: Jordan Boyd-Graber Boulder
More informationF08: Intro to Composition
F08: Intro to Composition Semantics - Ling 331/731 University of Kansas 1 erbs as functions (1). Here is a sadly simplified sentence structure: S P P There are two lexical items that feed this structure:
More informationCompilers: Principles, Techniques, and Tools. Jing-Shin Chang Department of Computer Science & Information Engineering National Chi-Nan University
Compilers: Principles, Techniques, and Tools Jing-Shin Chang Department of Computer Science & Information Engineering National Chi-Nan University 1 Goals What is a Compiler? Why? Applications? How to Write
More informationSURVEY PAPER ON WEB PAGE CONTENT VISUALIZATION
SURVEY PAPER ON WEB PAGE CONTENT VISUALIZATION Sushil Shrestha M.Tech IT, Department of Computer Science and Engineering, Kathmandu University Faculty, Department of Civil and Geomatics Engineering, Kathmandu
More informationCSE450 Translation of Programming Languages. Lecture 4: Syntax Analysis
CSE450 Translation of Programming Languages Lecture 4: Syntax Analysis http://xkcd.com/859 Structure of a Today! Compiler Source Language Lexical Analyzer Syntax Analyzer Semantic Analyzer Int. Code Generator
More informationCompilers: Principles, Techniques, and Tools. Jing-Shin Chang Department of Computer Science & Information Engineering National Chi-Nan University
Compilers: Principles, Techniques, and Tools Jing-Shin Chang Department of Computer Science & Information Engineering National Chi-Nan University 1 Goals What is a Compiler? Why? Applications? How to Write
More informationCAS LX 522 Syntax I. Case. [ucase:acc] [ucase:nom] Pronouns. NPs need case
CAS LX 522 Syntax I Case, agreement, and the passie 11 (chapter 6 continues) Case Recall that s in English show distinctions in case: Subject s are in nominatie case Object s are in accusatie case How
More informationSemantics and Generative Grammar. Expanding Our Formalism, Part 2 1. These more complex functions are very awkward to write in our current notation
Expanding Our Formalism, Part 2 1 1. Lambda Notation for Defining Functions A Practical Concern: Most expressions of natural language will have some kind of function as their extension... These more complex
More informationComputational Linguistics: Syntax-Semantics
Computational Linguistics: Syntax-Semantics Raffaella Bernardi University of Trento Contents 1 The Three Tasks Revised................................... 3 2 Lambda terms and CFG...................................
More informationCOSC252: Programming Languages: Semantic Specification. Jeremy Bolton, PhD Adjunct Professor
COSC252: Programming Languages: Semantic Specification Jeremy Bolton, PhD Adjunct Professor Outline I. What happens after syntactic analysis (parsing)? II. Attribute Grammars: bridging the gap III. Semantic
More informationEvaluation of Predicate Calculus By Arve Meisingset, retired research scientist from Telenor Research Oslo Norway
Evaluation of Predicate Calculus By Arve Meisingset, retired research scientist from Telenor Research 31.05.2017 Oslo Norway Predicate Calculus is a calculus on the truth-values of predicates. This usage
More informationDefining Program Syntax. Chapter Two Modern Programming Languages, 2nd ed. 1
Defining Program Syntax Chapter Two Modern Programming Languages, 2nd ed. 1 Syntax And Semantics Programming language syntax: how programs look, their form and structure Syntax is defined using a kind
More informationHomework: Simple functions and conditionals
Homework: Simple functions and conditionals COMP 50 Fall 2013 This homework is due at 11:59PM on Monday, September 16. If all goes well, you will download an extension to DrRacket that enables you to submit
More informationLecture 1 Contracts : Principles of Imperative Computation (Fall 2018) Frank Pfenning
Lecture 1 Contracts 15-122: Principles of Imperative Computation (Fall 2018) Frank Pfenning In these notes we review contracts, which we use to collectively denote function contracts, loop invariants,
More informationChapter 4 Fuzzy Logic
4.1 Introduction Chapter 4 Fuzzy Logic The human brain interprets the sensory information provided by organs. Fuzzy set theory focus on processing the information. Numerical computation can be performed
More informationSyntax-semantics interface and the non-trivial computation of meaning
1 Syntax-semantics interface and the non-trivial computation of meaning APA/ASL Group Meeting GVI-2: Lambda Calculi, Type Systems, and Applications to Natural Language APA Eastern Division 108th Annual
More informationCOMP4418 Knowledge Representation and Reasoning
COMP4418 Knowledge Representation and Reasoning Week 3 Practical Reasoning David Rajaratnam Click to edit Present s Name Practical Reasoning - My Interests Cognitive Robotics. Connect high level cognition
More informationQuestion Answering Using XML-Tagged Documents
Question Answering Using XML-Tagged Documents Ken Litkowski ken@clres.com http://www.clres.com http://www.clres.com/trec11/index.html XML QA System P Full text processing of TREC top 20 documents Sentence
More informationThe CKY algorithm part 2: Probabilistic parsing
The CKY algorithm part 2: Probabilistic parsing Syntactic analysis/parsing 2017-11-14 Sara Stymne Department of Linguistics and Philology Based on slides from Marco Kuhlmann Recap: The CKY algorithm The
More information