Abstract Meaning Representation. Computational Linguistics Emory University Jinho D. Choi
|
|
- Zoe Stephens
- 5 years ago
- Views:
Transcription
1 Abstract Meaning Representation Computational Linguistics Emory University D.
2 Abstract Meaning Representation Introduced in The dog will eat the bone. The dog ate the bone. agent eat patient A dog is eating a bone. dog bone Revisited in 213. PropBank, named entities, coreferences, etc. 2
3 Pennman Notation A simple way of representing directed graphs. The dog is eating a bone. (e / eat-1 :ARG (d / dog) :ARG1 (b / bone)) Variables Relations e/eat-1 ARG ARG1 Concepts d/dog b/bone 3
4 Reentrancy The dog is eating a bone. ARG d/dog e/eat-1 ARG1 b/bone (e / eat-1 :ARG (d / dog) :ARG1 (b / bone)) The dog to eat a bone. ARG d/dog w/want-1 ARG ARG1 e/eat-1 ARG1 b/bone (w / want-1 :ARG (d / dog) :ARG1 (e / eat-1 :ARG d :ARG1 (b / bone))) 4
5 Inverse Relations and Focus The dog ate. Focus? The dog that ate. (e / eat-1 :ARG (d / dog)) (d / dog :ARG-of (r / ran-1)) The dog ate the bone that it found. ARG e/eat-1 ARG1 X ARG Y Y ARG-of X d/dog b/bone ARG f/find-1 ARG1 5
6 Inverse Relations and Focus The dog ate the bone that it found. ARG e/eat-1 ARG1 ARG e/eat-1 ARG1 d/dog b/bone d/dog b/bone ARG ARG1 ARG ARG1-OF f/find-1 f/find-1 (e / eat-1 :ARG (d / dog) :ARG1 (b / bone :ARG1-of (f / find-1 :ARG d))) 6
7 Constants Relations with no variable. Negations The dog did not eat the bone. (e /eat-1 :polarity - :ARG (d / dog) :ARG1 (b / bone)) Numbers The dog ate four bones. (e /eat-1 :ARG (d / dog) :ARG1 (b / bone :quant 4)) 7
8 AMR Notation The dog ate four bones that it found. Variable (e / eat-1 Concept :ARG (d / dog) :ARG1 (b / bone :quant 4 Relation :ARG1-of (f / find-1 :ARG d))) Inverse Relation Reentrancy 8
9 AMR Framesets Frames are generalized across similar concepts. My fear of snakes I am fearful of snakes I fear snakes fear-1 I m afraid of snakes Frames are not generalized across synonyms. I fear snakes I m terrified of snakes Snakes creep me out fear-1 teerify-1 creep-3 9
10 Stemming All concepts drop plurality, articles, and tenses. A dog dogs The dog The dogs Eats Eating Ate Will eat (d / dog) (e / eat-1) Consistent across cross-linguistically. 1
11 Abstraction The man described the mission as a disaster. The man s description of the mission: disaster. As the man described it, the mission was a disaster. The man described the mission as disastrous. (d / describe-1 :ARG (m / man) :ARG1 (m2 / mission) :ARG2 (d / disaster)) 11
12 Non-Core Role Inventory Arguments that are not numbered. :accompanier, :age :beneficiary :compared-to, :concession, :condition, :consist-of :degree, :destination, :direction, :domain, :duration :example, :extent :frequency :instrument :location :manner, :medium, :mod, :mode :name :ord :part, :path, :polarity, :poss, :purpose :quant :scale, :source, :subevent :time, :topic, :unit :value :wiki 12
13 More Inventory Apples and Bananas (a / and :op1 (a2 / apple) :op2 (b / banana)) Tuesday the 19th (d / date-entity :weekday (t / tuesday) :day 19) Barack Obama (p / person :name (n / name :op1 "Barack" :op2 Obama") :wiki Barack_Obama) Five bucks (m / monetary-quantity :unit dollar :quant 5) 13
14 Dependency Tree vs. AMR Graph to a in nsubj Dependency Tree xcomp AMR Graph want-1 A1 nn aux dobj prep A A -1 A1 location to det in pobj person name a op1 name op2 14
15 AMR Graph vs. Span Graph to a in AMR Graph person name want-1 A A A1-1 A1 location want-1[3:4] A Span Graph A1-1[5:6] A A1 location op1 name op2 person +name[1,3] [7:8] [9:1] 15
16 Transition-based AMR Parsing to a in σ β to a in Populate σ by post-traversing the dependency graph. Populate β with σ s children.? 16
17 to a in σ Transition-based AMR Parsing β jinho to a β = in ) NEXT NODE-l c ( 1, [],G) ) ( 1, = CH( 1,G ),G ) [! l c ] DELETE NODE ( 1, [],G) ) ( 1, = CH( 1,G ),G ) NONE 17
18 Transition-based AMR Parsing to a in σ β jinho to a in Merge σ and β ) (,,G) ) (,,G ) [] ) ) ( = ( 18
19 to a in σ Transition-based AMR Parsing β person+name to a β = in ) NEXT NODE-l c ( 1, [],G) ) ( 1, = CH( 1,G ),G ) [! l c ] DELETE NODE ( 1, [],G) ) ( 1, = CH( 1,G ),G ) NONE atlanta 19
20 Transition-based AMR Parsing person+name in σ in atlanta β Replace ) σ with β ) (,,G) ) (, = CH(,G ),G ) ( ) ) ( ) 2
21 Transition-based AMR Parsing person+name σ β β = atlanta? ) NEXT NODE-l c ( 1, [],G) ) ( 1, = CH( 1,G ),G ) [! l c ] DELETE NODE ( 1, [],G) ) ( 1, = CH( 1,G ),G ) NONE 21
22 Transition-based AMR Parsing person+name A1 location σ β ) (,,G) ) (,,G ) ) ) ( Label σ β atlanta [(, )! l r ] [( )! ] 22
23 Transition-based AMR Parsing person+name -1 A1 location σ β β = atlanta ) NEXT NODE-l c ( 1, [],G) ) ( 1, = CH( 1,G ),G ) [! l c ] DELETE NODE ( 1, [],G) ) ( 1, = CH( 1,G ),G ) NONE 23
24 Transition-based AMR Parsing person+name A -1 A1 location atlanta σ β ) ) (,,G) ) (,,G ) ( ) ) ( ) 24 Reenter k β! k is a single of β [(k, )! l r ]
25 Transition-based AMR Parsing A person+name A A1-1 A1 location atlanta σ β ) (,,G) ) (,,G ) ) ) ( Label σ β [(, )! l r ] [( )! ] 25
26 Transition-based AMR Parsing A person+name want-1 A A1-1 A1 location atlanta? σ β β = ) NEXT NODE-l c ( 1, [],G) ) ( 1, = CH( 1,G ),G ) [! l c ] DELETE NODE ( 1, [],G) ) ( 1, = CH( 1,G ),G ) NONE 26
27 Transition-based AMR Parsing Action Current state ) Result state Assign labels Precondition NEXT EDGE-l r (,,G) ) (,,G ) [(,! l ] ) r SWAP-l r (,,G) ) (, ),G [(, )! l r ] REATTACH k -l r (,,G) ) (,,G ) [(k, )! l r ] REPLACE HEAD (,,G) ) (, = CH(,G ),G ) NONE is not empty REENTRANCE k -l r (,,G) ) (,,G ) [(k, )! l r ] MERGE (,,G) ) (,,G ) NONE NEXT NODE-l c ( 1, [],G) ) ( 1, = CH( 1,G ),G ) [! l c ] DELETE NODE ( 1, [],G) ) ( 1, = CH( 1,G ),G ) NONE is empty like SWAP like REATTACH like dog and and and cat dog cat dog cat 27
NLU: Semantic parsing
NLU: Semantic parsing Adam Lopez slide credits: Chris Dyer, Nathan Schneider March 30, 2018 School of Informatics University of Edinburgh alopez@inf.ed.ac.uk Recall: meaning representations Sam likes Casey
More informationProposition Knowledge Graphs. Gabriel Stanovsky Omer Levy Ido Dagan Bar-Ilan University Israel
Proposition Knowledge Graphs Gabriel Stanovsky Omer Levy Ido Dagan Bar-Ilan University Israel 1 Problem End User 2 Case Study: Curiosity (Mars Rover) Curiosity is a fully equipped lab. Curiosity is a rover.
More informationStructured Prediction
Structured Prediction Classification Algorithms Classify objects x X into labels y Y First there was binary: Y = {0, 1} Then multiclass: Y = {1,...,6} The next generation: Structured Labels Structured
More informationTransition-Based Generation from Abstract Meaning Representations
Transition-Based Generation from Abstract Meaning Representations Timo Schick arxiv:1707.07591v1 [cs.cl] 24 Jul 2017 Abstract This work addresses the task of generating English sentences from Abstract
More informationNatural Language Processing 1. lecture 7: constituent parsing. Ivan Titov. Institute for Logic, Language and Computation
atural Language Processing 1 lecture 7: constituent parsing Ivan Titov Institute for Logic, Language and Computation Outline Syntax: intro, CFGs, PCFGs PCFGs: Estimation CFGs: Parsing PCFGs: Parsing Parsing
More informationCh. 2: Phrase Structure Syntactic Structure (basic concepts) A tree diagram marks constituents hierarchically
Ch. 2: Phrase Structure Syntactic Structure (basic concepts) A tree diagram marks constituents hierarchically NP S AUX VP Ali will V NP help D N the man A node is any point in the tree diagram and it can
More informationNatural Language Processing CS Lecture 06. Razvan C. Bunescu School of Electrical Engineering and Computer Science
Natural Language Processing CS 6840 Lecture 06 Razvan C. Bunescu School of Electrical Engineering and Computer Science bunescu@ohio.edu Statistical Parsing Define a probabilistic model of syntax P(T S):
More informationWord Embeddings in Feedforward Networks; Tagging and Dependency Parsing using Feedforward Networks. Michael Collins, Columbia University
Word Embeddings in Feedforward Networks; Tagging and Dependency Parsing using Feedforward Networks Michael Collins, Columbia University Overview Introduction Multi-layer feedforward networks Representing
More informationDependency Parsing. Statistical NLP Fall (Non-)Projectivity. CoNLL Format. Lecture 9: Dependency Parsing
Dependency Parsing Statistical NLP Fall 2016 Lecture 9: Dependency Parsing Slav Petrov Google prep dobj ROOT nsubj pobj det PRON VERB DET NOUN ADP NOUN They solved the problem with statistics CoNLL Format
More informationMaschinelle Sprachverarbeitung
Maschinelle Sprachverarbeitung Parsing with Probabilistic Context-Free Grammar Ulf Leser Content of this Lecture Phrase-Structure Parse Trees Probabilistic Context-Free Grammars Parsing with PCFG Other
More informationMaschinelle Sprachverarbeitung
Maschinelle Sprachverarbeitung Parsing with Probabilistic Context-Free Grammar Ulf Leser Content of this Lecture Phrase-Structure Parse Trees Probabilistic Context-Free Grammars Parsing with PCFG Other
More informationNLP Homework: Dependency Parsing with Feed-Forward Neural Network
NLP Homework: Dependency Parsing with Feed-Forward Neural Network Submission Deadline: Monday Dec. 11th, 5 pm 1 Background on Dependency Parsing Dependency trees are one of the main representations used
More informationBinary Search Trees. Lecture 29 Section Robb T. Koether. Hampden-Sydney College. Fri, Apr 8, 2016
Binary Search Trees Lecture 29 Section 19.2 Robb T. Koether Hampden-Sydney College Fri, Apr 8, 2016 Robb T. Koether (Hampden-Sydney College) Binary Search Trees Fri, Apr 8, 2016 1 / 40 1 Binary Search
More informationParsing with Context-Free Grammars
Parsing with Context-Free Grammars Berlin Chen 2005 References: 1. Natural Language Understanding, chapter 3 (3.1~3.4, 3.6) 2. Speech and Language Processing, chapters 9, 10 NLP-Berlin Chen 1 Grammars
More informationApplied Natural Language Processing
Applied Natural Language Processing Info 256 Lecture 7: Testing (Feb 12, 2019) David Bamman, UC Berkeley Significance in NLP You develop a new method for text classification; is it better than what comes
More informationLab 12: Structured Prediction
December 4, 2014 Lecture plan structured perceptron application: confused messages application: dependency parsing structured SVM Class review: from modelization to classification What does learning mean?
More informationNotes on the Matrix-Tree theorem and Cayley s tree enumerator
Notes on the Matrix-Tree theorem and Cayley s tree enumerator 1 Cayley s tree enumerator Recall that the degree of a vertex in a tree (or in any graph) is the number of edges emanating from it We will
More informationQuantifiers in Frame Semantics
Quantifiers in Frame Semantics Laura Kallmeyer Heinrich-Heine-Universität Düsseldorf Oberseminar Syntax and Semantics, Frankfurt, 11.5.2015 SFB 991 1 / 37 Table of contents 1 Introduction Motivation LTAG
More informationCS 662 Sample Midterm
Name: 1 True/False, plus corrections CS 662 Sample Midterm 35 pts, 5 pts each Each of the following statements is either true or false. If it is true, mark it true. If it is false, correct the statement
More informationSymmetric Network Computation
Symmetric Network Computation and the Finite-State Symmetric Graph Automaton (FSSGA) Model David Pritchard, with Santosh Vempala Theory of Distributed Systems Group at MIT, July 7 2006 David Pritchard
More information1 Basic Definitions. 2 Proof By Contradiction. 3 Exchange Argument
1 Basic Definitions A Problem is a relation from input to acceptable output. For example, INPUT: A list of integers x 1,..., x n OUTPUT: One of the three smallest numbers in the list An algorithm A solves
More information1 Rules in a Feature Grammar
27 Feature Grammars and Unification Drew McDermott drew.mcdermott@yale.edu 2015-11-20, 11-30, 2016-10-28 Yale CS470/570 1 Rules in a Feature Grammar Grammar rules look like this example (using Shieber
More informationThe Formal Architecture of. Lexical-Functional Grammar. Ronald M. Kaplan and Mary Dalrymple
The Formal Architecture of Lexical-Functional Grammar Ronald M. Kaplan and Mary Dalrymple Xerox Palo Alto Research Center 1. Kaplan and Dalrymple, ESSLLI 1995, Barcelona Architectural Issues Representation:
More informationCS 250/251 Discrete Structures I and II Section 005 Fall/Winter Professor York
CS 250/251 Discrete Structures I and II Section 005 Fall/Winter 2013-2014 Professor York Practice Quiz March 10, 2014 CALCULATORS ALLOWED, SHOW ALL YOUR WORK 1. Construct the power set of the set A = {1,2,3}
More informationNatural Language Processing
Natural Language Processing Word vectors Many slides borrowed from Richard Socher and Chris Manning Lecture plan Word representations Word vectors (embeddings) skip-gram algorithm Relation to matrix factorization
More informationTransition-based dependency parsing
Transition-based dependency parsing Daniël de Kok Overview Dependency graphs and treebanks. Transition-based dependency parsing. Making parse choices using perceptrons. Today Recap Transition systems Parsing
More informationNORTHERN INDIA ENGINEERING COLLEGE, LKO D E P A R T M E N T O F M A T H E M A T I C S. B.TECH IIIrd SEMESTER QUESTION BANK ACADEMIC SESSION
NORTHERN INDIA ENGINEERING COLLEGE, LKO D E P A R T M E N T O F M A T H E M A T I C S B.TECH IIIrd SEMESTER QUESTION BANK ACADEMIC SESSION 011-1 DISCRETE MATHEMATICS (EOE 038) 1. UNIT I (SET, RELATION,
More informationParsing. Probabilistic CFG (PCFG) Laura Kallmeyer. Winter 2017/18. Heinrich-Heine-Universität Düsseldorf 1 / 22
Parsing Probabilistic CFG (PCFG) Laura Kallmeyer Heinrich-Heine-Universität Düsseldorf Winter 2017/18 1 / 22 Table of contents 1 Introduction 2 PCFG 3 Inside and outside probability 4 Parsing Jurafsky
More informationNgày 20 tháng 7 năm Discrete Optimization Graphs
Discrete Optimization Graphs Ngày 20 tháng 7 năm 2011 Lecture 6: Graphs In this class we shall prove some simple, useful theorems about graphs. We start with very simple obseravations. Lecture 6: Graphs
More informationSemantic Role Labeling and Constrained Conditional Models
Semantic Role Labeling and Constrained Conditional Models Mausam Slides by Ming-Wei Chang, Nick Rizzolo, Dan Roth, Dan Jurafsky Page 1 Nice to Meet You 0: 2 ILP & Constraints Conditional Models (CCMs)
More informationSolution suggestions for examination of Logic, Algorithms and Data Structures,
Department of VT12 Software Engineering and Managment DIT725 (TIG023) Göteborg University, Chalmers 24/5-12 Solution suggestions for examination of Logic, Algorithms and Data Structures, Date : April 26,
More informationGrammar and Feature Unification
Grammar and Feature Unification Problems with CF Phrase Structure Grammars Difficult to capture dependencies between constituents the boy runs the boys run * the boy run * the boys runs Problems with CF
More informationReview. Earley Algorithm Chapter Left Recursion. Left-Recursion. Rule Ordering. Rule Ordering
Review Earley Algorithm Chapter 13.4 Lecture #9 October 2009 Top-Down vs. Bottom-Up Parsers Both generate too many useless trees Combine the two to avoid over-generation: Top-Down Parsing with Bottom-Up
More informationNATIONAL UNIVERSITY OF SINGAPORE CS3230 DESIGN AND ANALYSIS OF ALGORITHMS SEMESTER II: Time Allowed 2 Hours
NATIONAL UNIVERSITY OF SINGAPORE CS3230 DESIGN AND ANALYSIS OF ALGORITHMS SEMESTER II: 2017 2018 Time Allowed 2 Hours INSTRUCTIONS TO STUDENTS 1. This assessment consists of Eight (8) questions and comprises
More information1 Counting spanning trees: A determinantal formula
Math 374 Matrix Tree Theorem Counting spanning trees: A determinantal formula Recall that a spanning tree of a graph G is a subgraph T so that T is a tree and V (G) = V (T ) Question How many distinct
More informationLing 240 Lecture #15. Syntax 4
Ling 240 Lecture #15 Syntax 4 agenda for today Give me homework 3! Language presentation! return Quiz 2 brief review of friday More on transformation Homework 4 A set of Phrase Structure Rules S -> (aux)
More informationToday s Lecture 2/9/10. Symbolizations continued Chapter 7.2: Truth conditions for our logical operators
Today s Lecture 2/9/10 Symbolizations continued Chapter 7.2: Truth conditions for our logical operators Announcements Exam #1 next Tuesday (Feb 16th)! HW: Study for exam The text book is on Library Reserve
More informationPractice Test 4: Linear Relations
AChor/MFMP : Linear Relations K: C: A: T: PART A: Multiple Choice Questions Instructions: Circle the English letter of the best answer. Circle one and ONLY one answer for each question. PART B: FULL SOLUTION
More informationTopic 5! Venn Diagrams
LOGI Norva Y S Lo Produced by Norva Y S Lo Topic Venn Diagrams Summary In this topic, we will learn () Three kinds of statements that classify things into categories: (a) Universal statements (b) Existential
More informationThe Semantics of Definite DPs 1. b. Argument Position: (i) [ A politician ] arrived from Washington. (ii) Joe likes [ the politician ].
The Semantics of Definite DPs 1 Thus far, our semantics is able to interpret common nouns that occupy predicate position (1a). However, the most common position for common nouns to occupy is internal to
More informationCS Data Structures and Algorithm Analysis
CS 483 - Data Structures and Algorithm Analysis Lecture VII: Chapter 6, part 2 R. Paul Wiegand George Mason University, Department of Computer Science March 22, 2006 Outline 1 Balanced Trees 2 Heaps &
More informationDecoding and Inference with Syntactic Translation Models
Decoding and Inference with Syntactic Translation Models March 5, 2013 CFGs S NP VP VP NP V V NP NP CFGs S NP VP S VP NP V V NP NP CFGs S NP VP S VP NP V NP VP V NP NP CFGs S NP VP S VP NP V NP VP V NP
More informationA constrained graph algebra for semantic parsing with AMRs
A constrained graph algebra for semantic parsing with AMRs Jonas Groschwitz Meaghan Fowlie Mark Johnson Alexander Koller Saarland University, Saarbrücken, Germany Macquarie University, Sydney, Australia
More informationGrundlagenmodul Semantik All Exercises
Grundlagenmodul Semantik All Exercises Sommersemester 2014 Exercise 1 Are the following statements correct? Justify your answers in a single short sentence. 1. 11 {x x is a square number} 2. 11 {x {y y
More information13A. Computational Linguistics. 13A. Log-Likelihood Dependency Parsing. CSC 2501 / 485 Fall 2017
Computational Linguistics CSC 2501 / 485 Fall 2017 13A 13A. Log-Likelihood Dependency Parsing Gerald Penn Department of Computer Science, University of Toronto Based on slides by Yuji Matsumoto, Dragomir
More informationMcGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60
McGill University Faculty of Science Solutions to Practice Final Examination Math 40 Discrete Structures Time: hours Marked out of 60 Question. [6] Prove that the statement (p q) (q r) (p r) is a contradiction
More informationMATH 2200 Final Review
MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics
More informationIntroduction to Computing II (ITI 1121) FINAL EXAMINATION
Université d Ottawa Faculté de génie École de science informatique et de génie électrique University of Ottawa Faculty of engineering School of Electrical Engineering and Computer Science Identification
More informationRealization Plans for Extensive Form Games without Perfect Recall
Realization Plans for Extensive Form Games without Perfect Recall Richard E. Stearns Department of Computer Science University at Albany - SUNY Albany, NY 12222 April 13, 2015 Abstract Given a game in
More informationabhi shelat
L15 4102.17.2016 abhi shelat Huffman image: wikimedia Alice m Bob m Alice m Bob MOSCOW President Vladimir V. Putin s typically theatrical order to withdraw the bulk of Russian forces from Syria, a process
More informationAlgorithms and Data Structures (COMP 251) Midterm Solutions
Algorithms and Data Structures COMP 251) Midterm Solutions March 11, 2012 1. Stable Matching Problem a) Describe the input for the stable matching problem. Input: n men and n women. For each man, there
More informationModule 9: Mathematical Induction
Module 9: Mathematical Induction Module 9: Announcements There is a chance that this Friday s class may be cancelled. Assignment #4 is due Thursday March 16 th at 4pm. Midterm #2 Monday March 20 th, 2017
More informationCS60007 Algorithm Design and Analysis 2018 Assignment 1
CS60007 Algorithm Design and Analysis 2018 Assignment 1 Palash Dey and Swagato Sanyal Indian Institute of Technology, Kharagpur Please submit the solutions of the problems 6, 11, 12 and 13 (written in
More informationShortest paths: label setting
: label setting CE 377K February 19, 2015 REVIEW HW 2 posted, due in 2 weeks Review Basic search algorithm Prim s algorithm Review Algorithm (Assumes that the network is connected.) 1 Arbitrarily choose
More information2 GRAPH AND NETWORK OPTIMIZATION. E. Amaldi Introduction to Operations Research Politecnico Milano 1
2 GRAPH AND NETWORK OPTIMIZATION E. Amaldi Introduction to Operations Research Politecnico Milano 1 A variety of decision-making problems can be formulated in terms of graphs and networks Examples: - transportation
More informationUNIVERSITY OF YORK. MSc Examinations 2004 MATHEMATICS Networks. Time Allowed: 3 hours.
UNIVERSITY OF YORK MSc Examinations 2004 MATHEMATICS Networks Time Allowed: 3 hours. Answer 4 questions. Standard calculators will be provided but should be unnecessary. 1 Turn over 2 continued on next
More informationLinear Classifiers IV
Universität Potsdam Institut für Informatik Lehrstuhl Linear Classifiers IV Blaine Nelson, Tobias Scheffer Contents Classification Problem Bayesian Classifier Decision Linear Classifiers, MAP Models Logistic
More informationFranklin Math Bowl Algebra I All answers are presented accurate to three decimal places unless otherwise noted. Good luck! c.
Franklin Math Bowl Algebra I 2009 All answers are presented accurate to three decimal places unless otherwise noted. Good luck! 1. Assuming that x 2 5x + 6 0, simplify x2 6x+9 x 2 5x+6. a. 3 x 2 b. x 2
More informationUnification. Two Routes to Deep Structure. Unification. Unification Grammar. Martin Kay. Stanford University University of the Saarland
Two Routes to Deep Structure Derivational! Transformational! Procedural Deep Unidirectional Transformations Surface Stanford University University of the Saarland Constraint-based! Declarative Deep Surface
More information5. Partitions and Relations Ch.22 of PJE.
5. Partitions and Relations Ch. of PJE. We now generalize the ideas of congruence classes of Z to classes of any set X. The properties of congruence classes that we start with here are that they are disjoint
More informationGraph-theoretic Problems
Graph-theoretic Problems Parallel algorithms for fundamental graph-theoretic problems: We already used a parallelization of dynamic programming to solve the all-pairs-shortest-path problem. Here we are
More information16. Binary Search Trees. [Ottman/Widmayer, Kap. 5.1, Cormen et al, Kap ]
418 16. Binary Search Trees [Ottman/Widmayer, Kap. 5.1, Cormen et al, Kap. 12.1-12.3] 419 Dictionary implementation Hashing: implementation of dictionaries with expected very fast access times. Disadvantages
More informationHidden Markov Models
CS 2750: Machine Learning Hidden Markov Models Prof. Adriana Kovashka University of Pittsburgh March 21, 2016 All slides are from Ray Mooney Motivating Example: Part Of Speech Tagging Annotate each word
More informationOutline / Reading. Greedy Method as a fundamental algorithm design technique
Greedy Method Outline / Reading Greedy Method as a fundamental algorithm design technique Application to problems of: Making change Fractional Knapsack Problem (Ch. 5.1.1) Task Scheduling (Ch. 5.1.2) Minimum
More informationDependency grammar. Recurrent neural networks. Transition-based neural parsing. Word representations. Informs Models
Dependency grammar Morphology Word order Transition-based neural parsing Word representations Recurrent neural networks Informs Models Dependency grammar Morphology Word order Transition-based neural parsing
More informationProbabilistic Logic CNF for Reasoning
Probabilistic Logic CNF for Reasoning Song- Chun Zhu, Sinisa Todorovic, and Ales Leonardis At CVPR, Providence, Rhode Island June 16, 2012 Goal input tracking parsing reasoning activity recognition in
More informationThis lecture covers Chapter 7 of HMU: Properties of CFLs
This lecture covers Chapter 7 of HMU: Properties of CFLs Chomsky Normal Form Pumping Lemma for CFs Closure Properties of CFLs Decision Properties of CFLs Additional Reading: Chapter 7 of HMU. Chomsky Normal
More informationOne-parameter mechanisms, with an application to the SPT problem
One-parameter mechanisms, with an application to the SPT problem The private-edge Shortest- Paths Tree (SPT) problem Given: an undirected graph G=(V,E) such that each edge is owned by a distinct player,
More information16. Binary Search Trees. [Ottman/Widmayer, Kap. 5.1, Cormen et al, Kap ]
423 16. Binary Search Trees [Ottman/Widmayer, Kap. 5.1, Cormen et al, Kap. 12.1-12.3] Dictionary implementation 424 Hashing: implementation of dictionaries with expected very fast access times. Disadvantages
More informationEven More on Dynamic Programming
Algorithms & Models of Computation CS/ECE 374, Fall 2017 Even More on Dynamic Programming Lecture 15 Thursday, October 19, 2017 Sariel Har-Peled (UIUC) CS374 1 Fall 2017 1 / 26 Part I Longest Common Subsequence
More informationDialogue Systems. Statistical NLU component. Representation. A Probabilistic Dialogue System. Task: map a sentence + context to a database query
Statistical NLU component Task: map a sentence + context to a database query Dialogue Systems User: Show me flights from NY to Boston, leaving tomorrow System: [returns a list of flights] Origin (City
More informationLECTURER: BURCU CAN Spring
LECTURER: BURCU CAN 2017-2018 Spring Regular Language Hidden Markov Model (HMM) Context Free Language Context Sensitive Language Probabilistic Context Free Grammar (PCFG) Unrestricted Language PCFGs can
More informationNatural Language Processing
SFU NatLangLab Natural Language Processing Anoop Sarkar anoopsarkar.github.io/nlp-class Simon Fraser University September 27, 2018 0 Natural Language Processing Anoop Sarkar anoopsarkar.github.io/nlp-class
More informationSolutions. Prelim 2[Solutions]
Prelim [Solutions]. Short Answer [ pts] (a) [ pts] A traversal of an expression tree produces the string + + 3. i. What kind of traversal is it? Preorder; the operator is printed before the operands. ii.
More informationSuperconducting QUantum Interference Device (SQUID) and applications. Massoud Akhtari PhD
Superconducting QUantum Interference Device (SQUID) and applications Massoud Akhtari PhD Topics Superconductivity Definitions SQUID Principles Applications Superconductivity Conduction lattice has zero
More informationHOMEWORK #2 - MATH 3260
HOMEWORK # - MATH 36 ASSIGNED: JANUARAY 3, 3 DUE: FEBRUARY 1, AT :3PM 1) a) Give by listing the sequence of vertices 4 Hamiltonian cycles in K 9 no two of which have an edge in common. Solution: Here is
More informationCMPSCI 240: Reasoning Under Uncertainty
CMPSCI 240: Reasoning Under Uncertainty Lecture 2 Prof. Hanna Wallach wallach@cs.umass.edu January 26, 2012 Reminders Pick up a copy of B&T Check the course website: http://www.cs.umass.edu/ ~wallach/courses/s12/cmpsci240/
More informationTwo perspectives on change & institutions
Two perspectives on change & institutions Tim Fernando Trinity College Dublin, Ireland Nicola Guarino 2014 - Ontological analysis as a search for truth makers - Episodes as truth makers for material relations
More informationChapter 14 (Partially) Unsupervised Parsing
Chapter 14 (Partially) Unsupervised Parsing The linguistically-motivated tree transformations we discussed previously are very effective, but when we move to a new language, we may have to come up with
More informationIS 709/809: Computational Methods in IS Research Fall Exam Review
IS 709/809: Computational Methods in IS Research Fall 2017 Exam Review Nirmalya Roy Department of Information Systems University of Maryland Baltimore County www.umbc.edu Exam When: Tuesday (11/28) 7:10pm
More informationFeatures of Statistical Parsers
Features of tatistical Parsers Preliminary results Mark Johnson Brown University TTI, October 2003 Joint work with Michael Collins (MIT) upported by NF grants LI 9720368 and II0095940 1 Talk outline tatistical
More informationMATH : FINAL EXAM INFO/LOGISTICS/ADVICE
INFO: MATH 1300-01: FINAL EXAM INFO/LOGISTICS/ADVICE WHEN: Thursday (08/06) at 11:00am DURATION: 150 mins PROBLEM COUNT: Eleven BONUS COUNT: Two There will be three Ch13 problems, three Ch14 problems,
More informationComputational Linguistics II: Parsing
Computational Linguistics II: Parsing Left-corner-Parsing Frank Richter & Jan-Philipp Söhn fr@sfs.uni-tuebingen.de, jp.soehn@uni-tuebingen.de January 15th, 2007 Richter/Söhn (WS 2006/07) Computational
More informationChapter 4: Computation tree logic
INFOF412 Formal verification of computer systems Chapter 4: Computation tree logic Mickael Randour Formal Methods and Verification group Computer Science Department, ULB March 2017 1 CTL: a specification
More informationKnowledge Representation and Reasoning
Knowledge Representation and Reasoning Geraint A. Wiggins Professor of Computational Creativity Department of Computer Science Vrije Universiteit Brussel Objectives Knowledge Representation in Logic The
More information1. (a) Explain the asymptotic notations used in algorithm analysis. (b) Prove that f(n)=0(h(n)) where f(n)=0(g(n)) and g(n)=0(h(n)).
Code No: R05220502 Set No. 1 1. (a) Explain the asymptotic notations used in algorithm analysis. (b) Prove that f(n)=0(h(n)) where f(n)=0(g(n)) and g(n)=0(h(n)). 2. (a) List some of the relative advantages
More informationSCCL - MANAGEMENT TRAINEE (Civil)
SCCL - MANAGEMENT TRAINEE (Civil) SAMPLE / MODEL QUESTION PAPER General Instructions to candidates: 1. All questions carry equal marks. 2. No negative marks. 3. Answer all questions. 4. Every question
More informationUNIT: Motion Speed, Velocity and Acceleration (10 Days)
(Littles) Lesson Plans (Advanced and Regular Physical Science) UNIT: Motion Speed, Velocity and Acceleration (10 Days) Newton s Laws of Motion (10 days) Date Range: 11/3/14-11/7/14 Topic, Assignments,
More informationProbabilistic Context-free Grammars
Probabilistic Context-free Grammars Computational Linguistics Alexander Koller 24 November 2017 The CKY Recognizer S NP VP NP Det N VP V NP V ate NP John Det a N sandwich i = 1 2 3 4 k = 2 3 4 5 S NP John
More informationCross-lingual Semantic Parsing
Cross-lingual Semantic Parsing Part I: 11 Dimensions of Semantic Parsing Kilian Evang University of Düsseldorf 1 / 94 Abbreviations NL natural language e.g., English, Bulgarian NLU natural language utterance
More informationParsing. Based on presentations from Chris Manning s course on Statistical Parsing (Stanford)
Parsing Based on presentations from Chris Manning s course on Statistical Parsing (Stanford) S N VP V NP D N John hit the ball Levels of analysis Level Morphology/Lexical POS (morpho-synactic), WSD Elements
More informationPart of Speech Tagging: Viterbi, Forward, Backward, Forward- Backward, Baum-Welch. COMP-599 Oct 1, 2015
Part of Speech Tagging: Viterbi, Forward, Backward, Forward- Backward, Baum-Welch COMP-599 Oct 1, 2015 Announcements Research skills workshop today 3pm-4:30pm Schulich Library room 313 Start thinking about
More informationA Context-Free Grammar
Statistical Parsing A Context-Free Grammar S VP VP Vi VP Vt VP VP PP DT NN PP PP P Vi sleeps Vt saw NN man NN dog NN telescope DT the IN with IN in Ambiguity A sentence of reasonable length can easily
More informationNeural Networks Language Models
Neural Networks Language Models Philipp Koehn 10 October 2017 N-Gram Backoff Language Model 1 Previously, we approximated... by applying the chain rule p(w ) = p(w 1, w 2,..., w n ) p(w ) = i p(w i w 1,...,
More informationA* Search. 1 Dijkstra Shortest Path
A* Search Consider the eight puzzle. There are eight tiles numbered 1 through 8 on a 3 by three grid with nine locations so that one location is left empty. We can move by sliding a tile adjacent to the
More informationSpectral Unsupervised Parsing with Additive Tree Metrics
Spectral Unsupervised Parsing with Additive Tree Metrics Ankur Parikh, Shay Cohen, Eric P. Xing Carnegie Mellon, University of Edinburgh Ankur Parikh 2014 1 Overview Model: We present a novel approach
More informationMarkov Model. Model representing the different resident states of a system, and the transitions between the different states
Markov Model Model representing the different resident states of a system, and the transitions between the different states (applicable to repairable, as well as non-repairable systems) System behavior
More informationEcon 172A, Fall 2012: Final Examination Solutions (I) 1. The entries in the table below describe the costs associated with an assignment
Econ 172A, Fall 2012: Final Examination Solutions (I) 1. The entries in the table below describe the costs associated with an assignment problem. There are four people (1, 2, 3, 4) and four jobs (A, B,
More informationComputing minimal models, stable models and answer sets
Under consideration for publication in Theory and Practice of Logic Programming 1 Computing minimal models, stable models and answer sets Zbigniew Lonc Faculty of Mathematics and Information Science, Warsaw
More informationFormal Languages, Automata and Compilers
Formal Languages, Automata and Compilers Lecure 4 2017-18 LFAC (2017-18) Lecture 4 1 / 31 Curs 4 1 Grammars of type 3 and finite automata 2 Closure properties for type 3 languages 3 Regular Expressions
More information