First Order Predicate Logic to English Translation.

Slides:



Advertisements
Similar presentations
Hooks, Transitions, Conclusions
Advertisements

Nested Quantifiers Needed to express statements with multiple variables Example 1: “x+y = y+x for all real numbers”  x  y(x+y = y+x) where the domains.
The Logic of Quantified Statements
The Foundations: Logic and Proofs
CS 285- Discrete Mathematics
F22H1 Logic and Proof Week 5 Overview of weeks 5—9 Predicates and Quantifiers.
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
Section 1.3. More Logical Equivalences Constructing New Logical Equivalences We can show that two expressions are logically equivalent by developing.
A Road Map for Your Essay
Propositions and Connectives Conditionals and Bi-conditionals Quantifiers.
Knowledge Representation Methods
2009/91 Predicates and Quantifiers (§1.3) In the sentence “x is greater than 3”: The phrase “x” denotes the subject - the object or entity that the sentence.
Fresh Fish Trader's School
1 Predicates and quantifiers Chapter 8 Formal Specification using Z.
Ch 1.3: Quantifiers Open sentences, or predicates, are sentences that contain one or more variables. They do not have a truth value until variables are.
Formal Logic Mathematical Structures for Computer Science Chapter 1 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesFormal Logic.
EE1J2 - Slide 1 EE1J2 – Discrete Maths Lecture 11 Introduction to Predicate Logic Limitations of Propositional Logic Predicates, quantifiers and propositions.
Creating a Thesis Statement Let’s Get This Paper Rolling!
1 Predicates and Quantifiers CS 202, Spring 2007 Epp, Sections 2.1 and 2.2 Aaron Bloomfield.
Predicates and Quantifiers
English  FOL: universal quantifier The structure of the universal quantifier is:  X(... ...) Key words in an English sentence that indicates an universal.
Predicates and Quantifiers
Discrete Mathematics Goals of a Discrete Mathematics Learn how to think mathematically 1. Mathematical Reasoning Foundation for discussions of methods.
The Foundations: Logic and Proofs
Logical Equivalence & Predicate Logic
MATH 213 A – Discrete Mathematics for Computer Science Dr. (Mr.) Bancroft.
Formal Logic Mathematical Structures for Computer Science Chapter Copyright © 2006 W.H. Freeman & Co.MSCS SlidesFormal Logic.
WELCOME.
Nested Quantifiers. 2 Nested Iteration Let the domain be {1, 2, …, 10}. Let P(x, y) denote x > y.  x,  y, P(x, y) means  x, (  y, P(x, y) ) Is the.
Section 1.5. Section Summary Nested Quantifiers Order of Quantifiers Translating from Nested Quantifiers into English Translating Mathematical Statements.
2.2 Statements, Connectives, and Quantifiers
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
Chapter 1, Part II: Predicate Logic With Question/Answer Animations 1.
Lecture 1.2: Equivalences, and Predicate Logic* CS 250, Discrete Structures, Fall 2011 Nitesh Saxena *Adopted from previous lectures by Cinda Heeren, Zeph.
Statements with Multiple Quantifiers. When a statement contains more than one quantifier, we imagine the actions suggested by the quantifiers as being.
Section Predicates & Quantifiers. Open Statement 2 x > 8 p < q -5 x = y + 6 Neither true nor false.
Hazırlayan DISCRETE COMPUTATIONAL STRUCTURES Propositional Logic PROF. DR. YUSUF OYSAL.
Nested Quantifiers Section 1.5.
CompSci 102 Discrete Math for Computer Science January 24, 2012 Prof. Rodger Slides modified from Rosen.
Chapter 1, Part II: Predicate Logic With Question/Answer Animations 1.
Teaching Writing.
Discrete Structures – CNS 2300
CS 285- Discrete Mathematics Lecture 4. Section 1.3 Predicate logic Predicate logic is an extension of propositional logic that permits concisely reasoning.
By Casie Hartwell. Myth Deaf people cannot talk.
I’d love to try that! Chapter 11. In today’s lesson, you will  Talk about sports and their health benefits  Practice asking and answering questions.
How To Program An Overview Or A Reframing of the Question of Programming.
Lecture 1.2: Equivalences, and Predicate Logic CS 250, Discrete Structures, Fall 2015 Nitesh Saxena Adopted from previous lectures by Cinda Heeren, Zeph.
Interests /Hobbies. I am I am not I am I like I don’t like I am I am not I am I like I don’t like good bad interested Keen good bad interested Keen at.
1 Outline Quantifiers and predicates Translation of English sentences Predicate formulas with single variable Predicate formulas involving multiple variables.
Module 6 山东省利津县 綦 昭颖 1. Unit 1 Cycling is more dangerous than swimming 2. Unit 2 English for the Olympic Games 3. Unit 3 Language in use.
Unit 2 Lesson 8 Урок в 3 классе. Sports and Hobbies swimming.
Section 1.4. Propositional Functions Propositional functions become propositions (and have truth values) when their variables are each replaced by a value.
Section 1.5. Section Summary Nested Quantifiers Order of Quantifiers Translating from Nested Quantifiers into English Translating Mathematical Statements.
Propositional Logic. Assignment Write any five rules each from two games which you like by using propositional logic notations.
Unit 8 Do you have a soccer ball? Section A Period Two.
What does being a good friend mean to me?
Basic Speaking Part 1 Independent Speaking Part 2 Integrated Speaking Ⅰ Part 3 Integrated Speaking Ⅱ.
Chapter 1, Part II: Predicate Logic With Question/Answer Animations 1.
CS-7081 Application - 1. CS-7082 Example - 2 CS-7083 Simplifying a Statement – 3.
Hooks, Transitions, Conclusions
Hooks, Transitions, Conclusions
Hooks, Transitions, Conclusions
Hooks, Transitions, Conclusions
The Foundations: Logic and Proofs
Xuan Guo Lab 3 Xuan Guo
Predicates and Quantifiers
Hooks, Transitions, Conclusions
Hooks, Transitions, Conclusions
CONTENTS     Enter text Enter text Enter text Enter text
Presentation transcript:

