Share PowerPoint. Anywhere!

TE Tutorial ACL07

Uploaded from authorPOINT Lite
Download as Download Not Available PPT
Presentation Description

No description available

Views: 25
Like it  ( Likes) Dislike it  ( Dislikes)
Added: October 31, 2007 This presentation is Public
Presentation Category :Entertainment
Presentation StatisticsNew!
Views on authorSTREAM: 25
Presentation Transcript

Textual Entailment : 1 Textual Entailment Dan Roth, University of Illinois, Urbana-Champaign USA ACL -2007 Ido Dagan Bar Ilan University Israel Fabio Massimo Zanzotto University of Rome Italy


Outline : Page 2 Motivation and Task Definition A Skeletal review of Textual Entailment Systems Knowledge Acquisition Methods Applications of Textual Entailment A Textual Entailment view of Applied Semantics Outline


I. Motivation and Task Definition : Page 3 I. Motivation and Task Definition


Motivation : Page 4 Motivation Text applications require semantic inference A common framework for applied semantics is needed, but still missing Textual entailment may provide such framework


Desiderata for Modeling Framework : Page 5 Desiderata for Modeling Framework A framework for a target level of language processing should provide: Generic (feasible) module for applications Unified (agreeable) paradigm for investigating language phenomena Most semantics research is scattered WSD, NER, SRL, lexical semantics relations… (e.g. vs. syntax) Dominating approach - interpretation


Natural Language and Meaning : Page 6 Natural Language and Meaning Meaning Language


Variability of Semantic Expression : Page 7 Variability of Semantic Expression Model variability as relations between text expressions: Equivalence: text1  text2 (paraphrasing) Entailment: text1  text2 the general case Dow ends up Dow climbs 255 The Dow Jones Industrial Average closed up 255 Stock market hits a record high Dow gains 255 points


Typical Application Inference: Entailment : Page 8 Typical Application Inference: Entailment Overture’s acquisition by Yahoo Yahoo bought Overture Question Expected answer form Who bought Overture? >> X bought Overture text hypothesized answer entails Similar for IE: X acquire Y Similar for “semantic” IR: t: Overture was bought for … Summarization (multi-document) – identify redundant info MT evaluation (and recent ideas for MT) Educational applications


KRAQ'05 Workshop - KNOWLEDGE and REASONING for ANSWERING QUESTIONS (IJCAI-05) : Page 9 KRAQ'05 Workshop - KNOWLEDGE and REASONING for ANSWERING QUESTIONS (IJCAI-05) CFP: Reasoning aspects:     * information fusion,     * search criteria expansion models     * summarization and intensional answers,     * reasoning under uncertainty or with incomplete knowledge, Knowledge representation and integration:     * levels of knowledge involved (e.g. ontologies, domain knowledge),     * knowledge extraction models and techniques to optimize response accuracy … but similar needs for other applications – can entailment provide a common empirical framework?


Classical Entailment Definition : Page 10 Classical Entailment Definition Chierchia & McConnell-Ginet (2001): A text t entails a hypothesis h if h is true in every circumstance (possible world) in which t is true Strict entailment - doesn't account for some uncertainty allowed in applications


“Almost certain” Entailments : Page 11 “Almost certain” Entailments t: The technological triumph known as GPS … was incubated in the mind of Ivan Getting. h: Ivan Getting invented the GPS.


Applied Textual Entailment : Page 12 Applied Textual Entailment A directional relation between two text fragments: Text (t) and Hypothesis (h): Operational (applied) definition: Human gold standard - as in NLP applications Assuming common background knowledge – which is indeed expected from applications


Probabilistic Interpretation : Page 13 Probabilistic Interpretation Definition: t probabilistically entails h if: P(h is true | t) > P(h is true) t increases the likelihood of h being true ≡ Positive PMI – t provides information on h’s truth P(h is true | t ): entailment confidence The relevant entailment score for applications In practice: “most likely” entailment expected


The Role of Knowledge : Page 14 The Role of Knowledge For textual entailment to hold we require: text AND knowledge  h but knowledge should not entail h alone Systems are not supposed to validate h’s truth regardless of t (e.g. by searching h on the web)


Slide15 : Page 15 PASCAL Recognizing Textual Entailment (RTE) Challenges EU FP-6 Funded PASCAL Network of Excellence 2004-7 Bar-Ilan University ITC-irst and CELCT, Trento MITRE Microsoft Research


Generic Dataset by Application Use : Page 16 Generic Dataset by Application Use 7 application settings in RTE-1, 4 in RTE-2/3 QA IE “Semantic” IR Comparable documents / multi-doc summarization MT evaluation Reading comprehension Paraphrase acquisition Most data created from actual applications output RTE-2/3: 800 examples in development and test sets 50-50% YES/NO split


RTE Examples : Page 17 RTE Examples


Participation and Impact : Page 18 Participation and Impact Very successful challenges, world wide: RTE-1 – 17 groups RTE-2 – 23 groups ~150 downloads RTE-3 – 25 groups Joint workshop at ACL-07 High interest in the research community Papers, conference sessions and areas, PhD’s, influence on funded projects Textual Entailment special issue at JNLE ACL-07 tutorial


Methods and Approaches (RTE-2) : Page 19 Methods and Approaches (RTE-2) Measure similarity match between t and h (coverage of h by t): Lexical overlap (unigram, N-gram, subsequence) Lexical substitution (WordNet, statistical) Syntactic matching/transformations Lexical-syntactic variations (“paraphrases”) Semantic role labeling and matching Global similarity parameters (e.g. negation, modality) Cross-pair similarity Detect mismatch (for non-entailment) Interpretation to logic representation + logic inference


Dominant approach: Supervised Learning : Page 20 Dominant approach: Supervised Learning Features model similarity and mismatch Classifier determines relative weights of information sources Train on development set and auxiliary t-h corpora t,h Similarity Features: Lexical, n-gram,syntactic semantic, global Feature vector Classifier YES NO


RTE-2 Results : Page 21 RTE-2 Results Average: 60% Median: 59%


Analysis : Page 22 Analysis For the first time: methods that carry some deeper analysis seemed (?) to outperform shallow lexical methods  Cf. Kevin Knight’s invited talk at EACL-06, titled: Isn’t linguistic Structure Important, Asked the Engineer Still, most systems, which do utilize deep analysis, did not score significantly better than the lexical baseline


