Introduction to Lexical Functional Grammar. Wellformedness conditions on f- structures. Constraints on f-structures

Size: px
Start display at page:

Download "Introduction to Lexical Functional Grammar. Wellformedness conditions on f- structures. Constraints on f-structures"

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 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 information

Grammar Development with LFG and XLE. Miriam Butt University of Konstanz

Grammar 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 information

Lexical entries & clauses

Lexical 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 information

Unification in Unification-based Grammar

Unification 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 information

Clausal Architecture and Verb Movement

Clausal 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 information

AUTOMATIC LFG GENERATION

AUTOMATIC 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 information

Computational Linguistics: Feature Agreement

Computational Linguistics: Feature Agreement Computational Linguistics: Feature Agreement Raffaella Bernardi Contents 1 Admin................................................... 4 2 Formal Grammars......................................... 5 2.1 Recall:

More information

The 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 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 information

Elementary Operations, Clausal Architecture, and Verb Movement

Elementary 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 information

Wh-questions. Ling 567 May 9, 2017

Wh-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 information

Dependency grammar and dependency parsing

Dependency 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 information

Getting Started With Syntax October 15, 2015

Getting 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 information

Context-Free Grammars

Context-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 information

The anatomy of a syntax paper

The 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 information

Indefinites and Sluicing. A type logical approach

Indefinites 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 information

Context-Free Grammars

Context-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 information

Supervised Models for Coreference Resolution [Rahman & Ng, EMNLP09] Running Example. Mention Pair Model. Mention Pair Example

Supervised 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 information

Syntax 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, 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 information

Context-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 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 information

Goals of the talk: of linking theory into the projection architecture of Integration LFG Choice of correct linkings by preference rankings 2

Goals 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 information

A high-level approach to language description

A 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 information

Proseminar on Semantic Theory Fall 2013 Ling 720 An Algebraic Perspective on the Syntax of First Order Logic (Without Quantification) 1

Proseminar 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 information

An Efficient Implementation of PATR for Categorial Unification Grammar

An 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 information

Lecture 5. Logic I. Statement Logic

Lecture 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 information

Dependency grammar and dependency parsing

Dependency 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 information

Dependency grammar and dependency parsing

Dependency 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 information

Syntax and Grammars 1 / 21

Syntax 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 information

Grammar Knowledge Transfer for Building RMRSs over Dependency Parses in Bulgarian

Grammar 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 information

CSE 20 DISCRETE MATH. Fall

CSE 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 information

The 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. 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 information

L322 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 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 information

1 Introduction. 2 Set-Theory Formalisms. Formal Semantics -W2: Limitations of a Set-Theoretic Model SWU LI713 Meagan Louie August 2015

1 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 information

CS 261 Fall Mike Lam, Professor Integer Encodings

CS 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 information

SynAF, ISO NWI. Thierry Declerck DFKI

SynAF, 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 information

Compilers and Interpreters

Compilers 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 information

COMPUTATIONAL 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 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 information

Attempto Controlled English: Language, Tools and Applications. Getting Started

Attempto 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 information

Dependency and (R)MRS

Dependency 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 information

Einführung in die Computerlinguistik

Einfü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 information

MINIMALIST INQUIRIES AND DERIVATION BY PHASE MAIN POINTS

MINIMALIST 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 information

LING 510, Lab 3 September 23, 2013

LING 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 information

LING 253: SYNTAX I SECTION. (Specifier Rule) (Adjunct Rule) (Complement Rule)

LING 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 information

Topics 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 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 information

1 Ellipsis resolution as a semantic relation between source and target. Dalrymple et al. (1991), Shieber et al. (1996): The equational analysis

1 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 information

COMP 181 Compilers. Administrative. Last time. Prelude. Compilation strategy. Translation strategy. Lecture 2 Overview

COMP 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 information

2 Ambiguity in Analyses of Idiomatic Phrases

2 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 information

Ling/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 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 information

English Understanding: From Annotations to AMRs

English 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 information

Appendix 1. Description Logic Terminology

