Proposition Knowledge Graphs. Gabriel Stanovsky Omer Levy Ido Dagan Bar-Ilan University Israel

Similar documents
Logic. Introduction to Artificial Intelligence CS/ECE 348 Lecture 11 September 27, 2001

COMP219: Artificial Intelligence. Lecture 19: Logic for KR

COMP219: Artificial Intelligence. Lecture 19: Logic for KR

Hybrid Logic Dependency Semantics

Description Logics. Deduction in Propositional Logic. franconi. Enrico Franconi

Overview. Knowledge-Based Agents. Introduction. COMP219: Artificial Intelligence. Lecture 19: Logic for KR

Description Logics. Foundations of Propositional Logic. franconi. Enrico Franconi

Logic. Readings: Coppock and Champollion textbook draft, Ch

Propositional Logic: Logical Agents (Part I)

Lecture 7: Logic and Planning

Logic: Propositional Logic (Part I)

Abstract Meaning Representation. Computational Linguistics Emory University Jinho D. Choi

Knowledge representation DATA INFORMATION KNOWLEDGE WISDOM. Figure Relation ship between data, information knowledge and wisdom.

Propositional Logic: Part II - Syntax & Proofs 0-0

Introduction to Semantics. Common Nouns and Adjectives in Predicate Position 1

Introduction to Semantics. The Formalization of Meaning 1

The Importance of Being Formal. Martin Henz. February 5, Propositional Logic

Propositional Logic. Testing, Quality Assurance, and Maintenance Winter Prof. Arie Gurfinkel

Introduction to Semantics. Pronouns and Variable Assignments. We ve seen that implicatures are crucially related to context.

Semantics and Generative Grammar. Pronouns and Variable Assignments 1. We ve seen that implicatures are crucially related to context.

Bar-Hillel and the Division of Labor in Language

Logic Background (1A) Young W. Lim 12/14/15

22c:145 Artificial Intelligence

Propositional Logic: Review

DRAFT. Caption: An astronaut climbs down a lunar module on the surface of the Moon. <Insert figure 1.4 here; photograph of the surface of Mars>>

First Order Logic: Syntax and Semantics

Modal logics: an introduction

Reasoning about Strategies: From module checking to strategy logic

KR: First Order Logic - Intro

Breaking de Morgan s law in counterfactual antecedents

Graph-Based Lexicon Expansion with Sparsity-Inducing Penalties

Compositionality and Syntactic Structure Marcus Kracht Department of Linguistics UCLA 3125 Campbell Hall 405 Hilgard Avenue Los Angeles, CA 90095

Logic for Computer Science - Week 2 The Syntax of Propositional Logic

THE LANGUAGE OF FIRST-ORDER LOGIC (FOL) Sec2 Sec1(1-16)

Logic: Propositional Logic Truth Tables

Propositional Logic Arguments (5A) Young W. Lim 11/8/16

Translating Ontologies from Predicate-based to Frame-based Languages

Lecture 7. Logic. Section1: Statement Logic.

Introduction to fuzzy logic

Introduction to Intensional Logic. Ling 406/802 Read Meaning and Grammar, Ch

Outline. Overview. Syntax Semantics. Introduction Hilbert Calculus Natural Deduction. 1 Introduction. 2 Language: Syntax and Semantics

COMP3702/7702 Artificial Intelligence Week 5: Search in Continuous Space with an Application in Motion Planning " Hanna Kurniawati"

Why Knowledge Representation?

INTRODUCTION TO PREDICATE LOGIC HUTH AND RYAN 2.1, 2.2, 2.4

cse541 LOGIC FOR COMPUTER SCIENCE

Driving Semantic Parsing from the World s Response

Curiosity Overview Nasa

Reasoning with Constraint Diagrams

CS 331: Artificial Intelligence Propositional Logic I. Knowledge-based Agents

Knowledge-based Agents. CS 331: Artificial Intelligence Propositional Logic I. Knowledge-based Agents. Outline. Knowledge-based Agents

What is Earth Science?

Problem Set 3: Crater Counting

FORMAL METHODS LECTURE III: LINEAR TEMPORAL LOGIC

Why Knowledge Representation? Example. Example. CSE 3401: Intro to AI & LP Knowledge Representation & First-Order Logic

Semantic Technologies in Prod-Trees

Semantics and Generative Grammar. The Semantics of Adjectival Modification 1. (1) Our Current Assumptions Regarding Adjectives and Common Ns

Classical First-Order Logic

3. Only sequences that were formed by using finitely many applications of rules 1 and 2, are propositional formulas.

Meaning and Reference INTENSIONAL AND MODAL LOGIC. Intensional Logic. Frege: Predicators (general terms) have

Activity #1 - Getting Started in Mars Exploration

Requirements Validation. Content. What the standards say (*) ?? Validation, Verification, Accreditation!! Correctness and completeness

The Absoluteness of Constructibility

The λ-calculus and Curry s Paradox Drew McDermott , revised

Flow Interfaces Compositional Abstractions of Concurrent Data Structures. Siddharth Krishna, Dennis Shasha, and Thomas Wies