Why? : Page 23 Why? System reports point at: Lack of knowledge (syntactic transformation rules, paraphrases, lexical relations, etc.) Lack of training data It seems that systems that coped better with these issues performed best: Hickl et al. - acquisition of large entailment corpora for training Tatu et al. – large knowledge bases (linguistic and world knowledge)


Some suggested research directions : Page 24 Some suggested research directions Knowledge acquisition Unsupervised acquisition of linguistic and world knowledge from general corpora and web Acquiring larger entailment corpora Manual resources and knowledge engineering Inference Principled framework for inference and fusion of information levels Are we happy with bags of features?


Complementary Evaluation Modes : Page 25 Complementary Evaluation Modes “Seek” mode: Input: h and corpus Output: all entailing t ’s in corpus Captures information seeking needs, but requires post-run annotation (TREC-style) Entailment subtasks evaluations Lexical, lexical-syntactic, logical, alignment… Contribution to various applications QA – Harabagiu & Hickl, ACL-06; RE – Romano et al., EACL-06


II. A Skeletal review of Textual Entailment Systems : Page 26 II. A Skeletal review of Textual Entailment Systems


Textual Entailment : Page 27 Textual Entailment Eyeing the huge market potential, currently led by Google, Yahoo took over search company Overture Services Inc. last year Yahoo acquired Overture Entails Subsumed by  Overture is a search company Google is a search company ………. Google owns Overture Phrasal verb paraphrasing Entity matching Semantic Role Labeling Alignment Integration How?


A general Strategy for Textual Entailment : Page 28 A general Strategy for Textual Entailment Given a sentence T Decision Find the set of Transformations/Features of the new representation (or: use these to create a cost function) that allows embedding of H in T. Given a sentence H e Re-represent T Lexical Syntactic Semantic Knowledge Base semantic; structural & pragmatic Transformations/rules Re-represent T Re-represent T Re-represent H Lexical Syntactic Semantic Re-represent T Re-represent T Re-represent T Re-represent T Re-represent T Representation


Details of The Entailment Strategy : Page 29 Details of The Entailment Strategy Preprocessing Multiple levels of lexical pre-processing Syntactic Parsing Shallow semantic parsing Annotating semantic phenomena Representation Bag of words, n-grams through tree/graphs based representation Logical representations Knowledge Sources Syntactic mapping rules Lexical resources Semantic Phenomena specific modules RTE specific knowledge sources Additional Corpora/Web resources Control Strategy & Decision Making Single pass/iterative processing Strict vs. Parameter based Justification What can be said about the decision?


The Case of Shallow Lexical Approaches : Page 30 The Case of Shallow Lexical Approaches Preprocessing Identify Stop Words Representation Bag of words Knowledge Sources Shallow Lexical resources – typically Wordnet Control Strategy & Decision Making Single pass Compute Similarity; use threshold tuned on a development set (could be per task) Justification It works


Shallow Lexical Approaches (Example) : Page 31 Shallow Lexical Approaches (Example) Lexical/word-based semantic overlap: score based on matching each word in H with some word in T Word similarity measure: may use WordNet May take account of subsequences, word order ‘Learn’ threshold on maximum word-based match score Text: The Cassini spacecraft has taken images that show rivers on Saturn’s moon Titan. Hyp: The Cassini spacecraft has reached Titan. Text: NASA’s Cassini-Huygens spacecraft traveled to Saturn in 2006. Text: The Cassini spacecraft arrived at Titan in July, 2006. Clearly, this may not appeal to what we think as understanding, and it is easy to generate cases for which this does not work well. However, it works (surprisingly) well with respect to current evaluation metrics (data sets?)


An Algorithm: LocalLexcialMatching : Page 32 An Algorithm: LocalLexcialMatching For each word in Hypothesis, Text if word matches stopword – remove word if no words left in Hypothesis or Text return 0 numberMatched = 0; for each word W_H in Hypothesis for each word W_T in Text HYP_LEMMAS = Lemmatize(W_H); TEXT_LEMMAS = Lemmatize(W_T); Use Wordnet’s if any term in HYP_LEMMAS matches any term in TEXT_LEMMAS using LexicalCompare() numberMatched++; Return: numberMatched/|HYP_Lemmas|


An Algorithm: LocalLexicalMatching (Cont.) : Page 33 An Algorithm: LocalLexicalMatching (Cont.) LexicalCompare() if(LEMMA_H == LEMMA_T) return TRUE; if(HypernymDistanceFromTo(textWord, hypothesisWord) <= 3) return TRUE; if(MeronymyDistanceFromTo(textWord, hypothesisWord) <= 3) returnTRUE; if(MemberOfDistanceFromTo(textWord, hypothesisWord) <= 3) return TRUE: if(SynonymOf(textWord, hypothesisWord) return TRUE; Notes: LexicalCompare is Asymmetric & makes use of single relation type Additional differences could be attributed to stop word list (e.g, including aux verbs) Straightforward improvements such as bi-grams do not help. More sophisticated lexical knowledge (entities; time) should help. LLM Performance: RTE2: Dev: 63.00 Test: 60.50 RTE 3: Dev: 67.50 Test: 65.63


Details of The Entailment Strategy (Again) : Page 34 Details of The Entailment Strategy (Again) Preprocessing Multiple levels of lexical pre-processing Syntactic Parsing Shallow semantic parsing Annotating semantic phenomena Representation Bag of words, n-grams through tree/graphs based representation Logical representations Knowledge Sources Syntactic mapping rules Lexical resources Semantic Phenomena specific modules RTE specific knowledge sources Additional Corpora/Web resources Control Strategy & Decision Making Single pass/iterative processing Strict vs. Parameter based Justification What can be said about the decision?


Preprocessing : Page 35 Preprocessing Syntactic Processing: Syntactic Parsing (Collins; Charniak; CCG) Dependency Parsing (+types) Lexical Processing Tokenization; lemmatization For each word in Hypothesis, Text Phrasal verbs Idiom processing Named Entities + Normalization Date/Time arguments + Normalization Semantic Processing Semantic Role Labeling Nominalization Modality/Polarity/Factive Co-reference } often used only during decision making } often used only during decision making Only a few systems