Appendix 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 information

Computational Linguistics (INF2820 TFSs)

Computational 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 information

Appendix 1. Description Logic Terminology

Appendix 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 information

User-Defined Nonmonotonicity in Unification-Based Formalisms

User-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 information

A Logical Approach to Structure Sharing in TAGs

A 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 information

Introduction to Semantics. Expanding Our Formalism, Part 2 1

Introduction 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 information

Propositional Logic. Part I

Propositional 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 information

LDLS Syntax Crash Course

LDLS 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 information

Lecture 2 Finite Automata

Lecture 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 information

CS152 Programming Language Paradigms Prof. Tom Austin, Fall Syntax & Semantics, and Language Design Criteria

CS152 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 information

A Minimal GB Parser. Marwan Shaban. October 26, Boston University

A 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 information

Intro to Haskell Notes: Part 5

Intro 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 information

More Theories, Formal semantics

More 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 information

Programming Language Concepts, cs2104 Lecture 04 ( )

Programming 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 information

14 What VP Ellipsis Can Do, and What it Can t, but not Why

14 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 information

Optional Arguments in Abstract Categorial Grammar

Optional 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 information

Ling 571: Deep Processing for Natural Language Processing

Ling 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 information

Chapter 3. Describing Syntax and Semantics

Chapter 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 information

A Method for. Disjunctive Constraint Satisfaction. Xerox Palo Alto Research Center

A 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 information

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.

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. 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 information

1 Informal Motivation

1 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 information

Sustainability of Text-Technological Resources

Sustainability 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 information

Semantic Pattern Classification

Semantic 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 information

CSE 20 DISCRETE MATH. Winter

CSE 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 information

The CKY Parsing Algorithm and PCFGs. COMP-550 Oct 12, 2017

The 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 information

structure of the presentation Frame Semantics knowledge-representation in larger-scale structures the concept of frame

structure 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 information

Specifying Syntax. An English Grammar. Components of a Grammar. Language Specification. Types of Grammars. 1. Terminal symbols or terminals, Σ

Specifying 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 information

564 Lecture 21 Nov. 4, 1999

564 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 information

Chapter 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) 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 information

The CKY algorithm part 1: Recognition

The 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 information

CMSC 201 Fall 2016 Lab 09 Advanced Debugging

CMSC 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 information

1. Logic as a subject matter is the study of logics, understood as models of acceptable inference patterns

1. 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 information

Computational Linguistics: Syntax-Semantics Interface

Computational 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 information

Hidden 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 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 information

F08: Intro to Composition

F08: 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 information

Compilers: 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 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 information

SURVEY PAPER ON WEB PAGE CONTENT VISUALIZATION

SURVEY 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 information

CSE450 Translation of Programming Languages. Lecture 4: Syntax Analysis

CSE450 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 information

Compilers: 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 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 information

CAS LX 522 Syntax I. Case. [ucase:acc] [ucase:nom] Pronouns. NPs need case

CAS 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 information

Semantics and Generative Grammar. Expanding Our Formalism, Part 2 1. These more complex functions are very awkward to write in our current notation

Semantics 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 information

Computational Linguistics: Syntax-Semantics

Computational 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 information

COSC252: Programming Languages: Semantic Specification. Jeremy Bolton, PhD Adjunct Professor

COSC252: 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 information

Evaluation 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 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 information

Defining Program Syntax. Chapter Two Modern Programming Languages, 2nd ed. 1

Defining 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 information

Homework: Simple functions and conditionals

Homework: 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 information

Lecture 1 Contracts : Principles of Imperative Computation (Fall 2018) Frank Pfenning

Lecture 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 information

Chapter 4 Fuzzy Logic

Chapter 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 information

Syntax-semantics interface and the non-trivial computation of meaning

Syntax-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 information

COMP4418 Knowledge Representation and Reasoning

COMP4418 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 information

Question Answering Using XML-Tagged Documents

Question 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 information

The CKY algorithm part 2: Probabilistic parsing

The 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