Propositional Logic: Logical Agents (Part I)

Knowledge Representation and Reasoning

First Order Logic (1A) Young W. Lim 11/18/13

Life and habitability in the Solar System and beyond: the Roadmap

CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS

Propositional logic (revision) & semantic entailment. p. 1/34

First Order Logic: Syntax and Semantics

Model-Theory of Property Grammars with Features

Reasoning. Inference. Knowledge Representation 4/6/2018. User

Modal Logics. Most applications of modal logic require a refined version of basic modal logic.

Topics in Lexical-Functional Grammar. Ronald M. Kaplan and Mary Dalrymple. Xerox PARC. August 1995

Improved Algorithms for Module Extraction and Atomic Decomposition

Flow Interfaces Compositional Abstractions of Concurrent Data Structures. Siddharth Krishna, Dennis Shasha, and Thomas Wies

Semantics and Generative Grammar. Expanding Our Formalism, Part 1 1

A proof theoretical account of polarity items and monotonic inference.

A Logic Primer. Stavros Tripakis University of California, Berkeley

Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events

Expressiveness, decidability, and undecidability of Interval Temporal Logic

CS206 Lecture 21. Modal Logic. Plan for Lecture 21. Possible World Semantics

Proseminar on Semantic Theory Fall 2015 Ling 720 Adnominal Tenses Redux: Thomas (2014) Nominal Tense and Temporal Implicatures

The Formal Architecture of. Lexical-Functional Grammar. Ronald M. Kaplan and Mary Dalrymple

Discovering Classes of Strongly Equivalent Logic Programs with Negation as Failure in the Head

The exam is closed book, closed calculator, and closed notes except your one-page crib sheet.

Automata-Theoretic Model Checking of Reactive Systems

Semantics and Generative Grammar. A Little Bit on Adverbs and Events

Resilience Management Problem in ATM Systems as ashortest Path Problem

InSight Spacecraft Launch for Mission to Interior of Mars

Today s Class. Results for Exam #2 11/7/2017. Today s Class: Robotic & Human Exploration of Mars

COMP9414: Artificial Intelligence Propositional Logic: Automated Reasoning

Classical First-Order Logic

INTRODUCTION TO LOGIC. Propositional Logic. Examples of syntactic claims

How can we use information to solve a societal problem?

Knowledge-based systems

CSC242: Intro to AI. Lecture 12. Tuesday, February 26, 13

QSQL: Incorporating Logic-based Retrieval Conditions into SQL

Announcements. Today s Menu

Transcription:

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. Mars rover Curiosity will look for environments where life could have taken hold. The Mars rover Curiosity is a mobile science lab. Curiosity will look for evidence that Mars might have had conditions for supporting life. Curiosity, the Mars rover, functions as a mobile science laboratory. Curiosity successfully landed on Mars. Mars rover Curiosity successfully landed on the red planet. 3

Goal: Representation for Information Discovery Representing a Single Sentence: Captures maximum of the meaning conveyed Consolidation Across Multiple Sentences: Groups semantically-equivalent propositions Traversable Representation: Allows its end user to semantically navigate its structure 4

Talk Outline Single Sentence Representation SRL AMR Open-IE Proposition Structure Proposition Knowledge Graphs From Single to Multiple Sentence Representation 5

Representing a Single Sentence Existing Frameworks SRL AMR Open-IE 6

Semantic Role Labeling (SRL) Maps predicates and arguments in a sentence to a predefined ontology Existing ontologies: PropBank FrameNet NomBank 7

Semantic Role Labeling (SRL) Curiosity successfully landed on Mars, after entering its atmosphere. 8

Semantic Role Labeling (SRL) thing landing time manner location place entered Curiosity successfully landed on Mars, after entering its atmosphere. entity entering 9

Semantic Role Labeling (SRL) Pros Semantically expressive Cons Misses propositions Mars has an atmosphere Relies on an external lexicon such as Propbank 10

Representing a Single Sentence Existing Frameworks SRL AMR Open-IE 11

Abstract Meaning Representation (AMR) Maps a sentence onto a hierarchical structure of propositions Uses PropBank for predicates, where possible 12

Abstract Meaning Representation (AMR) Curiosity successfully landed on Mars, after entering its atmosphere. (l / land-01 :arg1 (c / Curiosity) :location (m / Mars) :manner (s / successful) :time (b / after :op1 (e / enter-01 :arg0 c :arg1 (a / atmosphere :poss m)))) 13

Abstract Meaning Representation (AMR) Pros Semantically expressive Unbounded by lexicon Cons Imposes a rooted structure Mars has an atmosphere Requires deep semantic analysis 14

Representing a Single Sentence Existing Frameworks SRL AMR Open-IE 15

Open Information Extraction (Open IE) Extracts propositions from text based on surface/syntactic patterns Represents propositions as predicate-argument tuples Each element is a natural language string 16

Open Information Extraction (Open IE) Curiosity successfully landed on Mars, after entering its atmosphere. (( Curiosity, successfully landed on, Mars ); ClausalModifier: after entering its atmosphere ) 17