Details of The Entailment Strategy (Again) : Page 36 Details of The Entailment Strategy (Again) Preprocessing Multiple levels of lexical pre-processing Syntactic Parsing Shallow semantic parsing Annotating semantic phenomena Representation Bag of words, n-grams through tree/graphs based representation Logical representations Knowledge Sources Syntactic mapping rules Lexical resources Semantic Phenomena specific modules RTE specific knowledge sources Additional Corpora/Web resources Control Strategy & Decision Making Single pass/iterative processing Strict vs. Parameter based Justification What can be said about the decision?


Basic Representations : Page 37 Basic Representations Meaning Representation Raw Text Inference Representation Textual Entailment Local Lexical Syntactic Parse Semantic Representation Logical Forms Most approaches augment the basic structure defined by the processing level with additional annotation and make use of a tree/graph/frame-based system.


Basic Representations (Syntax) : Page 38 Basic Representations (Syntax) Local Lexical Syntactic Parse Hyp: The Cassini spacecraft has reached Titan.


Basic Representations (Shallow Semantics: Pred-Arg ) : Page 39 Basic Representations (Shallow Semantics: Pred-Arg ) T: The government purchase of the Roanoke building, a former prison, took place in 1902. H: The Roanoke building, which was a former prison, was bought by the government in 1902. The govt. purchase… prison take place in 1902 The government buy The Roanoke … prison The Roanoke building be a former prison purchase The Roanoke building In 1902 Roth&Sammons’07


Basic Representations (Logical Representation) : Page 40 Basic Representations (Logical Representation) [Bos & Markert] The semantic representation language is a first-order fragment a language used in Discourse Representation Theory (DRS), conveying argument structure with a neo-Davidsonian analysis and Including the recursive DRS structure to cover negation, disjunction, and implication.


Representing Knowledge Sources : Page 41 Representing Knowledge Sources Rather straight forward in the Logical Framework: Tree/Graph base representation may also use rule based transformations to encode different kinds of knowledge, sometimes represented as generic or knowledge based tree transformations.


Representing Knowledge Sources (cont.) : Page 42 Representing Knowledge Sources (cont.) In general, there is a mix of procedural and rule based encodings of knowledge sources Done by hanging more information on parse tree or predicate argument representation [Example from LCC’s system] Or different frame-based annotation systems for encoding information, that are processed procedurally.


Details of The Entailment Strategy (Again) : Page 43 Details of The Entailment Strategy (Again) Preprocessing Multiple levels of lexical pre-processing Syntactic Parsing Shallow semantic parsing Annotating semantic phenomena Representation Bag of words, n-grams through tree/graphs based representation Logical representations Knowledge Sources Syntactic mapping rules Lexical resources Semantic Phenomena specific modules RTE specific knowledge sources Additional Corpora/Web resources Control Strategy & Decision Making Single pass/iterative processing Strict vs. Parameter based Justification What can be said about the decision?


Knowledge Sources : Page 44 Knowledge Sources The knowledge sources available to the system are the most significant component of supporting TE. Different systems draw differently the line between preprocessing capabilities and knowledge resources. The way resources are handled is also different across different approaches.


Enriching Preprocessing : Page 45 Enriching Preprocessing In addition to syntactic parsing several approaches enrich the representation with various linguistics resources Pos tagging Stemming Predicate argument representation: verb predicates and nominalization Entity Annotation: Stand alone NERs with a variable number of classes Acronym handling and Entity Normalization: mapping mentions of the same entity mentioned in different ways to a single ID. Co-reference resolution Dates, times and numeric values; identification and normalization. Identification of semantic relations: complex nominals, genitives, adjectival phrases, and adjectival clauses. Event identification and frame construction.


Lexical Resources : Page 46 Lexical Resources Recognizing that a word or a phrase in S entails a word or a phrase in H is essential in determining Textual Entailment. Wordnet is the most commonly used resoruce In most cases, a Wordnet based similarity measure between words is used. This is typically a symmetric relation. Lexical chains over Wordnet are used; in some cases, care is taken to disallow some chains of specific relations. Extended Wordnet is being used to make use of Entities Derivation relation which links verbs with their corresponding nominalized nouns.


Lexical Resources (Cont.) : Page 47 Lexical Resources (Cont.) Lexical Paraphrasing Rules A number of efforts to acquire relational paraphrase rules are under way, and several systems are making use of resources such as DIRT and TEASE. Some systems seems to have acquired paraphrase rules that are in the RTE corpus person killed --> claimed one life hand reins over to --> give starting job to same-sex marriage --> gay nuptials cast ballots in the election -> vote dominant firm --> monopoly power death toll --> kill try to kill --> attack lost their lives --> were killed left people dead --> people were killed


Semantic Phenomena : Page 48 Semantic Phenomena A large number of semantic phenomena have been identified as significant to Textual Entailment. A large number of them are being handled (in a restricted way) by some of the systems. Very little quantification per-phenomena has been done, if at all. Semantic implications of interpreting syntactic structures [Braz et. al’05; Bar-Haim et. al. ’07] Conjunctions Jake and Jill ran up the hill Jake ran up the hill Jake and Jill met on the hill *Jake met on the hill Clausal modifiers But celebrations were muted as many Iranians observed a Shi'ite mourning month. Many Iranians observed a Shi'ite mourning month. Semantic Role Labeling handles this phenomena automatically


Semantic Phenomena (Cont.) : Page 49 Semantic Phenomena (Cont.) Relative clauses The assailants fired six bullets at the car, which carried Vladimir Skobtsov. The car carried Vladimir Skobtsov. Semantic Role Labeling handles this phenomena automatically Appositives Frank Robinson, a one-time manager of the Indians, has the distinction for the NL. Frank Robinson is a one-time manager of the Indians. Passive We have been approached by the investment banker. The investment banker approached us. Semantic Role Labeling handles this phenomena automatically Genitive modifier Malaysia's crude palm oil output is estimated to have risen.. The crude palm oil output of Malasia is estimated to have risen .


Logical Structure : Page 50 Logical Structure Factivity : Uncovering the context in which a verb phrase is embedded The terrorists tried to enter the building. The terrorists entered the building. Polarity negative markers or a negation-denoting verb (e.g. deny, refuse, fail) The terrorists failed to enter the building. The terrorists entered the building. Modality/Negation Dealing with modal auxiliary verbs (can, must, should), that modify verbs’ meanings and with the identification of the scope of negation. Superlatives/Comperatives/Monotonicity: inflecting adjectives or adverbs. Quantifiers, determiners and articles