First Order Predicate Logic to English Translation

Overview Natural Language Generation First Order Predicate Logic to English Translation

Natural Language Generation Content Determination Document Structuring Sentence Aggregation Referring Expression Generation

Content Determination The process of deciding what to say Different communicative goals may require different information to be expressed Content required may depend on characteristics of the reader Constraints upon the output Questions of what information should be included are application dependent

Examples How Good are we? Mobile is still working STOP Don’t Let them Go QHIU0Y QHIU0Y

Document Structuring Problem of imposing ordering and structure over the information A text is not just a random collection of sentences Texts have an underlying structure in which the parts are related together Readers have an expectation of the structure of text Two related issues: –conceptual grouping –rhetorical relationships

Examples I am dead Burn the CD Ok, Lets see

First Order Predicate Logic to English Translation System Description Outline of Method Universal Quantifiers Existential Quantifiers Example Translation of Single Quantifiers Translation of Single Quantifiers using IMPLY Translation of Double Quantifiers Translation of Double Quantifiers using IMPLY CatchAll Function

Universal Quantifiers For every person x, All persons Everyone For every person x, if Every person Every person who

Existential Quantifiers There exists a person x such that There exists a person who Someone There exists a person x such that if There exists a person who Some

Example \A x [J(x) V K(x)] J(x) = x studies hard K(x) = x loves sports

Translation of Single Quantifiers J(x) = x studies hard K(x) = x loves sports \A x [J(x) V K(x)] –For every person x, x studies hard or loves sports –All persons study hard or love sports –Everyone studies hard or loves sports

Translation of Single Quantifiers J(x) = x studies hard K(x) = x loves sports \E x [J(x) ^ K(x)] –There exists a person x such that x studies hard and loves sports –There exists a person who studies hard and love sports –Someone studies hard and loves sports

Translation of Single Quantifiers J(x) = x studies hard K(x) = x loves sports \E x [J(x) V ~K(x)] –There exists a person x such that x studies hard or does not love sports –There exists a person who studies hard or does not love sports –Someone studies hard or does not love sports

Translation of Single Quantifiers using IMPLY J(x) = x studies hard K(x) = x loves sports \A x [J(x) -> K(x)] –For every person x, if x studies hard, x loves sports –Every person loves sports if he/she studies hard

Translation of Single Quantifiers using IMPLY J(x) = x studies hard K(x) = x loves sports \E x [J(x) -> K(x)] –There exists a person x such that if x studies hard, x loves sports –There exists a person who loves sports if he/she studies hard

Translation of Single Quantifiers using IMPLY J(x) = x studies hard K(x) = x loves sports \E x [J(x) -> ~K(x)] –There exists a person x such that if x studies hard, x does not love sports –There exists a person who does not love sports if he/she studies hard

Translation of Double Quantifiers P(x,y) = x runs faster than y Q(x,y) = x is older than y \A x [P(x,y) V Q(x,y)] –For every person x the following holds: x runs faster than y or x is older than y

Translation of Double Quantifiers P(x,y) = x runs faster than y Q(x,y) = x is older than y \E x [P(x,y) ^ Q(x,y)] –There exist a person x which satisfies the following: x runs faster than y and x is older than y

Translation of Double Quantifiers P(x,y) = x runs faster than y Q(x,y) = x is older than y \E x [P(x,y) V ~Q(x,y)] –There exist a person x which satisfies the following: x run faster than y or x is not older than y

Translation of Double Quantifiers using IMPLY R(x,y) = x swims faster than y J(y) = y studies hard K(x) = x loves sports \A x \E y [[K(x) ^ J(y)] -> R(x,y)] –For every person x and for some person y the following holds: If x loves sports and y studies hard then x swims faster than y

Translation of Double Quantifiers using IMPLY R(x,y) = x swims faster than y L(x) = x is a student \E x \A y [R(x,y) -> L(x)] –There exist a person x for every person y which satisfies the following: If x swims faster than y then x is a student

Translation of Double Quantifiers using IMPLY S(x,y) = x is taller than y \E y \E x ~S(y,x) –There exist a person y which satisfies the following: some person y is not taller than x

Implication P(x,y) = x runs faster than y S(x,y) = x is taller than y \A x [P(x,y) -> S(x,y)] –For every person x the following holds: x runs faster than y implies x is taller than y

Implication P(x,y) = x runs faster than y Q(x,y) = x is older than y T(x,y) = x talks louder than y \E x [P(x,y) ^ Q(x,y) -> T(x,y)] –There exist a person x which satisfies the following: x runs faster than y and x is older than y implies x talks louder than y

Implication J(x) = x studies hard N(x) = x likes baseball R(x,y) = x swims faster than y \A x [J(x) ^ N(x) -> R(x,y)] –For every person x the following holds: x study hard and x like baseball implies x does not swim faster than y

Exercise Write FOL Statements. Everyone plays football or study. X is taller than Y if he runs faster than y. X can study AI or SE only after he has studied C++. Mercedes and BMW cars are costly than Toyota.