Open Information Extraction (Open IE) Pros Unbounded by lexicon Uses syntactic patterns Extracts discrete propositions Information retrieval scenario Cons Misses propositions Mars has an atmosphere Does not analyse semantics 18

Proposition Knowledge Graphs Representing a Single Sentence Consolidation Across Multiple Sentences Traversing the Representation 19

Representing a Single Sentence Curiosity will look for evidence that Mars might have had conditions for supporting life. 20

Representing a Single Sentence Curiosity will look for evidence that Mars might have had conditions for supporting life. Predicate: Tense: Subject: Object: look for future Curiosity evidence Predicate: have Tense: future Modality: might Subject: Mars Object: conditions Predicate: supporting Object: life Nodes are propositions 21

Representing a Single Sentence Curiosity will look for evidence that Mars might have had conditions for supporting life. Predicate: Tense: Subject: Object: look for future Curiosity evidence Predicate: have Tense: future Modality: might Subject: Mars Object: conditions Predicate: supporting Object: life Edges are syntactic relations 22

Representing a Single Sentence Curiosity will look for evidence that Mars might have had conditions for supporting life. Predicate: Tense: Subject: Object: look for future Curiosity evidence Object Predicate: have Tense: future Modality: might Subject: Mars Object: conditions Predicate: supporting Object: life Edges are syntactic relations 23

Representing a Single Sentence Propositions can be implied from syntax Curiosity s robotic arm is used to collect samples Curiosity has a robotic arm Curiosity, the Mars rover, landed on Mars Curiosity is the Mars rover Implied propositions can also be introduced by adjectives, nominalizations, conjunctions, and more 24

Proposition Knowledge Graphs (PKG) Pros Marks implied propositions Curiosity has a robotic arm Cons Does not analyse semantics Marks discrete propositions along with inner structure Unbounded by lexicon 25

Proposition Knowledge Graphs (PKG) We have seen: PKG adopts Open-IE robustness PKG improves over its expressiveness Semantic relations are left for higher level representation Which we will see next 26

Proposition Knowledge Graphs Representing a Single Sentence Consolidation Across Multiple Sentences Traversing the Representation 27

Consolidation Proposition structures serve as backbone for higher level representation Predicate: Tense: Subject: Object: look for future Curiosity evidence Predicate: have Tense: future Modality: might Subject: Mars Object: conditions Predicate: supporting Object: life Curiosity will look for evidence that Mars might have had conditions for supporting life. 28

Consolidation Semantic edges are drawn between sentences Entailment Temporal Conditional Causality 29

Paraphrases NASA utilizes the Mars rover, Curiosity, to examine rock samples from Mars paraphrase NASA uses Curiosity rover, to take a closer look at rock samples found on Mars 30

Entailment Curiosity is a rover. entailment NASA utilizes the Mars rover, Curiosity, to examine rock samples from Mars NASA uses Curiosity rover, to take a closer look at rock samples found on Mars 31

Temporal Curiosity is a rover. entailment NASA utilizes the Mars rover, Curiosity, to examine rock samples from Mars NASA uses Curiosity rover, to take a closer look at rock samples found on Mars temporal Curiosity successfully landed on Mars. 32

Proposition Knowledge Graphs Representing a Single Sentence Consolidation Across Multiple Sentences Traversing the Representation 33

Curiosity is a rover. entailment Q: What did Curiosity do after landing? NASA utilizes the Mars rover, Curiosity, to examine rock samples from Mars NASA uses Curiosity rover, to take a closer look at rock samples found on Mars temporal Curiosity successfully landed on Mars. Mars rover Curiosity successfully landed on the red planet. 34

Curiosity is a rover. entailment Q: What did Curiosity do after landing? NASA utilizes the Mars rover, Curiosity, to examine rock samples from Mars NASA uses Curiosity rover, to take a closer look at rock samples found on Mars temporal Curiosity successfully landed on Mars. Mars rover Curiosity successfully landed on the red planet. 35

Predicate: Subject: Object: Comp: utilize NASA the Mars rover examine Predicate: Subject: Object: examine the Mars rover rock samples rock samples Modifier: from Mars NASA utilizes the Mars rover to examine rock samples from Mars 36

Predicate: Subject: Object: Comp: utilize NASA the Mars rover examine Predicate: Subject: Object: examine the Mars rover rock samples rock samples Modifier: from Mars NASA utilizes the Mars rover to examine rock samples from Mars Q: Who utilizes the Mars rover? 37

Predicate: Subject: Object: Comp: utilize NASA the Mars rover examine Predicate: Subject: Object: examine the Mars rover rock samples rock samples Modifier: from Mars NASA utilizes the Mars rover to examine rock samples from Mars Q: Who utilizes the Mars rover? Q: What did the Mars rover examine? 38

Challenges (Ongoing Work) Extract rich propositions from text Extract inter-proposition relations implied by text Discover semantic relations between sentences not implied by text Thank you for listening! 39