Some Examples [Braz et. al. IJCAI workshop’05;PARC Corpus] : Page 51 Some Examples [Braz et. al. IJCAI workshop’05;PARC Corpus] T: Legally, John could drive. H: John drove. . S: Bush said that Khan sold centrifuges to North Korea. H: Centrifuges were sold to North Korea. . S: No US congressman visited Iraq until the war. H: Some US congressmen visited Iraq before the war. S: The room was full of women. H: The room was full of intelligent women. S: The New York Times reported that Hanssen sold FBI secrets to the Russians and could face the death penalty. H: Hanssen sold FBI secrets to the Russians. S: All soldiers were killed in the ambush. H: Many soldiers were killed in the ambush.


Details of The Entailment Strategy (Again) : Page 52 Details of The Entailment Strategy (Again) Preprocessing Multiple levels of lexical pre-processing Syntactic Parsing Shallow semantic parsing Annotating semantic phenomena Representation Bag of words, n-grams through tree/graphs based representation Logical representations Knowledge Sources Syntactic mapping rules Lexical resources Semantic Phenomena specific modules RTE specific knowledge sources Additional Corpora/Web resources Control Strategy & Decision Making Single pass/iterative processing Strict vs. Parameter based Justification What can be said about the decision?


Control Strategy and Decision Making : Page 53 Control Strategy and Decision Making Single Iteration Strict Logical approaches are, in principle, a single stage computation. The pair is processed and transform into the logic form. Existing Theorem Provers act on the pair along with the KB. Multiple iterations Graph based algorithms are typically iterative. Following [Punyakanok et. al ’04] transformations are applied and entailment test is done after each transformation is applied. Transformation can be chained, but sometimes the order makes a difference. The algorithm can be a greedy algorithm or can be more exhaustive, and search for the best path found [Braz et. al’05;Bar-Haim et.al 07]


Transformation Walkthrough [Braz et. al’05] : Page 54 Transformation Walkthrough [Braz et. al’05] T: The government purchase of the Roanoke building, a former prison, took place in 1902. H: The Roanoke building, which was a former prison, was bought by the government in 1902. Does ‘H’ follow from ‘T’?


Transformation Walkthrough (1) : Page 55 Transformation Walkthrough (1) T: The government purchase of the Roanoke building, a former prison, took place in 1902. H: The Roanoke building, which was a former prison, was bought by the government in 1902. The govt. purchase… prison take place in 1902 The government buy The Roanoke … prison The Roanoke building be a former prison purchase The Roanoke building In 1902


Transformation Walkthrough (2) : Page 56 Transformation Walkthrough (2) T: The government purchase of the Roanoke building, a former prison, took place in 1902. The government purchase of the Roanoke building, a former prison, occurred in 1902. H: The Roanoke building, which was a former prison, was bought by the government. The govt. purchase… prison occur in 1902 Phrasal Verb Rewriter


Transformation Walkthrough (3) : Page 57 Transformation Walkthrough (3) T: The government purchase of the Roanoke building, a former prison, occurred in 1902. The government purchase the Roanoke building in 1902. H: The Roanoke building, which was a former prison, was bought by the government in 1902. The government purchase Nominalization Promoter the Roanoke building, a former prison In 1902 NOTE: depends on earlier transformation: order is important!


Transformation Walkthrough (4) : Page 58 Transformation Walkthrough (4) T: The government purchase of the Roanoke building, a former prison, occurred in 1902. The Roanoke building be a former prison. H: The Roanoke building, which was a former prison, was bought by the government in 1902. The Roanoke building be Apposition Rewriter a former prison


Transformation Walkthrough (5) : Page 59 Transformation Walkthrough (5) T: The government purchase of the Roanoke building, a former prison, took place in 1902. H: The Roanoke building, which was a former prison, was bought by the government in 1902. The government buy The Roanoke … prison The Roanoke building be a former prison In 1902 The government purchase The Roanoke … prison The Roanoke building be a former prison In 1902 WordNet


Characteristics : Page 60 Characteristics Multiple paths => optimization problem Shortest or highest-confidence path through transformations Order is important; may need to explore different orderings Module dependencies are ‘local’; module B does not need access to module A’s KB/inference, only its output If outcome is “true”, the (optimal) set of transformations and local comparisons form a proof


Summary: Control Strategy and Decision Making : Page 61 Summary: Control Strategy and Decision Making Despite the appeal of the Strict Logical approaches as of today, they do not work well enough. Bos & Markert: Strict logical approach is failing significantly behind good LLMs and multiple levels of lexical pre-processing Only incorporating rather shallow features and using it in the evaluation saves this approach. Braz et. al.: Strict graph based representation is not doing as well as LLM. Tatu et. al Results show that strict logical approach is inferior to LLMs, but when put together, it produces some gain. Using Machine Learning methods as a way to combine systems and multiple features has been found very useful.


Hybrid/Ensemble Approaches : Page 62 Hybrid/Ensemble Approaches Bos et al.: use theorem prover and model builder Expand models of T, H using model builder, check sizes of models Test consistency with background knowledge with T, H Try to prove entailment with and without background knowledge Tatu et al. (2006) use ensemble approach: Create two logical systems, one lexical alignment system Combine system scores using coefficients found via search (train on annotated data) Modify coefficients for different tasks Zanzotto et al. (2006) try to learn from comparison of structures of T, H for ‘true’ vs. ‘false’ entailment pairs Use lexical, syntactic annotation to characterize match between T, H for successful, unsuccessful entailment pairs Train Kernel/SVM to distinguish between match graphs


Justification : Page 63 Justification For most approaches justification is given only by the data Preprocessed Empirical Evaluation Logical Approaches There is a proof theoretic justification Modulo the power of the resources and the ability to map a sentence to a logical form. Graph/tree based approaches There is a model theoretic justification The approach is sound, but not complete, modulo the availably of resources.


Justifying Graph Based Approaches [Braz et. al 05] : Page 64 R - a knowledge representation language, with a well defined syntax and semantics or a domain D. For text snippets s, t: rs, rt - their representations in R. M(rs), M(rt) their model theoretic representations There is a well defined notion of subsumption in R, defined model theoretically u, v 2 R: u is subsumed by v when M(u) µ M(v) Not an algorithm; need a proof theory. Justifying Graph Based Approaches [Braz et. al 05]


