Algorithms for AI and NLP (INF4820 TFSs)
|
|
- Beryl Allen
- 6 years ago
- Views:
Transcription
1 S 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 3 = q h 9, h 6 = q h 8 Algorithms for AI and NLP (INF4820 TFSs) HEAD 1 SPR 2 SPR, COMPS COMPS 3 HEAD 1 SPR 2 COMPS 3 Stephan Oepen and Jan Tore Lønning Universitetet i Oslo {oe jtl }@ifi.uio.no
2 A (Simplified) PCFG Estimation Example S S S VP VP VP Kim V shot VP elephants P in PP pajamas Kim V loves cake P with PP chocolate Kim VP V arrived PP P in Oslo P(RHS LHS) CFG Rule S VP VP VP PP VP V PP P PP VP V Estimate rule probability from observed distribution; conditional probabilities: P(RHS LHS) = C(LHS, RHS) C(LHS) Natural Language Understanding (2)
3 Formally: Probabilistic Context-Free Grammars Formally, a context-free grammar (CFG) is a quadruple: C, Σ,P,S... P is a set of category rewrite rules (aka productions), each with a conditional probability P(RHS LHS), e.g.... Kim [0.6] snow [0.4]... for each rule α β 1, β 2,...,β n P : α C and β i C Σ; 1 i n;... for each α C, the probabilities of all rules R α... must sum to 1. Natural Language Understanding (3)
4 Limitations of Context-Free Grammar Agreement and Valency (For Example) That dog barks. That dogs barks. Those dogs barks. The dog chased a cat. The dog barks a cat. The dog chased. The dog chased a cat my neighbours. The cat was chased by a dog. The cat was chased of a dog.... Natural Language Understanding (4)
5 Unification-Based Grammar: Structured Categories All (constituent) categories in the grammar are typed feature structures; feature structures are recursive, record-like objects: attribute value sets; typing very similar to OO programming: a multipe-inheritance hierarchy; specific TFS configurations may correspond to traditional categories; labels like S or are mere abbreviations, not elements of the theory. word HEAD noun [ SPR HEAD det COMPS ] HEAD verb SPR COMPS HEAD verb [ SPR HEAD noun COMPS ] N S VP Natural Language Understanding (5)
6 The Type Hierarchy: Fundamentals Types represent groups of entities with similar properties ( classes ); types ordered by specificity: subtypes inherit properties of (all) parents; type hierarchy determines which types are compatible (and which not). *top* *list* *string* feat-struc *cons* *null* expression pos word noun verb det Natural Language Understanding (6)
7 Type Hierarchies: Multiple Inheritance flyer and swimmer no common descendants: they are incompatible; flyer and bee stand in hierarchical relationship: they unify to subtype; flyer and invertebrate have one unique greatest lower bound ( glb ). *top* animal flyer swimmer invertebrate vertebrate bee fish cod guppy Natural Language Understanding (7)
8 Typed Feature Structure Subsumption Typed feature structures can be partially ordered by information content; a more general structure is said to subsume a more specific one; *top* is the most general feature structure (while is inconsistent); ( square subset or equal ) conventionally used to depict subsumption. Feature structure F subsumes feature structure G (F G) iff: (1) if path p is defined in F then p is also defined in G and the type of the value of p in F is a supertype or equal to the type of the value of p in G, and (2) all paths that are reentrant in F are also reentrant in G. Natural Language Understanding (8)
9 Feature Structure Subsumption: Examples TFS 1 : TFS 3 : a b FOO x BAR x FOO y BAR x BAZ x TFS 2 : TFS 4 : a a FOO x BAR y FOO 1 x BAR 1 Hierarchy a FOO BAR b BAZ x y Feature structure F subsumes feature structure G (F G) iff: (1) if path p is defined in F then p is also defined in G and the type of the value of p in F is a supertype or equal to the type of the value of p in G, and (2) all paths that are reentrant in F are also reentrant in G. Natural Language Understanding (9)
10 Typed Feature Structure Unification Decide whether two typed feature structures are mutually compatible; determine combination of two TFSs to give the most general feature structure which retains all information which they individually contain; if there is no such feature structure, unification fails (depicted as ); unification monotonically combines information from both input TFSs; relation to subsumption the unification of two structures F and G is the most general TFS which is subsumed by both F and G (if it exists). ( square set intersection ) conventionally used to depict unification. Natural Language Understanding (10)
11 Typed Feature Structure Unification: Examples TFS 1 : TFS 3 : a b FOO x BAR x FOO y BAR x BAZ x TFS 2 : TFS 4 : a a FOO x BAR y FOO 1 x BAR 1 Hierarchy a FOO BAR b BAZ x y TFS 1 TFS 2 TFS 2 TFS 1 TFS 3 TFS 3 TFS 3 TFS 4 b FOO 1 y BAR 1 BAZ x Natural Language Understanding (11)
12 Typed Feature Structure Example (as AVM) HEAD verb ARGS *cons* FIRST word ORTH chased HEAD verb REST *cons* FIRST expression HEAD noun REST *null* Natural Language Understanding (12)
13 Typed Feature Structure Example (as Graph) HEAD verb ARGS *cons* FIRST word REST ORTH chased HEAD verb *cons* expression FIRST HEAD noun REST *null* Natural Language Understanding (13)
14 Reentrancy in a Typed Feature Structure (AVM) HEAD 1 verb ARGS *ne-list* FIRST word ORTH chased HEAD 1 REST *ne-list* FIRST expression HEAD noun REST *null* Natural Language Understanding (14)
15 Reentrancy in a Typed Feature Structure (Graph) HEAD verb ARGS HEAD *ne-list*first word ORTH chased REST expression *ne-list*first HEAD noun REST *null* Natural Language Understanding (15)
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 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 informationAlgorithms for AI and NLP (INF4820 Lisp & FSAs)
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 informationLing 571: Deep Processing for Natural Language Processing
Ling 571: Deep Processing for Natural Language Processing Julie Medero February 4, 2013 Today s Plan Assignment Check-in Project 1 Wrap-up CKY Implementations HW2 FAQs: evalb Features & Unification Project
More information11-682: Introduction to IR, NLP, MT and Speech. Parsing with Unification Grammars. Reading: Jurafsky and Martin, Speech and Language Processing
11-682: Introduction to IR, NLP, MT and Speech Parsing with Unification Grammars Reading: Jurafsky and Martin, Speech and Language Processing Chapter 11 Augmenting CFGs with Features Certain linguistic
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 informationLing/CSE 472: Introduction to Computational Linguistics. 5/21/12 Unification, parsing with unification Meaning representation
Ling/CSE 472: Introduction to Computational Linguistics 5/21/12 Unification, parsing with unification Meaning representation Overview Unification Unification algorithm Parsing with unification Representing
More informationThe CKY Parsing Algorithm and PCFGs. COMP-599 Oct 12, 2016
The CKY Parsing Algorithm and PCFGs COMP-599 Oct 12, 2016 Outline CYK parsing PCFGs Probabilistic CYK parsing 2 CFGs and Constituent Trees Rules/productions: S VP this VP V V is rules jumps rocks Trees:
More informationComputational Linguistics: Feature Agreement
Computational Linguistics: Feature Agreement Raffaella Bernardi Contents 1 Admin................................................... 4 2 Formal Grammars......................................... 5 2.1 Recall:
More informationLKB User Manual. (excerpted from Implementing Typed Feature Structure Grammars) Ann Copestake ISBN:
LKB User Manual (excerpted from Implementing Typed Feature Structure Grammars) Ann Copestake ISBN: 1-57586-260-3 Copyright notice: Excerpted from Implementing Typed Feature Structure Grammars by Ann Copestake,
More informationGrammar Engineering for Deep Linguistic Processing SS2012
for Deep Linguistic Processing SS2012 Lecture 3: TDL Department of Computational Linguistics & Phonetics Saarland University Language Technology Lab German Research Center for Artificial Intelligence May,
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 informationKnowledge Engineering for NLP May 1, 2005 Clausal semantics
Knowledge Engineering for NLP May 1, 2005 Clausal semantics Overview Why clausal semantics? What s a clause? Messages in G&S, MRS, the Matrix Messages and the syntax-semantics interface Details about this
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 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 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 informationCKY algorithm / PCFGs
CKY algorithm / PCFGs CS 585, Fall 2018 Introduction to Natural Language Processing http://people.cs.umass.edu/~miyyer/cs585/ Mohit Iyyer College of Information and Computer Sciences University of Massachusetts
More informationIndexing Methods for Efficient Parsing with Typed Feature Structure Grammars
Indexing Methods for Efficient Parsing with Typed Feature Structure Grammars Cosmin Munteanu A thesis submitted in conformity with the requirements for the degree of Master of Science Department of Computer
More informationSystems Analysis and Design Methods Chapter 7: Data Modeling and Analysis
Systems Analysis and Design Methods Chapter 7: Data Modeling and Analysis Multiple Choice Questions 1. Which of the following sentence is NOT correct about a logical model: A. is implementation dependent
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 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 informationCS 842 Ben Cassell University of Waterloo
CS 842 Ben Cassell University of Waterloo Recursive Descent Re-Cap Top-down parser. Works down parse tree using the formal grammar. Built from mutually recursive procedures. Typically these procedures
More informationParsing Chart Extensions 1
Parsing Chart Extensions 1 Chart extensions Dynamic programming methods CKY Earley NLP parsing dynamic programming systems 1 Parsing Chart Extensions 2 Constraint propagation CSP (Quesada) Bidirectional
More informationHomework & NLTK. CS 181: Natural Language Processing Lecture 9: Context Free Grammars. Motivation. Formal Def of CFG. Uses of CFG.
C 181: Natural Language Processing Lecture 9: Context Free Grammars Kim Bruce Pomona College pring 2008 Homework & NLTK Review MLE, Laplace, and Good-Turing in smoothing.py Disclaimer: lide contents borrowed
More informationDependent Object Types - A foundation for Scala s type system
Dependent Object Types - A foundation for Scala s type system Draft of September 9, 2012 Do Not Distrubute Martin Odersky, Geoffrey Alan Washburn EPFL Abstract. 1 Introduction This paper presents a proposal
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 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 informationDatabase Design. 4-1 Supertypes and Subtypes. Copyright 2015, Oracle and/or its affiliates. All rights reserved.
Database Design 4-1 Objectives This lesson covers the following objectives: Define and give an example of a subtype Define and give an example of a supertype State the rules relating to entities and subtypes,
More informationPrelude COMP 181 Tufts University Computer Science Last time Grammar issues Key structure meaning Tufts University Computer Science
Prelude COMP Lecture Topdown Parsing September, 00 What is the Tufts mascot? Jumbo the elephant Why? P. T. Barnum was an original trustee of Tufts : donated $0,000 for a natural museum on campus Barnum
More informationChapter 2 Entity-Relationship Data Modeling: Tools and Techniques. Fundamentals, Design, and Implementation, 9/e
Chapter 2 Entity-Relationship Data Modeling: Tools and Techniques Fundamentals, Design, and Implementation, 9/e Three Schema Model ANSI/SPARC introduced the three schema model in 1975 It provides a framework
More informationSemantics and Pragmatics of NLP Propositional Logic, Predicates and Functions
, Semantics and Pragmatics of NLP, and s Alex Ewan School of Informatics University of Edinburgh 10 January 2008 , 1 2 3 4 Why Bother?, Aim: 1 To associate NL expressions with semantic representations;
More informationLecturer: Sebastian Coope Ashton Building, Room G.18 COMP 201 web-page:
Lecturer: Sebastian Coope Ashton Building, Room G.18 E-mail: coopes@liverpool.ac.uk COMP 201 web-page: http://www.csc.liv.ac.uk/~coopes/comp201 Lecture 19 Essentials of Class Models 1 On Naming classes
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 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 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 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 informationLANGUAGE PROCESSORS. Presented By: Prof. S.J. Soni, SPCE Visnagar.
LANGUAGE PROCESSORS Presented By: Prof. S.J. Soni, SPCE Visnagar. Introduction Language Processing activities arise due to the differences between the manner in which a software designer describes the
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 informationA Data Modeling Process. Determining System Requirements. Planning the Project. Specifying Relationships. Specifying Entities
Chapter 3 Entity-Relationship Data Modeling: Process and Examples Fundamentals, Design, and Implementation, 9/e A Data Modeling Process Steps in the data modeling process Plan project Determine requirements
More informationChapter 2 Entity-Relationship Data Modeling: Tools and Techniques. Fundamentals, Design, and Implementation, 9/e
Chapter 2 Entity-Relationship Data Modeling: Tools and Techniques Fundamentals, Design, and Implementation, 9/e Three Schema Model ANSI/SPARC introduced the three schema model in 1975 It provides a framework
More informationFundamentals, Design, and Implementation, 9/e Copyright 2004 Database Processing: Fundamentals, Design, and Implementation, 9/e by David M.
Chapter 5 Database Design Elements of Database Design Fundamentals, Design, and Implementation, 9/e Chapter 5/2 The Database Design Process Create tables and columns from entities and attributes Select
More informationTurtles All The Way Down
Turtles All The Way Down Bertrand Russell had just finished giving a public lecture on the nature of the universe. An old woman said Prof. Russell, it is well known that the earth rests on the back of
More informationChapter 6. Advanced Data Modeling. Database Systems: Design, Implementation, and Management, Seventh Edition, Rob and Coronel
Chapter 6 Advanced Data Modeling Database Systems: Design, Implementation, and Management, Seventh Edition, Rob and Coronel 1 In this chapter, you will learn: About the extended entity relationship (EER)
More informationOn Learning Discontinuous Dependencies from Positive Data
Formal Grammar 2004 p. 1 On Learning Discontinuous Dependencies from Positive Data Denis Béchet (1), Alexander Dikovsky (2), Annie Foret (3) and Erwan Moreau (2) (1) LIPN, University Paris 13 (2) LINA,
More informationCSI33 Data Structures
Outline Department of Mathematics and Computer Science Bronx Community College November 13, 2017 Outline Outline 1 C++ Supplement.1: Trees Outline C++ Supplement.1: Trees 1 C++ Supplement.1: Trees Uses
More information6.863J Natural Language Processing Lecture 7: parsing with hierarchical structures context-free parsing. Robert C. Berwick
6.863J Natural Language Processing Lecture 7: parsing with hierarchical structures context-free parsing Robert C. Berwick The Menu Bar Administrivia: Schedule alert: Lab2 due today; Lab 3 out late Weds.
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 informationAlgorithms for NLP. Chart Parsing. Reading: James Allen, Natural Language Understanding. Section 3.4, pp
11-711 Algorithms for NLP Chart Parsing Reading: James Allen, Natural Language Understanding Section 3.4, pp. 53-61 Chart Parsing General Principles: A Bottom-Up parsing method Construct a parse starting
More informationProlog-embedding typed feature structure grammar and grammar tool. Version 4.
1 Prolog-embedding typed feature structure grammar and grammar tool. Version 4. Mats Dahllöf Department of Linguistics, Uppsala University E-mail: mats.dahllof@ling.uu.se August, 2002 Work in progress!
More informationLanguages and Compilers
Principles of Software Engineering and Operational Systems Languages and Compilers SDAGE: Level I 2012-13 3. Formal Languages, Grammars and Automata Dr Valery Adzhiev vadzhiev@bournemouth.ac.uk Office:
More informationCS47300: Web Information Search and Management
CS47300: Web Information Search and Management Text Clustering Prof. Chris Clifton 19 October 2018 Borrows slides from Chris Manning, Ray Mooney and Soumen Chakrabarti Document clustering Motivations Document
More informationDatabase Principles: Fundamentals of Design, Implementation, and Management Tenth Edition. Chapter 8 Data Modeling Advanced Concepts
Database Principles: Fundamentals of Design, Implementation, and Management Tenth Edition Chapter 8 Data Modeling Advanced Concepts Objectives In this chapter, students will learn: About the extended entity
More informationAdvanced PCFG algorithms
Advanced PCFG algorithms! BM1 Advanced atural Language Processing Alexander Koller! 9 December 2014 Today Agenda-based parsing with parsing schemata: generalized perspective on parsing algorithms. Semiring
More informationObject oriented programming Concepts
Object oriented programming Concepts Naresh Proddaturi 09/10/2012 Naresh Proddaturi 1 Problems with Procedural language Data is accessible to all functions It views a program as a series of steps to be
More informationCIS 341 Final Examination 4 May 2017
CIS 341 Final Examination 4 May 2017 1 /14 2 /15 3 /12 4 /14 5 /34 6 /21 7 /10 Total /120 Do not begin the exam until you are told to do so. You have 120 minutes to complete the exam. There are 14 pages
More informationObject-Oriented Programming More Inheritance
Object-Oriented Programming More Inheritance Ewan Klein School of Informatics Inf1 :: 2009/10 Ewan Klein (School of Informatics) OOP: More Inheritance Inf1 :: 2009/10 1 / 45 1 Inheritance Flat Hierarchy
More informationTDL A Type Description Language for HPSG Part 2: User Guide
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH Document D-94-14 TDL A Type Description Language for HPSG Part 2: User Guide Hans-Ulrich Krieger, Ulrich Schäfer December 1994 Deutsches Forschungszentrum
More informationFoo A Minimal Modern OO Calculus
Foo A Minimal Modern OO Calculus Prodromos Gerakios George Fourtounis Yannis Smaragdakis Department of Informatics University of Athens {pgerakios,gfour,smaragd}@di.uoa.gr 1 / 24 What A core OO calculus
More informationCMSC 330: Organization of Programming Languages. Context Free Grammars
CMSC 330: Organization of Programming Languages Context Free Grammars 1 Architecture of Compilers, Interpreters Source Analyzer Optimizer Code Generator Abstract Syntax Tree Front End Back End Compiler
More informationObject-Oriented ProgrammingInheritance & Polymorphism
Inheritance Polymorphism Overriding and Overloading Object-Oriented Programming Inheritance & Polymorphism Inf1 :: 2008/09 Inheritance Polymorphism Overriding and Overloading 1 Inheritance Flat Hierarchy
More informationCS 61A Interpreters, Tail Calls, Macros, Streams, Iterators. Spring 2019 Guerrilla Section 5: April 20, Interpreters.
CS 61A Spring 2019 Guerrilla Section 5: April 20, 2019 1 Interpreters 1.1 Determine the number of calls to scheme eval and the number of calls to scheme apply for the following expressions. > (+ 1 2) 3
More informationDependent Object Types - A foundation for Scala's type system
Dependent Object Types - A foundation for Scala's type system Draft of January 14, 2010 Do Not Distrubute Martin Odersky, Georey Alan Washburn EPFL Abstract. 1 Introduction This paper presents a proposal
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 informationDescribing Syntax and Semantics
Describing Syntax and Semantics Introduction Syntax: the form or structure of the expressions, statements, and program units Semantics: the meaning of the expressions, statements, and program units Syntax
More informationCMSC 202. Generics II
CMSC 202 Generics II Generic Sorting We can now implement sorting functions that can be used for any class (that implements Comparable). The familiar insertion sort is shown below.!! public static
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 informationOptimizing Typed Feature Structure Grammar Parsing through Non-Statistical Indexing
Proceedings of the 42nd Annual Meeting of the Association for Computational Linguistics, Barcelona, Spain, 2004 Optimizing Typed Feature Structure Grammar Parsing through Non-Statistical Indexing Cosmin
More informationName EID. (calc (parse '{+ {with {x {+ 5 5}} {with {y {- x 3}} {+ y y} } } z } ) )
CS 345 Spring 2010 Midterm Exam Name EID 1. [4 Points] Circle the binding instances in the following expression: (calc (parse '+ with x + 5 5 with y - x 3 + y y z ) ) 2. [7 Points] Using the following
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 Integration of a Finite-State Morphological Analyzer - Sublexical Rules - Sublexical Entries - The -unknown entry The XLE
More informationSyntax and Semantics
Syntax and Semantics Syntax - The form or structure of the expressions, statements, and program units Semantics - The meaning of the expressions, statements, and program units Syntax Example: simple C
More informationAlgorithms for NLP. Chart Parsing. Reading: James Allen, Natural Language Understanding. Section 3.4, pp
-7 Algorithms for NLP Chart Parsing Reading: James Allen, Natural Language Understanding Section 3.4, pp. 53-6 Chart Parsing General Principles: A Bottom-Up parsing method Construct a parse starting from
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 informationCSE-505: Programming Languages. Lecture 20.5 Recursive Types. Zach Tatlock 2016
CSE-505: Programming Languages Lecture 20.5 Recursive Types Zach Tatlock 2016 Where are we System F gave us type abstraction code reuse strong abstractions different from real languages (like ML), but
More informationElements of Language Processing and Learning lecture 3
Elements of Language Processing and Learning lecture 3 Ivan Titov TA: Milos Stanojevic Institute for Logic, Language and Computation Today Parsing algorithms for CFGs Recap, Chomsky Normal Form (CNF) A
More informationWhy Types Matter. Zheng Gao CREST, UCL
Why Types Matter Zheng Gao CREST, UCL Russell s Paradox Let R be the set of all sets that are not members of themselves. Is R a member of itself? If so, this contradicts with R s definition If not, by
More informationIntroduction to Scheme
How do you describe them Introduction to Scheme Gul Agha CS 421 Fall 2006 A language is described by specifying its syntax and semantics Syntax: The rules for writing programs. We will use Context Free
More informationλ calculus is inconsistent
Content Rough timeline COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Gerwin Klein, June Andronick, Toby Murray λ Intro & motivation, getting started [1] Foundations & Principles
More informationTypes of parsing. CMSC 430 Lecture 4, Page 1
Types of parsing Top-down parsers start at the root of derivation tree and fill in picks a production and tries to match the input may require backtracking some grammars are backtrack-free (predictive)
More informationSTRUCTURES AND STRATEGIES FOR STATE SPACE SEARCH
Slide 3.1 3 STRUCTURES AND STRATEGIES FOR STATE SPACE SEARCH 3.0 Introduction 3.1 Graph Theory 3.2 Strategies for State Space Search 3.3 Using the State Space to Represent Reasoning with the Predicate
More informationSymmetry in Type Theory
Google May 29th, 2012 What is Symmetry? Definition Symmetry: Two or more things that initially look distinct, may actually be instances of a more general underlying principle. Why do we care? Simplicity.
More informationCS-XXX: Graduate Programming Languages. Lecture 17 Recursive Types. Dan Grossman 2012
CS-XXX: Graduate Programming Languages Lecture 17 Recursive Types Dan Grossman 2012 Where are we System F gave us type abstraction code reuse strong abstractions different from real languages (like ML),
More informationWell-formed Default Unification in Non-deterministic Multiple Inheritance Hierarchies
Well-formed Default Unification in Non-deterministic Multiple Inheritance Hierarchies Christian Schulz, Jan Alexandersson and Tilman Becker DFKI, Saarbrücken 1 Introduction Default unification represents
More informationOctober 19, 2004 Chapter Parsing
October 19, 2004 Chapter 10.3 10.6 Parsing 1 Overview Review: CFGs, basic top-down parser Dynamic programming Earley algorithm (how it works, how it solves the problems) Finite-state parsing 2 Last time
More informationDatabase Foundations. 4-1 Oracle SQL Developer Data Modeler. Copyright 2015, Oracle and/or its affiliates. All rights reserved.
Database Foundations 4-1 Road Map You are here Oracle SQL Developer Data Modeler Converting a Logical Model to a Relational Model 3 Objectives This lesson covers the following objectives: Use to create:
More informationComp 311: Sample Midterm Examination
Comp 311: Sample Midterm Examination October 29, 2007 Name: Id #: Instructions 1. The examination is closed book. If you forget the name for a Scheme operation, make up a name for it and write a brief
More informationINF4820: Algorithms for Artificial Intelligence and Natural Language Processing. Common Lisp Fundamentals
INF4820: Algorithms for Artificial Intelligence and Natural Language Processing Common Lisp Fundamentals Stephan Oepen & Murhaf Fares Language Technology Group (LTG) August 30, 2017 Last Week: What is
More informationHomework & Announcements
Homework & nnouncements New schedule on line. Reading: Chapter 18 Homework: Exercises at end Due: 11/1 Copyright c 2002 2017 UMaine School of Computing and Information S 1 / 25 COS 140: Foundations of
More informationPrinciples of Programming Languages COMP251: Syntax and Grammars
Principles of Programming Languages COMP251: Syntax and Grammars Prof. Dekai Wu Department of Computer Science and Engineering The Hong Kong University of Science and Technology Hong Kong, China Fall 2006
More informationImperative, OO and Functional Languages A C program is
Imperative, OO and Functional Languages A C program is a web of assignment statements, interconnected by control constructs which describe the time sequence in which they are to be executed. In Java programming,
More informationOntology Development. Farid Naimi
Ontology Development Farid Naimi Overview Why develop an ontology? What is in an ontology? Ontology Development Defining classes and a class hierarchy Naming considerations Conclusion Why develop an ontology?
More informationCSE 431S Type Checking. Washington University Spring 2013
CSE 431S Type Checking Washington University Spring 2013 Type Checking When are types checked? Statically at compile time Compiler does type checking during compilation Ideally eliminate runtime checks
More informationClass Diagram. Classes consist of. Note that class diagrams contain only classes, not objects.
Class Diagrams UML Class Diagram Classes consist of the class name written in BOLD features attributes and methods user-defined constraints Note that class diagrams contain only classes, not objects. Class
More informationCompilers. Yannis Smaragdakis, U. Athens (original slides by Sam
Compilers Parsing Yannis Smaragdakis, U. Athens (original slides by Sam Guyer@Tufts) Next step text chars Lexical analyzer tokens Parser IR Errors Parsing: Organize tokens into sentences Do tokens conform
More informationDISCUSSION 5min 2/24/2009. DTD to relational schema. Inlining. Basic inlining
XML DTD Relational Databases for Querying XML Documents: Limitations and Opportunities Semi-structured SGML Emerging as a standard E.g. john 604xxxxxxxx 778xxxxxxxx
More informationCompiler Design Concepts. Syntax Analysis
Compiler Design Concepts Syntax Analysis Introduction First task is to break up the text into meaningful words called tokens. newval=oldval+12 id = id + num Token Stream Lexical Analysis Source Code (High
More informationCOMPUTER SCIENCE TRIPOS
CST.2005.9.1 COMPUTER SCIENCE TRIPOS Part II Thursday 9 June 2005 1.30 to 4.30 Paper 9 Answer five questions. Submit the answers in five separate bundles, each with its own cover sheet. On each cover sheet,
More informationClass Diagram. Classes consist of. Note that class diagrams contain only classes, not objects.
Class Diagrams UML Class Diagram Classes consist of the class name written in BOLD features attributes and methods user defined constraints Note that class diagrams contain only classes, not objects. Class
More informationThe Earley Parser
The 6.863 Earley Parser 1 Introduction The 6.863 Earley parser will work with any well defined context free grammar, including recursive ones and those containing empty categories. It can use either no
More informationParsing partially bracketed input
Parsing partially bracketed input Martijn Wieling, Mark-Jan Nederhof and Gertjan van Noord Humanities Computing, University of Groningen Abstract A method is proposed to convert a Context Free Grammar
More informationPrinciples of Programming Languages, Spring 2016 Assignment 5 Logic Programming
Principles of Programming Languages, Spring 2016 Assignment 5 Logic Programming Submission instructions: a. Submit an archive file named id1_id2.zip where id1 and id2 are the IDs of the students responsible
More information