Defining Semantic Entailment (2) : Page 65 The proof theory is weak; will show rs µ rt only when they are relatively similar syntactically. r 2 R is faithful to s if M(rs) = M(r) Definition: Let s, t, be text snippets with representations rs, rt 2 R. We say that s semantically entails t if there is a representation r 2 R that is faithful to s, for which we can prove that r µ rt Given rs need to generate many equivalent representations r’s and test r’s µ rt Defining Semantic Entailment (2) Cannot be done exhaustively How to generate alternative representations?


Defining Semantic Entailment (3) : Page 66 A rewrite rule (l,r) is a pair of expressions in R such that l µ r Given a representation rs of s and a rule (r,l) for which rs µ l the augmentation of rs via (l,r) is r’s = rs Æ r. Claim: r’s is faithful to s. Proof: In general, since r’s = rs Æ r then M(r’s)= M(rs) Å M(r) However, since rs µ l µ r then M(rs) µ M(r). Consequently: M(r’s)= M(rs) And the augmented representation is faithful to s. Defining Semantic Entailment (3) rs l µ r, rs µ l µ r’s = rs Æ r


Comments : Page 67 The claim suggests an algorithm for generating alternative (equivalent) representations and for semantic entailment. The resulting algorithm is a sound algorithm, but is not complete. Completeness depends on the quality of the KB of rules. The power of this algorithm is in the rules KB. l and r might be very different syntactically, but by satisfying model theoretic subsumption they provide expressivity to the re-representation in a way that facilitates the overall subsumption. Comments


Non-Entailment : Page 68 The problem of determining non-entailment is harder, mostly due to it’s structure. Most approaches determine non-entailment heuristically. Set a threshold for a cost function. If not met by the pair, say ‘now’ Several approach has identified specific features the hind on non-entialment. A model Theoretic approach for non-entailment has also been developed, although it’s effectiveness isn’t clear yet. Non-Entailment


What are we missing? : Page 69 What are we missing? It is completely clear that the key resource missing is knowledge. Better resources translate immediately to better results. At this point existing resources seem to be lacking in coverage and accuracy. Not enough high quality public resources; no quantification. Some Examples Lexical Knowledge: Some cases are difficult to acquire systematically. A bought Y  A has/owns Y Many of the current lexical resources are very noisy. Numbers, quantitative reasoning Time and Date; Temporal Reasoning. Robust event based reasoning and information integration


Textual Entailment as a Classification Task : Page 70 Textual Entailment as a Classification Task


RTE as classification task : Page 71 Page 71 RTE as classification task RTE is a classification task: Given a pair we need to decide if T implies H or T does not implies H We can learn a classifier from annotated examples What do we need: A learning algorithm A suitable feature space


Defining the feature space : Page 72 Page 72 Defining the feature space How do we define the feature space? Possible features “Distance Features” - Features of “some” distance between T and H “Entailment trigger Features” “Pair Feature” – The content of the T-H pair is represented Possible representations of the sentences Bag-of-words (possibly with n-grams) Syntactic representation Semantic representation


Distance Features : Page 73 Page 73 Distance Features Possible features Number of words in common Longest common subsequence Longest common syntactic subtree …


Entailment Triggers : Page 74 Page 74 Entailment Triggers Possible features from (de Marneffe et al., 2006) Polarity features presence/absence of neative polarity contexts (not,no or few, without) “Oil price surged”“Oil prices didn’t grow” Antonymy features presence/absence of antonymous words in T and H “Oil price is surging”“Oil prices is falling down” Adjunct features dropping/adding of syntactic adjunct when moving from T to H “all solid companies pay dividends” “all solid companies pay cash dividends” …


Pair Features : Page 75 Page 75 Pair Features Possible features Bag-of-word spaces of T and H Syntactic spaces of T and H end_T year_T solid_T companies_T pay_T dividends_T … … end_H year_H solid_H companies_H pay_H dividends_H … … insurance_H T H


Pair Features: what can we learn? : Page 76 Page 76 Pair Features: what can we learn? Bag-of-word spaces of T and H We can learn: T implies H as when T contains “end”… T does not imply H when H contains “end”… end_T year_T solid_T companies_T pay_T dividends_T … … end_H year_H solid_H companies_H pay_H dividends_H … … insurance_H T H It seems to be totally irrelevant!!!


ML Methods in the possible feature spaces : Page 77 Page 77 (…) (…) (…) ML Methods in the possible feature spaces Possible Features Sentence representation Bag-of-words Semantic Distance Pair (Hickl et al., 2006) Syntactic Entailment Trigger (Zanzotto&Moschitti, 2006) (Bos&Markert, 2006) (Ipken et al., 2006) (Kozareva&Montoyo, 2006) (de Marneffe et al., 2006) (Herrera et al., 2006) (Rodney et al., 2006)


Effectively using the Pair Feature Space : Page 78 Page 78 Effectively using the Pair Feature Space Roadmap Motivation: Reason why it is important even if it seems not. Understanding the model with an example Challenges A simple example Defining the cross-pair similarity (Zanzotto, Moschitti, 2006)


Observing the Distance Feature Space… : Page 79 Page 79 Observing the Distance Feature Space… (Zanzotto, Moschitti, 2006) % common syntactic dependencies % common words In a distance feature space… … the two pairs are very likely the same point


What can happen in the pair feature space? : Page 80 Page 80 What can happen in the pair feature space? (Zanzotto, Moschitti, 2006)


Observations : Page 81 Page 81 Observations Some examples are difficult to be exploited in the distance feature space… We need a space that considers the content and the structure of textual entailment examples Let us explore: the pair space! … using the Kernel Trick: define the space defining the distance K(P1 , P2) instead of defining the feautures K(T1  H1,T1  H2)


Target : Page 82 Target Page 82 (Zanzotto, Moschitti, 2006) Cross-pair similarity KS((T’,H’),(T’’,H’’)) KT(T’,T’’)+ KT(H’,H’’)


Observing the syntactic pair feature space : Page 83 Page 83 Observing the syntactic pair feature space Can we use syntactic tree similarity? (Zanzotto, Moschitti, 2006)


Observing the syntactic pair feature space : Page 84 Page 84 Observing the syntactic pair feature space Can we use syntactic tree similarity? (Zanzotto, Moschitti, 2006)


Observing the syntactic pair feature space : Page 85 Page 85 Observing the syntactic pair feature space Can we use syntactic tree similarity? Not only! (Zanzotto, Moschitti, 2006)


Observing the syntactic pair feature space : Page 86 Page 86 Observing the syntactic pair feature space Can we use syntactic tree similarity? Not only! We want to use/exploit also the implied rewrite rule (Zanzotto, Moschitti, 2006) a b c d a b c d a b c d a b c d


Exploiting Rewrite Rules : Page 87 Page 87 Exploiting Rewrite Rules To capture the textual entailment recognition rule (rewrite rule or inference rule), the cross-pair similarity measure should consider: the structural/syntactical similarity between, respectively, texts and hypotheses the similarity among the intra-pair relations between constituents How to reduce the problem to a tree similarity computation? (Zanzotto, Moschitti, 2006)


Exploiting Rewrite Rules : Page 88 Page 88 Exploiting Rewrite Rules (Zanzotto, Moschitti, 2006)


Exploiting Rewrite Rules : Page 89 Page 89 Exploiting Rewrite Rules Intra-pair operations (Zanzotto, Moschitti, 2006)


Exploiting Rewrite Rules : Page 90 Page 90 Exploiting Rewrite Rules Intra-pair operations  Finding anchors (Zanzotto, Moschitti, 2006)


Exploiting Rewrite Rules : Page 91 Page 91 Exploiting Rewrite Rules Intra-pair operations Finding anchors Naming anchors with placeholders (Zanzotto, Moschitti, 2006)


Exploiting Rewrite Rules : Page 92 Page 92 Exploiting Rewrite Rules Intra-pair operations Finding anchors Naming anchors with placeholders Propagating placeholders (Zanzotto, Moschitti, 2006)


Exploiting Rewrite Rules : Page 93 Page 93 Exploiting Rewrite Rules Intra-pair operations Finding anchors Naming anchors with placeholders Propagating placeholders Cross-pair operations (Zanzotto, Moschitti, 2006)


Exploiting Rewrite Rules : Page 94 Page 94 Cross-pair operations Matching placeholders across pairs Exploiting Rewrite Rules Intra-pair operations Finding anchors Naming anchors with placeholders Propagating placeholders (Zanzotto, Moschitti, 2006)


Exploiting Rewrite Rules : Page 95 Page 95 Exploiting Rewrite Rules Cross-pair operations Matching placeholders across pairs Renaming placeholders Intra-pair operations Finding anchors Naming anchors with placeholders Propagating placeholders


Exploiting Rewrite Rules : Page 96 Page 96 Intra-pair operations Finding anchors Naming anchors with placeholders Propagating placeholders Exploiting Rewrite Rules Cross-pair operations Matching placeholders across pairs Renaming placeholders Calculating the similarity between syntactic trees with co-indexed leaves


Exploiting Rewrite Rules : Page 97 Page 97 Intra-pair operations Finding anchors Naming anchors with placeholders Propagating placeholders Exploiting Rewrite Rules Cross-pair operations Matching placeholders across pairs Renaming placeholders Calculating the similarity between syntactic trees with co-indexed leaves (Zanzotto, Moschitti, 2006)


Exploiting Rewrite Rules : Page 98 Page 98 Exploiting Rewrite Rules The initial example: sim(H1,H3) > sim(H2,H3)? (Zanzotto, Moschitti, 2006)


Defining the Cross-pair similarity : Page 99 Page 99 Defining the Cross-pair similarity The cross pair similarity is based on the distance between syntatic trees with co-indexed leaves: where C is the set of all the correspondences between anchors of (T’,H’) and (T’’,H’’) t(S, c) returns the parse tree of the hypothesis (text) S where placeholders of these latter are replaced by means of the substitution c i is the identity substitution KT(t1, t2) is a function that measures the similarity between the two trees t1 and t2. (Zanzotto, Moschitti, 2006)


Defining the Cross-pair similarity : Page 100 Page 100 Defining the Cross-pair similarity


Refining Cross-pair Similarity : Page 101 Page 101 Refining Cross-pair Similarity Controlling complexity We reduced the size of the set of anchors using the notion of chunk Reducing the computational cost Many subtree computations are repeated during the computation of KT(t1, t2). This can be exploited for a better dynamic progamming algorithm (Moschitti&Zanzotto, 2007) Focussing on information within a pair relevant for the entailment: Text trees are pruned according to where anchors attach (Zanzotto, Moschitti, 2006)


BREAK (30 min) : Page 102 BREAK (30 min)


III. Knowledge Acquisition Methods : Page 103 III. Knowledge Acquisition Methods


Knowledge Acquisition for TE : Page 104 Page 104 Knowledge Acquisition for TE What kind of knowledge we need? Explicit Knowledge (Structured Knowledge Bases) Relations among words (or concepts) Symmetric: Synonymy, cohypohymy Directional: hyponymy, part of, … Relations among sentence prototypes Symmetric: Paraphrasing Directional : Inference Rules/Rewrite Rules Implicit Knowledge Relations among sentences Symmetric: paraphrasing examples Directional: entailment examples


Acquisition of Explicit Knowledge : Page 105 Page 105 Acquisition of Explicit Knowledge


Acquisition of Explicit Knowledge : Page 106 Page 106 Acquisition of Explicit Knowledge The questions we need to answer What? What we want to learn? Which resources do we need? Using what? Which are the principles we have? How? How do we organize the “knowledge acquisition” algorithm


Acquisition of Explicit Knowledge: what? : Page 107 Page 107 Acquisition of Explicit Knowledge: what? Types of knowledge Symmetric Co-hyponymy Between words: cat  dog Synonymy Between words: buy  acquire Sentence prototypes (paraphrasing) : X bought Y  X acquired Z% of the Y’s shares Directional semantic relations Words: cat  animal , buy  own , wheel partof car Sentence prototypes : X acquired Z% of the Y’s shares  X owns Y


Acquisition of Explicit Knowledge : Using what? : Page 108 Page 108 Acquisition of Explicit Knowledge : Using what? Underlying hypothesis Harris’ Distributional Hypothesis (DH) (Harris, 1964) “Words that tend to occur in the same contexts tend to have similar meanings.” Robison’s Point-wise Assertion Patterns (PAP) (Robison, 1970) “It is possible to extract relevant semantic relations with some pattern.” sim(w1,w2)sim(C(w1), C(w2)) w1 is in a relation r with w2 if the context pattern(w1, w2 )


Distributional Hypothesis (DH) : Page 109 Page 109 Words or Forms Context (Feature) Space simw(W1,W2)simctx(C(W1), C(W2)) w1= constitute w2= compose C(w1) C(w2) Distributional Hypothesis (DH) Corpus: source of contexts … sun is constituted of hydrogen … …The Sun is composed of hydrogen …


Point-wise Assertion Patterns (PAP) : Page 110 Page 110 Point-wise Assertion Patterns (PAP) w1 is in a relation r with w2 if the contexts patternsr(w1, w2 ) relation w1 part_of w2 patterns “w1 is constituted of w2” “w1 is composed of w2” Corpus: source of contexts … sun is constituted of hydrogen … …The Sun is composed of hydrogen … part_of(sun,hydrogen) selects correct vs incorrect relations among words Statistical Indicator Scorpus(w1,w2)


DH and PAP cooperate : Page 111 Page 111 Words or Forms Context (Feature) Space w1= constitute w2= compose C(w1) C(w2) DH and PAP cooperate Corpus: source of contexts … sun is constituted of hydrogen … …The Sun is composed of hydrogen … Distributional Hypothesis Point-wise assertion Patterns


Knowledge Acquisition: Where methods differ? : Page 112 Page 112 Knowledge Acquisition: Where methods differ? On the “word” side Target equivalence classes: Concepts or Relations Target forms: words or expressions On the “context” side Feature Space Similarity function


KA4TE: a first classification of some methods : Page 113 Page 113 KA4TE: a first classification of some methods Types of knowledge Underlying hypothesis Distributional Hypothesis Point-wise assertion Patterns Symmetric Directional ISA patterns (Hearst, 1992) Verb Entailment (Zanzotto et al., 2006) Concept Learning (Lin&Pantel, 2001a) Inference Rules (DIRT) (Lin&Pantel, 2001b) Relation Pattern Learning (ESPRESSO) (Pantel&Pennacchiotti, 2006) Hearst ESPRESSO (Pantel&Pennacchiotti, 2006) Noun Entailment (Geffet&Dagan, 2005) TEASE (Szepktor et al.,2004)


Noun Entailment Relation : Page 114 Page 114 Noun Entailment Relation Type of knowledge: directional relations Underlying hypothesis: distributional hypothesis Main Idea: distributional inclusion hypothesis (Geffet&Dagan, 2006) w1  w2 if All the prominent features of w1 occur with w2 in a sufficiently large corpus Words or Forms Context (Feature) Space


Verb Entailment Relations : Page 115 Page 115 Verb Entailment Relations Type of knowledge: oriented relations Underlying hypothesis: point-wise assertion patterns Main Idea: (Zanzotto, Pennacchiotti, Pazienza, 2006) relation v1  v2 patterns “agentive_nominalization(v2) v1” Point-wise Mutual information Statistical Indicator S(v1,v2)


Verb Entailment Relations : Page 116 Page 116 Verb Entailment Relations Understanding the idea Selectional restriction fly(x)  has_wings(x) in general v(x)  c(x) (if x is the subject of v then x has the property c) Agentive nominalization “agentive noun is the doer or the performer of an action v’” “X is player” may be read as play(x) c(x) is clearly v’(x) if the property c is derived by v’ with an agentive nominalization (Zanzotto, Pennacchiotti, Pazienza, 2006) Skipped


Verb Entailment Relations : Page 117 Page 117 Verb Entailment Relations Understanding the idea Given the expression player wins Seen as a selctional restriction win(x)  play(x) Seen as a selectional preference P(play(x)|win(x)) > P(play(x)) Skipped


Knowledge Acquisition for TE: How? : Page 118 Page 118 Knowledge Acquisition for TE: How? The algorithmic nature of a DH+PAP method Direct Starting point: target words Indirect Starting point: context feature space Iterative Interplay between the context feature space and the target words


Direct Algorithm : Page 119 Page 119 Words or Forms Context (Feature) Space sim(w1,w2)sim(C(w1), C(w2)) w1= cat w2= dog C(w1) C(w2) Direct Algorithm sim(w1,w2)sim(I(C(w1)), I(C(w2))) Select target words wi from the corpus or from a dictionary Retrieve contexts of each wi and represent them in the feature space C(wi ) For each pair (wi, wj) Compute the similarity sim(C(wi), C(wj )) in the context space If sim(wi, wj )= sim(C(wi), C(wj ))>t, wi and wj belong to the same equivalence class W


Indirect Algorithm : Page 120 Page 120 Given an equivalence class W, select relevant contexts and represent them in the feature space Retrieve target words (w1, …, wn) that appear in these contexts. These are likely to be words in the equivalence class W Eventually, for each wi, retrieve C(wiI) from the corpus Compute the centroid I(C(W)) For each for each wi, if sim(I(C(W), wi)

Iterative Algorithm : Page 121 Page 121 For each word wi in the equivalence class W, retrieve the C(wi) contexts and represent them in the feature space Extract words wj that have contexts similar to C(wi) Extract contexts C(wj) of these new words For each for each new word wj, if sim(C(W), wj)>t, put wj in W. Words or Forms Context (Feature) Space sim(w1,w2)sim(C(w1), C(w2)) w1= cat w2= dog C(w1) Iterative Algorithm sim(w1,w2)sim(I(C(w1)), I(C(w2)))


Knowledge Acquisition using DH and PAH : Page 122 Page 122 Knowledge Acquisition using DH and PAH Direct Algorithms Concepts from text via clustering (Lin&Pantel, 2001) Inference rules – aka DIRT (Lin&Pantel, 2001) … Indirect Algorithms Hearst’s ISA patterns (Hearst, 1992) Question Answering patterns (Ravichandran&Hovy, 2002) … Iterative Algorithms Entailment rules from Web – aka TEASE (Szepktor et al., 2004) Espresso (Pantel&Pennacchiotti, 2006) …


TEASE : Page 123 Page 123 TEASE Type: Iterative algorithm On the “word” side Target equivalence classes: fine-grained relations Target forms: verb with arguments On the “context” side Feature Space Innovations with respect to reasearches < 2004 First direct algorithm for extracting rules prevent(X,Y) X_{filler}:mi?,Y_{filler}:mi? (Szepktor et al., 2004)


TEASE : Page 124 Page 124 TEASE WEB Lexicon Input template: Xsubj-accuse-objY Sample corpus for input template: Paula Jones accused Clinton… BBC accused Blair… Sanhedrin accused St.Paul… … Anchor sets: {Paula Jonessubj; Clintonobj} {Sanhedrinsubj; St.Paulobj} … Sample corpus for anchor sets: Paula Jones called Clinton indictable… St.Paul defended before the Sanhedrin … Templates: X call Y indictable Y defend before X … TEASE Anchor Set Extraction (ASE) Template Extraction (TE) iterate (Szepktor et al., 2004) Skipped


TEASE : Page 125 Page 125 TEASE Innovations with respect to reasearches < 2004 First direct algorithm for extracting rules A feature selection is done to assess the most informative features Extracted forms are clustered to obtain the most general sentence prototype of a given set of equivalent forms (Szepktor et al., 2004) Skipped


Espresso : Page 126 Page 126 Espresso Type: Iterative algorithm On the “word” side Target equivalence classes: relations Target forms: expressions, sequences of tokens Innovations with respect to reasearches < 2006 A measure to determine specific vs. general patterns (ranking in the equivalent forms) Y is composed by X, Y is made of X compose(X,Y) (Pantel&Pennacchiotti, 2006)


Espresso : Page 127 Page 127 Espresso (leader , panel) (city , region) (oxygen , water) Y is composed by X X,Y Y is part of Y 1.0 Y is composed by X 0.8 Y is part of X 0.2 X,Y (tree , land) (oxygen , hydrogen) (atom, molecule) (leader , panel) (range of information, FBI report) (artifact , exhibit) … 1.0 (tree , land) 0.9 (atom, molecule) 0.7 (leader , panel) 0.6 (range of information, FBI report) 0.6 (artifact , exhibit) 0.2 (oxygen , hydrogen) (Pantel&Pennacchiotti, 2006) Skipped


Espresso : Page 128 Page 128 Espresso Innovations with respect to reasearches < 2006 A measure to determine specific vs. general patterns (ranking in the equivalent forms) Both pattern and instance selections are performed Different Use of General and specific patterns in the iterative algorithm (Pantel&Pennacchiotti, 2006) 1.0 Y is composed by X 0.8 Y is part of X 0.2 X,Y Skipped


Acquisition of Implicit Knowledge : Page 129 Page 129 Acquisition of Implicit Knowledge


Acquisition of Implicit Knowledge : Page 130 Page 130 Acquisition of Implicit Knowledge The questions we need to answer What? What we want to learn? Which resources do we need? Using what? Which are the principles we have?


Acquisition of Implicit Knowledge: what? : Page 131 Page 131 Acquisition of Implicit Knowledge: what? Types of knowledge Symmetric Nearly Synonymy between sentences Acme Inc. bought Goofy ltd.  Acme Inc. acquired 11% of the Goofy ltd.’s shares Directional semantic relations Entailment between sentences Acme Inc. acquired 11% of the Goofy ltd.’s shares  Acme Inc. owns Goofy ltd. Note: ALSO TRICKY NOT-ENTAILMENT ARE RELEVANT


Acquisition of Implicit Knowledge : Using what? : Page 132 Page 132 Acquisition of Implicit Knowledge : Using what? Underlying hypothesis Structural and content similarity “Sentences are similar if they share enough content” A revised Point-wise Assertion Patterns “Some patterns of sentences reveal relations among sentences” sim(s1,s2) according to relations from s1 and s2


A first classification of some methods : Page 133 Page 133 A first classification of some methods Types of knowledge Underlying hypothesis Structural and content similarity Revised Point-wise assertion Patterns Symmetric Directional Relations among sentences (Hickl et al., 2006) Paraphrase Corpus (Dolan&Quirk, 2004) entails not entails Relations among sentences (Burger&Ferro, 2005)


Entailment relations among sentences : Page 134 Page 134 Entailment relations among sentences Type of knowledge: directional relations (entailment) Underlying hypothesis: revised point-wise assertion patterns Main Idea: in headline news items, the first sentence/paragraph generally entails the title (Burger&Ferro, 2005) relation s2  s1 patterns “News Item Title(s1) First_Sentence(s2)” This pattern works on the structure of the text


Entailment relations among sentences : Page 135 Page 135 Entailment relations among sentences examples from the web New York Plan for DNA Data in Most Crimes Eliot Spitzer is proposing a major expansion of New York’s database of DNA samples to include people convicted of most crimes, while making it easier for prisoners to use DNA to try to establish their innocence. … Title Body Chrysler Group to Be Sold for $7.4 Billion DaimlerChrysler confirmed today that it would sell a controlling interest in its struggling Chrysler Group to Cerberus Capital Management of New York, a private equity firm that specializes in restructuring troubled companies. … Title Body


Tricky Not-Entailment relations among sentences : Page 136 Page 136 Tricky Not-Entailment relations among sentences Type of knowledge: directional relations (tricky not-entailment) Underlying hypothesis: revised point-wise assertion patterns Main Idea: in a text, sentences with a same name entity generally do not entails each other Sentences connected by “on the contrary”, “but”, … do not entail each other (Hickl et al., 2006) relation s1  s2 patterns s1 and s2 are in the same text and share at least a named entity “s1. On the contrary, s2”


Tricky Not-Entailment relations among sentences : Page 137 Page 137 Tricky Not-Entailment relations among sentences examples from (Hickl et al., 2006) One player losing a close friend is Japanese pitcher Hideki Irabu, who was befriended by Wells during spring training last year. Irabu said he would take Wells out to dinner when the Yankees visit Toronto. T H According to the professor, present methods of cleaning up oil slicks are extremely costly and are never completely efficient. T H In contrast, he stressed, Clean Mag has a 100 percent pollution retrieval rate, is low cost and can be recycled.


Context Sensitive Paraphrasing : Page 138 He used a Phillips head to tighten the screw. The bank owner tightened security after a spat of local crimes. The Federal Reserve will aggressively tighten monetary policy. Context Sensitive Paraphrasing ………. Loosen Strengthen Step up Toughen Improve Fasten Impose Intensify Ease Beef up Simplify Curb Reduce Loosen Strengthen Step up Toughen Improve Fasten Impose Intensify Ease Beef up S