Ordinal Common-sense Inference
|
|
- Matilda Palmer
- 5 years ago
- Views:
Transcription
1 Ordinal Common-sense Inference Sheng Zhang Rachel Rudinger Kevin Duh Benjamin Van Durme Johns Hopkins University Transactions of the Association for Computational Linguistics Vancouver, July 31st, 2017
2 New task: Ordinal Common-sense Inference New corpus: JOCI [joe-cee] 2
3 New task: Ordinal Common-sense Inference New corpus: JOCI [joe-cee] 39k examples (Context, Hypothesis, Subjective likelihood) 3
4 We use words to talk about the world. Therefore, to understand what words mean, we must have a prior explication of how we view the world. -- Hobbs (1987) 4
5 Common Sense for language Definitions Common-sense inference is Prevalent Characterize common-sense inference New task: Ordinal Common-sense Inference Common Sense from language 5
6 Common Sense for language Definitions Common-sense inference is Prevalent Characterize common-sense inference New task: Ordinal Common-sense Inference Common Sense from language 6
7 Definitions 7
8 Shared Knowledge If I know p You know p 8
9 Shared Knowledge If I know p You know p I know that you know p You know that I know p 9
10 Shared Knowledge If I know p You know p I know that you know p You know that I know p Then p is shared knowledge 10
11 Background Knowledge If p is shared across some group, then we say that p is background knowledge. 11
12 Common Sense When that group is really big then p is called: commonly known background knowledge 12
13 Common Sense When that group is really big then p is called: commonly known background knowledge or just simply: common sense 13
14 Common Sense is Prevalent 14
15 Example Rachel walked up to a house. She knocked on the door. 15
16 Example Rachel walked up to a house. She knocked on the door. What door? 16
17 Example Rachel walked up to a house. She knocked on the door. What door? Houses have doors. 17
18 Common-sense Inference 18
19 Inferences though conveyed by language draw on one s knowledge of natural objects and events that goes beyond one s knowledge of language itself. -- Clark (1975) 19
20 a program has common sense if it automatically deduces for itself a sufficiently wide class of immediate consequences of anything it is told and what it already knows -- McCarthy (1959) 20
21 Characterize Common-sense Inference 21
22 Textual Inference Recognizing Textual Entailment (RTE) 22
23 Textual Inference Recognizing Textual Entailment (RTE) (Dagan et al. 2006) 23
24 Textual Inference Recognizing Textual Entailment (RTE) Text: China launched a meteorological satellite into orbit Wednesday. (Example adapted from Clark et al., 2003) 24
25 Textual Inference Recognizing Textual Entailment (RTE) Text: China launched a meteorological satellite into orbit Wednesday. Hypothesis: China launched a satellite. China owns the satellite. The orbit is around Neptune. China canceled the satellite launch. (Example adapted from Clark et al., 2003) 25
26 Textual Inference Recognizing Textual Entailment (RTE) Text: China launched a meteorological satellite into orbit Wednesday. Hypothesis: China launched a satellite. China owns the satellite. Entailment The orbit is around Neptune. China canceled the satellite launch. Contradiction (Example adapted from Clark et al., 2003) 26
27 Textual Inference Recognizing Textual Entailment (RTE) Text: China launched a meteorological satellite into orbit Wednesday. Hypothesis: China launched a satellite. China owns the satellite. Entailment? The orbit is around Neptune.? China canceled the satellite launch. Contradiction (Example adapted from Clark et al., 2003) 27
28 Textual Inference Recognizing Textual Entailment (RTE) Text: China launched a meteorological satellite into orbit Wednesday. Hypothesis: China launched a satellite. China owns the satellite. Entailment Neutral The orbit is around Neptune. Neutral China canceled the satellite launch. Contradiction (Example adapted from Clark et al., 2003) 28
29 China launched a meteorological satellite into orbit Wednesday. China owns the satellite. The orbit is around Neptune. Neutral Neutral 29
30 Non-entailing Inference China launched a meteorological satellite into orbit Wednesday. China owns the satellite. The orbit is around Neptune. Non-entailing Inference 30
31 Non-entailing Inference Not logically entailed, but more or less likely to be true in a given context. China launched a meteorological satellite into orbit Wednesday. China owns the satellite. The orbit is around Neptune. Non-entailing Inference 31
32 Non-entailing Inference Context Entailment / Contradiction Hypothesis China launched a meteorological satellite into orbit Wednesday. China owns the satellite. The orbit is around Neptune. Non-entailing Inference 32
33 Non-entailing Inference Context Entailment / Contradiction Hypothesis China launched a meteorological satellite into orbit Wednesday. China owns the satellite. The orbit is around Neptune. Non-entailing Inference 33
34 Non-entailing Inference Context Entailment / Contradiction Hypothesis China launched a meteorological satellite into orbit Wednesday. China owns the satellite. The orbit is around Neptune. Non-entailing Inference 34
35 Non-entailing Inference Context Entailment / Contradiction Hypothesis China launched a meteorological satellite into orbit Wednesday. China owns the satellite. The orbit is around Neptune. Non-entailing Inference 35
36 Non-entailing Inference Context Subjective Likelihood Hypothesis China launched a meteorological satellite into orbit Wednesday. China owns the satellite. The orbit is around Neptune. Non-entailing Inference 36
37 Non-entailing Inference Context Subjective Likelihood Hypothesis 37
38 Non-entailing Inference Context Subjective Likelihood Hypothesis Continuous Category (Saurí and Pustejovsky, 2009) 38
39 Non-entailing Inference Context Subjective Likelihood Hypothesis Very likely Likely Plausible Technically possible Impossible Discreet values (Saurí and Pustejovsky, 2009) 39
40 Ordinal Common-sense Inference 40
41 Ordinal Common-sense Inference Context: China launched a meteorological satellite into orbit Wednesday. (Example adapted from Clark et al., 2003) 41
42 Ordinal Common-sense Inference Context: China launched a meteorological satellite into orbit Wednesday. Hypothesis: There was a rocket launch. (Example adapted from Clark et al., 2003) 42
43 Ordinal Common-sense Inference Context: China launched a meteorological satellite into orbit Wednesday. Hypothesis: There was a rocket launch. Very likely (Example adapted from Clark et al., 2003) 43
44 Ordinal Common-sense Inference Context: China launched a meteorological satellite into orbit Wednesday. Hypothesis: There was a rocket launch. China owns the satellite. Very likely Likely (Example adapted from Clark et al., 2003) 44
45 Ordinal Common-sense Inference Context: China launched a meteorological satellite into orbit Wednesday. Hypothesis: There was a rocket launch. China owns the satellite. The satellite weighs 10,000 pounds. Very likely Likely Plausbile (Example adapted from Clark et al., 2003) 45
46 Ordinal Common-sense Inference Context: China launched a meteorological satellite into orbit Wednesday. Hypothesis: There was a rocket launch. China owns the satellite. The satellite weighs 10,000 pounds. The orbit is around Neptune. Very likely Likely Plausbile Tech-possible (Example adapted from Clark et al., 2003) 46
47 Ordinal Common-sense Inference Context: China launched a meteorological satellite into orbit Wednesday. Hypothesis: There was a rocket launch. China owns the satellite. The satellite weighs 10,000 pounds. The orbit is around Neptune. The satellite was caught by a bird. Very likely Likely Plausbile Tech-possible Impossible (Example adapted from Clark et al., 2003) 47
48 Common Sense for language Definitions Common-sense inference is Prevalent Characterize common-sense inference New task: Ordinal Common-sense Inference Common Sense from language 48
49 Common Sense for language Definitions Common-sense inference is Prevalent Characterize common-sense inference New task: Ordinal Common-sense Inference Common Sense from language 49
50 Human Elicitation Text Mining Approaches 50
51 Human Elicitation 51
52 Human Elicitation Expert elicitation is expensive. FRACAS (Cooper et al., 1996) 52
53 Human Elicitation Expert elicitation is expensive. FRACAS (Cooper et al., 1996) Crowdsourced elicitation is scalable. SNLI (Bowman et al., 2015) ROCStories (Mostafazadeh et al., 2016) 53
54 Elicitation Bias Features such as <is larger than a tulip> or <moves faster than an infant>, although logically possible, do not occur in human responses people are capable of verifying that a <dog is larger than a pencil>. -- McRae et al. (2005) 54
55 Text Mining 55
56 Text Mining Reporting Bias: P(people write about X) P(X in the real world) (Van Durme 2010, Gordon and Van Durme, 2013) 56
57 Text Mining Reporting Bias: P(people write about X) P(X in the real world) Frequencies of A person may x (Van Durme 2010, Gordon and Van Durme, 2013) 57
58 Text Mining Reporting Bias: P(people write about X) P(X in the real world) Frequencies of A person may x (Van Durme 2010, Gordon and Van Durme, 2013) 58
59 No elicitation bias No reporting bias Our Approach (Data for Ordinal Common-sense Inference) (Schubert 2002, Van Durme and Schubert 2008) 59
60 Text Automated Construction KB Common-sense Inference Candidates Context Hypothesis Crowdsourced Annotation Ordinal Common-sense Inference 60
61 Text Automated Construction KB Common-sense Inference Candidates Context Hypothesis Crowdsourced Annotation Ordinal Common-sense Inference 61
62 Text Automated Construction KB Common-sense Inference Candidates Context Hypothesis Crowdsourced Annotation Ordinal Common-sense Inference 62
63 Automated Construction Text KB 63
64 Text Automated Construction Abstracted Propositions [person] borrow [book] from [library] KB 64
65 Automated Construction Text Abstracted Propositions [person] borrow [book] from [library] KB book person borrow from library person buy Propositional Templates 65
66 Automated Construction Text Abstracted Propositions [person] borrow [book] from [library] No frequency KB book person borrow from library person buy Propositional Templates 66
67 Automated Construction Text Abstracted Propositions [person] borrow [book] from [library] KB book person borrow from library person buy Propositional Templates publication.n.01 collection.n.02 magazine.n.01 book.n.01 67
68 Text Automated Construction Abstracted Propositions [person] borrow [book] from [library] KB book person borrow from library person buy Propositional Templates publication.n.01 collection.n.02 hyponym magazine.n.01 hyponym book.n.01 hyponym 68
69 Automated Construction Text book [person] borrow [book] from [library] person borrow from library person buy Propositional Templates Abstracted Propositions magazine.n.01 publication.n.01 person buy yes person subscribe to yes hyponym Decision Trees no book.n.01 no KB collection.n.02 person borrow from library yes hyponym hyponym 69
70 Automated Construction Text book [person] borrow [book] from [library] person borrow from library person buy Propositional Templates Abstracted Propositions magazine.n.01 publication.n.01 person buy yes person subscribe to yes hyponym Decision Trees no book.n.01 no KB collection.n.02 person borrow from library yes hyponym hyponym 70
71 Automated Construction Text book [person] borrow [book] from [library] person borrow from library person buy Propositional Templates Abstracted Propositions magazine.n.01 publication.n.01 person buy yes person subscribe to yes hyponym Decision Trees no book.n.01 no KB collection.n.02 person borrow from library yes hyponym hyponym 71
72 Common-sense Inference Candidates KB 72
73 Common-sense Inference Candidates Context: A child is reading books on a park bench. KB 73
74 Common-sense Inference Candidates Context: A child is reading books on a park bench. KB 74
75 Common-sense Inference Candidates Context: A child is reading books on a park bench. KB be borrowed from a library 75
76 Common-sense Inference Candidates Context: A child is reading books on a park bench. KB be borrowed from a library Hypothesis: The books are borrowed from a library. 76
77 Common-sense Inference Candidates Context: A child is reading books on a park bench. Hypothesis: The books are borrowed from a library. 77
78 Automatic Generation Common-sense Inference Candidates 78
79 Automatic Generation Common-sense Inference Candidates Text KB 79
80 Automatic Generation Common-sense Inference Candidates Text KB Common-sense Inference Candidates Context Hypothesis 80
81 Automatic Generation Common-sense Inference Candidates Text KB SNLI Common-sense Inference Candidates Context Hypothesis 81
82 Common-sense Inference Candidates Context Hypothesis 82
83 Ordinal Label Annotation Common-sense Inference Candidates Context Hypothesis Crowdsourced Annotation Ordinal Common-sense Inference 83
84 Amazon Mechanical Turk Initial Sentence: Mary saw a car. 1. The following statements is tech possible to be true during or shortly after the context of the initial sentence. The car was made of gold. This statement does not make sense. 84
85 Amazon Mechanical Turk Initial Sentence: Mary saw a car. 1. The following statements is tech possible to be true during or shortly after the context of the initial sentence. The car was made of gold. This statement does not make sense. Context 85
86 Amazon Mechanical Turk Initial Sentence: Mary saw a car. 1. The following statements is tech possible to be true during or shortly after the context of the initial sentence. The car was made of gold. This statement does not make sense. Hypothesis 86
87 Amazon Mechanical Turk Initial Sentence: Mary saw a car. 1. The following statements is tech possible to be true during or shortly after the context of the initial sentence. The car was made of gold. This statement does not make sense. 87
88 Amazon Mechanical Turk Initial Sentence: Mary saw a car. 1. The following statements is tech possible to be true during or shortly after the context of the initial sentence. The car was made of gold. This statement does not make sense. 88
89 Common-sense Inference Candidates Context Hypothesis Crowdsourced Annotation Ordinal Common-sense Inference JOCI corpus (JHU Ordinal Common-sense Inference) 89
90 JOCI 39k (Context, Hypothesis, Label) 90
91 JOCI 39k (Context, Hypothesis, Label) Context Hypothesis Label Major SNLI/ROCStories Our Approach 91
92 JOCI 39k (Context, Hypothesis, Label) Context Hypothesis Label Major SNLI/ROCStories Our Approach Comparing SNLI ROCStories COPA SNLI ROCStories COPA 92
93 JOCI 93
94 JOCI Scalable & Reliable 94
95 Scalable & Reliable Average annotation time per example 20.71s Average cost per example 1.99 Average Cohen s κ
96 Scalable & Reliable Average annotation time per example 20.71s Average cost per example 1.99 Average Cohen s κ
97 Scalable & Reliable Average annotation time per example 20.71s Average cost per example 1.99 Average Cohen s κ
98 Scalable & Reliable Average annotation time per example 20.71s Average cost per example 1.99 Average Cohen s κ
99 JOCI Scalable & Reliable 99
100 JOCI Scalable & Reliable Capable of evaluating/training inference systems 100
101 JOCI Scalable & Reliable Capable of evaluating/training inference systems Label Distribution 101
102 Label Distribution is Balanced JOCI Likely Plausible Very-likely Technically possible Impossible 102
103 Label Distribution SNLI 103
104 Label Distribution SNLI Very-likely Entailment 104
105 Label Distribution SNLI Very-likely Plausible Entailment Neutral 105
106 Label Distribution SNLI Very-likely Plausible Techpossible Impossible Entailment Neutral Contradiction 106
107 Label Distribution ROCStories Impossible Technically possible Very-likely Likely Plausible 107
108 Our Goal for JOCI Scalable & Reliable Capable of evaluating/training inference systems Label Distribution 108
109 Our Goal for JOCI Scalable & Reliable Capable of evaluating/training inference systems Label Distribution Baselines 109
110 Our Goal for JOCI Scalable & Reliable Capable of evaluating/training inference systems Label Distribution Baselines Baseline(JOCI) > Baseline(SNLI/ROCStories) 110
111 Common Sense for language New task: Ordinal Common-sense Inference Common Sense from language Mining Common-sense is Challenging - Human Elicitation (Elicitation bias) - Text Mining (Reporting bias) Our Approach Text Mining + Crowdsourced Annotation New corpus: JOCI 111
112 JOCI Sheng Zhang Rachel Rudinger Kevin Duh Benjamin Van Durme 112
113 JOCI Thank you! Sheng Zhang Rachel Rudinger Kevin Duh Benjamin Van Durme 113
Logical Agents (AIMA - Chapter 7)
Logical Agents (AIMA - Chapter 7) CIS 391 - Intro to AI 1 Outline 1. Wumpus world 2. Logic-based agents 3. Propositional logic Syntax, semantics, inference, validity, equivalence and satifiability Next
More information11/18/2015. Outline. Logical Agents. The Wumpus World. 1. Automating Hunt the Wumpus : A different kind of problem
Outline Logical Agents (AIMA - Chapter 7) 1. Wumpus world 2. Logic-based agents 3. Propositional logic Syntax, semantics, inference, validity, equivalence and satifiability Next Time: Automated Propositional
More informationRosa Parks Middle School. Summer Math Packet C2.0 Algebra Student Name: Teacher Name: Date:
Rosa Parks Middle School Summer Math Packet C2.0 Algebra Student Name: Teacher Name: Date: Dear Student and Parent, The purpose of this packet is to provide a review of objectives that were taught the
More informationData and Probability
CHAPTER Data and Probability Worksheet 1 Average Find the mean or average of each set of data. The weights of four objects are shown below. 4 lb 14 lb 24 lb 34 lb Mean or average Total number or amount
More informationARGUMENTATION MINING
ARGUMENTATION MINING Marie-Francine Moens joint work with Raquel Mochales Palau and Parisa Kordjamshidi Language Intelligence and Information Retrieval Department of Computer Science KU Leuven, Belgium
More informationRoberto Clemente Middle School
Roberto Clemente Middle School Summer Math Packet for Students Entering Algebra I Name: 1. On the grid provided, draw a right triangle with whole number side lengths and a hypotenuse of 10 units. The
More informationHow to create a survey with SurveyMonkey
How to create a survey with SurveyMonkey Click the green +Create Survey button from the My Surveys page or from the top-right corner from wherever you are on the Survey Monkey website. You will see 3 options:
More informationLecture 4. Technology and History
Lecture 4 Technology and History But First - Case Analysis Guidelines We look for each answer to be well-supported by reasoning and analysis. When you answer each question, think of the "why?" Why did
More informationSemi-automated scores of urbanization
System Requirements Supported Operating Systems: Windows 10, Windows 8.x, Windows 7 Service Pack 1, Windows Vista Service Pack 2 Microsoft.NET Framework 4.5 (available for download: http://www.microsoft.com/enus/download/details.aspx?id=30653)
More informationRaindrops Keep Falling on my Leaves
Student Name Grade Teacher s Name Room # Science Fair Project Raindrops Keep Falling on my Leaves Question: How does acid rain effect plant growth? Table of Contents: Section Page Research ----------------------------------------------
More informationCS 354R: Computer Game Technology
CS 354R: Computer Game Technology Introduction to Game AI Fall 2018 What does the A stand for? 2 What is AI? AI is the control of every non-human entity in a game The other cars in a car game The opponents
More informationBELLEVILLE PUBLIC SCHOOLS SUMMER MATH PACKET STUDENTS ENTERING 3 rd GRADE REQUIRED MATERIALS: Pencil Centimeter/Inch Ruler Scrap Paper
BELLEVILLE PUBLIC SCHOOLS SUMMER MATH PACKET STUDENTS ENTERING 3 rd GRADE 2016-2017 REQUIRED MATERIALS: Pencil Centimeter/Inch Ruler Scrap Paper SUMMER MATH PACKET 2016-2017 NAME: SCHOOL: 1.Carol is reading
More information5.4 Imperfect, Real-Time Decisions
5.4 Imperfect, Real-Time Decisions Searching through the whole (pruned) game tree is too inefficient for any realistic game Moves must be made in a reasonable amount of time One has to cut off the generation
More informationWorksheet #33: Want it All vs. Need it All
Worksheet #33: Want it All vs. Need it All When it comes to money, people usually spend money on what they need or want. What's the difference between a need and a want? I think a need is. I think a want
More informationNeighbors help one another. Lolo Zhang UXD SF59
Neighbors help one another. Lolo Zhang UXD SF59 Problem statement Urban condo residents need a way to get connected with their Audience Residents of condominiums and cooperatives in an urban environment.
More informationConnectives quiz. Level A. 1. Which is the connective (joining word)? A) ran B) but C) home. 2. Which is the connective (joining word)?
Level A 1. Which is the connective (joining word)? A) ran B) but C) home 2. Which is the connective (joining word)? A) away B) chased C) because 3. Which is the connective (joining word)? A) cat B) the
More informationStory Problems: Adding Up, Taking Away
Chapter 8 Lesson10-1 Name Date/Time Story Problems: Adding Up, Taking Away NCTM Standards 1, 2, 7, 8, 9, 10 Common Core State Standards 2.OA 1, 2.NBT 5, 7 Solve the problem. Complete the number sentence.
More informationFSA 7 th Grade Math. MAFS.7.SP.1.1 & MAFS.7.SP.1.2 Level 2. MAFS.7.SP.1.1 & MAFS.7.SP.1.2 Level 2. MAFS.7.SP.1.1 & MAFS.7.SP.1.
FSA 7 th Grade Math Statistics and Probability Two students are taking surveys to find out if people will vote to fund the building of a new city park on election day. Levonia asks 20 parents of her friends.
More information1st Grade Length
Slide 1 / 157 Slide 2 / 157 1st Grade Length 2015-11-30 www.njctl.org Slide 3 / 157 Table of Contents Comparing Two Objects Comparing Three Objects Ordering Three Objects Using Blocks to Measure Lab: Comparison
More information1st Grade. Slide 1 / 157. Slide 2 / 157. Slide 3 / 157. Length
Slide 1 / 157 Slide 2 / 157 1st Grade Length 2015-11-30 www.njctl.org Table of Contents Comparing Two Objects Comparing Three Objects Ordering Three Objects Using Blocks to Measure Lab: Comparison Game
More informationNCEA Level 3 Geography (91429) 2013 page 1 of 7
NCEA Level 3 Geography (91429) 2013 page 1 of 7 Assessment Schedule 2013 Geography: Demonstrate understanding of a given environment(s) through selection and application of geographic concepts and skills
More informationBE SURE TO COMPLETE HYPOTHESIS STATEMENTS FOR EACH STAGE. ( ) DO NOT USE THE TEST BUTTON IN THIS ACTIVITY UNTIL THE END!
Lazarus: Stages 3 & 4 In the world that we live in, we are a subject to the laws of physics. The law of gravity brings objects down to earth. Actions have equal and opposite reactions. Some objects have
More informationCrowdsourcing and Its Applications on Scientific Research. Sheng Wei (Kuan Ta) Chen Institute of Information Science, Academia Sinica
Crowdsourcing and Its Applications on Scientific Research Sheng Wei (Kuan Ta) Chen Institute of Information Science, Academia Sinica PNC 2009 Crowdsourcing = Crowd + Outsourcing soliciting solutions via
More informationOALCF Task Cover Sheet. Apprenticeship Secondary School Post Secondary Independence
Task Title: Leading a Game of Cards Go Fish Learner Name: OALCF Task Cover Sheet Date Started: Date Completed: Successful Completion: Yes No Goal Path: Employment Apprenticeship Secondary School Post Secondary
More informationFIRST GRADE FIRST GRADE HIGH FREQUENCY WORDS FIRST 100 HIGH FREQUENCY WORDS FIRST 100
HIGH FREQUENCY WORDS FIRST 100 about Preprimer, Primer or 1 st Grade lists 1 st 100 of again 100 HF words for Grade 1 all am an are as away be been before big black blue boy brown but by came cat come
More informationArtificial Intelligence
What is AI? Artificial Intelligence How does the human brain work? How do we emulate the human brain? Rob Kremer Department of Computer Science University of Calgary 1 What is How do we create Who cares?
More informationSection Marks Agents / 8. Search / 10. Games / 13. Logic / 15. Total / 46
Name: CS 331 Midterm Spring 2017 You have 50 minutes to complete this midterm. You are only allowed to use your textbook, your notes, your assignments and solutions to those assignments during this midterm.
More informationREFRESHER MATH PROBLEM SET A2 (Adding and Subtracting Fractions)
Ground Rules for Problem Set Completion 1. Present your work in a neat and organized manner. Use complete sentences whenever you are asked to make a statement. 2. SHOW YOUR WORK: Credit is awarded for
More information3rd Grade Math Review Quizzes #16-20
3rd Grade Math Review Quizzes #16-20 Name Date 3 rd Grade Review Quiz #16 1. Use the following table to find how many fingers are on 9 people? Number of People Number of Fingers 1 10 3 30 6 60 9 a) 70
More informationName: (This shows my own thinking)
SUPERSTARS III Mars, XII Name: (This shows my own thinking) H 1. Mrs. Boyd baked 22 rolls. She baked 12 more muffins than rolls. How many muffins and rolls did she bake together? Answer: muffins and rolls
More informationthe nearest inch? 8 inches 4 inches 6 inches 2 inches B B B 4. There are 725 students in the trains, and 6 yellow trains. have in all?
Choose the correct answer. 1. Which shows a related addition fact? 15 8 = 7 15 + 7 = 22 8 7 = 1 7 + 8 = 15 23 8 = 15 3. Gina has green trains, 2 red trains, and 6 yellow trains. How many trains does Gina
More information22c181: Formal Methods in Software Engineering. The University of Iowa Spring Propositional Logic
22c181: Formal Methods in Software Engineering The University of Iowa Spring 2010 Propositional Logic Copyright 2010 Cesare Tinelli. These notes are copyrighted materials and may not be used in other course
More informationSTAUNING Trade-In Internet Sales Process with /Voic Templates to Non-Responsive Prospects 2018 Edition
STAUNING Trade-In Internet Sales Process with Email/Voicemail Templates to Non-Responsive Prospects 2018 Edition Contents 60-DAY INTERNET SALES PROCESS TRADE-IN LEADS... 2 DAY 1 AUTO-RESPONSE (TRADE APPRAISAL)...
More information5.4 Imperfect, Real-Time Decisions
116 5.4 Imperfect, Real-Time Decisions Searching through the whole (pruned) game tree is too inefficient for any realistic game Moves must be made in a reasonable amount of time One has to cut off the
More informationFull file at
Chapter 2 Data Collection 2.1 Observation single data point. Variable characteristic about an individual. 2.2 Answers will vary. 2.3 a. categorical b. categorical c. discrete numerical d. continuous numerical
More informationNew Vocabulary List BLM 1
New Vocabulary List BLM 1 Record new and interesting vocabulary words into the table below. Challenge yourself to use these new words in your own writing. Word Found in Chapter? Definition/Synonym/Example
More informationCountdown to your final Maths exam Part 6 (2017)
Countdown to your final Maths exam Part 6 (2017) Marks Actual Q1. Pie charts 4 Q2. Pie charts 4 Q3. Pie charts 4 Q4. Four operations 4 Q5. Percentages/Order of operations/roots 3 Q6. Pie charts 4 Q7. Pie
More informationOne more time. The people. Look for some people. When would you go? Write it down. No way. By the water. All day long. A number of people
List 1 (First 100) The people Look for some people. Write it down. By the water So there you are. Who will make it? You and I A long time What will they do? He called me. Have you seen it? We had their
More informationResearch on the Effective Detection Methods of Large Scale IC Fault Signals. Junhong LI
International Conference on Computational Science and Engineering (ICCSE 2015) Research on the Effective Detection Methods of Large Scale IC Fault Signals Junhong LI Engineering Technology and Information
More informationBelow are four problems which are comparable in organization, complexity and length to the four problems on the upcoming Ling 100 final.
Ling 100 Sample Final Below are four problems which are comparable in organization, complexity and length to the four problems on the upcoming Ling 100 final. Problem 1 Problem 3.4 (Maltese) from the Language
More informationPrinciples of Computer Game Design and Implementation. Lecture 20
Principles of Computer Game Design and Implementation Lecture 20 utline for today Sense-Think-Act Cycle: Thinking Acting 2 Agents and Virtual Player Agents, no virtual player Shooters, racing, Virtual
More information17 9 = = = = = = = = = 12. Choose the correct answer.
Page 1 Choose the correct answer. 1. Which shows a related addition fact? 17 9 = 8 17 + 9 = 26 9 8 = 1 8 + 9 = 17 25 8 = 17 2. There are 7 big dogs and 6 small dogs. Which number sentence shows how many
More informationCheetah Math Superstars
PTA SPONSORED Cheetah Math Superstars PARENTS: You may read the problem to your child and demonstrate a similar problem, but he/she should work the problems. Please encourage independent thinking and problem
More informationColors to Dye For Question:
Student Name Grade Teacher s Name Room # Science Fair Project Colors to Dye For Question: What flavor of powdered drink contains the most colors? Table of Contents: Section Page Research ----------------------------------------------
More informationPaper 2. Mathematics test. Calculator allowed. First name. Last name. School. Pupil number KEY STAGE TIER
Ma KEY STAGE 3 TIER 4 6 2002 Mathematics test Paper 2 Calculator allowed Please read this page, but do not open your booklet until your teacher tells you to start. Write your name and the name of your
More informationBUILDING EFFECTIVE STRATEGIES FOR TALKING TO YOUR CHILDREN ABOUT ALCOHOL AND DRIVING
BUILDING EFFECTIVE STRATEGIES FOR TALKING TO YOUR CHILDREN ABOUT ALCOHOL AND DRIVING SPEAK YOUR MIND Parents have an important role to play in preparing their children to make responsible decisions when
More informationLatest trends in sentiment analysis - A survey
Latest trends in sentiment analysis - A survey Anju Rose G Punneliparambil PG Scholar Department of Computer Science & Engineering Govt. Engineering College, Thrissur, India anjurose.ar@gmail.com Abstract
More informationThe Cloud Artist. As teacher/librarian friends use these activities in the classroom, they may be updated/tweaked to make them better.
Halito! There are around thirty pages of follow-up activities to do after a reading of this book. You can mix or match one page activities (front and back) or make a booklet of various activities. Hopefully
More informationLegal Notice: The Author and Publisher assume no responsibility or liability whatsoever on the behalf of any Purchaser or Reader of these materials.
BACK DOOR SUPPLIERS Legal Notice: While all attempts have been made to verify information provided in this publication,neither the Author nor the Publisher assumes any responsibility for errors, omissions,
More informationMidterm Examination. CSCI 561: Artificial Intelligence
Midterm Examination CSCI 561: Artificial Intelligence October 10, 2002 Instructions: 1. Date: 10/10/2002 from 11:00am 12:20 pm 2. Maximum credits/points for this midterm: 100 points (corresponding to 35%
More informationName Numeration, Patterns, and Relationships
Numeration, Patterns, and Relationships 1 In standard form 5,000,000 20,000 400 8 is equal to which number? A 5,200,408 B 5,020,408 C 520,408 D 502,408 2 What is the value of 6 in 368,5,427? A 60,000 B
More informationCS 4667 Software Engineering Test 1 5 Oct 2007 Page 1 NAME:
CS 4667 Software Engineering Test 1 5 Oct 2007 Page 1 NAME: CS 4667 Software Engineering Test 1 5 Oct 2007 Page 2 1. (2 points) The text describes two aspects of the problem of building and delivering
More informationCandidate Name Centre Number Candidate Number. UNIT 3: (Double Award) PHYSICS 1 HIGHER TIER SAMPLE ASSESSMENT MATERIALS
GCSE SCIENCE (Double Award) Sample Assessment Materials 141 Candidate Name Centre Number Candidate Number 0 GCSE SCIENCE (Double Award) UNIT 3: (Double Award) PHYSICS 1 HIGHER TIER SAMPLE ASSESSMENT MATERIALS
More informationCurso de sensibilización a la PAEP (Prueba de Admisión a Estudios de Posgrado)
Past Tense By Gabriela Ulloa Use The past tense is used to express actions that were finished at a specific moment in the past. Example: John checked out a book from the library last week. Leslie worked
More informationCLASS NOTES. A mathematical proof is an argument which convinces other people that something is true.
Propositional Statements A mathematical proof is an argument which convinces other people that something is true. The implication If p then q written as p q means that if p is true, then q must also be
More informationAmerican Mathematics - 3rd Grade Homework Packet
American Mathematics - 3rd Grade Homework Packet The schedule for the homework for the next two weeks is the following: Monday 8/28 2 Pages Tuesday 8/29 2 Pages Wednesday 8/30 2 Pages Thursday 8/31 2 Pages
More informationCS 202, section 2 Final Exam 13 December Pledge: Signature:
CS 22, section 2 Final Exam 3 December 24 Name: KEY E-mail ID: @virginia.edu Pledge: Signature: There are 8 minutes (3 hours) for this exam and 8 points on the test; don t spend too long on any one question!
More informationAssess how research on the construction of cognitive functions in robotic systems is undertaken in Japan, China, and Korea
Sponsor: Assess how research on the construction of cognitive functions in robotic systems is undertaken in Japan, China, and Korea Understand the relationship between robotics and the human-centered sciences
More informationFirst Name: Last Name: Select the one best answer for each question. DO NOT use a calculator in completing this packet.
5 Entering 5 th Grade Summer Math Packet First Name: Last Name: 5 th Grade Teacher: I have checked the work completed: Parent Signature Select the one best answer for each question. DO NOT use a calculator
More informationPatterns and Relationships
Student ook Patterns and Relationships Name Series Patterns and Relationships Contents Topic Patterns and rules (pp. 6) l continuing patterns l repeating patterns l translating patterns l body patterns
More informationA GUIDE TO BETTER DRAWING
10 Drawing Truths A GUIDE TO BETTER DRAWING Number 1 THERE IS NO SUCH THING AS CHEATING FOR CENTURIES, TRACING ALL THE WAY BACK TO THE RENAISSANCE, ARTISTS HAVE FOUND TRICKS AND SHORTCUTS TO HELP THEIR
More informationUnit 02 PC Form A. 1. Use pencil and paper to answer the question. Write the digit in each place of the number below. 2,921,365,254,860.
1. Use pencil and paper to answer the question. Write the digit in each place of the number below. 2,921,365,254,860.1922 a. ten billions b. ten millions c. millions d. hundred millions e. hundreds f.
More informationCOST-BASED LAUNCH OPPORTUNITY SELECTION APPLIED TO RENDEZVOUS WITH APOPHIS
COST-BASED LAUNCH OPPORTUNITY SELECTION APPLIED TO RENDEZVOUS WITH 99942 APOPHIS INTRODUCTION Jonathan S. Townley *, Jonathan L. Sharma *, and Jarret M. Lafleur * Georgia Institute of Technology, Atlanta,
More informationSimple Large-scale Relation Extraction from Unstructured Text
Simple Large-scale Relation Extraction from Unstructured Text Christos Christodoulopoulos and Arpit Mittal Amazon Research Cambridge Alexa Question Answering Alexa, what books did Carrie Fisher write?
More informationALLISON & GEORGE BRING ME A TACO. Mary Engquist ALLISON AND GEORGE Bring Me a Taco Mary Engquist
& BRING ME A TACO Mary Engquist 2013 AND Bring Me a Taco Mary Engquist Cast: Allison-George-Billy and Taco man Scene--Set in old living room I cannot believe that I sent you out to get me a Taco and you
More informationCOMP219: Artificial Intelligence. Lecture 17: Semantic Networks
COMP219: Artificial Intelligence Lecture 17: Semantic Networks 1 Overview Last time Rules as a KR scheme; forward vs backward chaining Today Another approach to knowledge representation Structured objects:
More informationBUSINESS PLANNING MADE EASY
BUSINESS PLANNING MADE EASY 3 Easy Steps: WHERE ARE YOU TODAY? WHERE DO YOU WANT TO BE? WHAT CAN YOU DO TO GET THERE? Created by Linda Joseph for Best of Nancy Members Publisher s Disclaimer No part of
More informationTech Tips from Mr G Introducing Libby - The New Face of OverDrive
Tech Tips from Mr G Introducing Libby - The New Face of OverDrive OverDrive has introduced a new app called Libby, that s designed to make your experience borrowing ebooks and audiobooks through them much
More informationName. Numeration, Patterns, and Relationships. Read each question. Then mark your answer on the sheet. 1. What is the value of the 2 in 258,364?
Numeration, Patterns, and Relationships 1. What is the value of the 2 in 258,364? A 20 B 200 C 2,000 D 200,000 2. In standard form 5,000,000 20,000 400 8 is equal to which number? A 5,200,408 B 5,020,408
More informationHigh-Interest/Low-Readability Nonfiction. Amazing Kids. by Kathryn Wheeler. Carson-Dellosa Publishing Company, Inc. Greensboro, North Carolina
High-Interest/Low-Readability Nonfiction Amazing Kids by Kathryn Wheeler Carson-Dellosa Publishing Company, Inc. Greensboro, North Carolina Credits Editor: Ashley Anderson Layout Design: Van Harris Inside
More informationSelf Publishing Your Book. Without the Big Bucks $$$
Self Publishing Your Book Without the Big Bucks $$$ Revised 3/31/2012 Self Publishing Never been easier Companies abound (The Fine Print of Self-Publishing lists 45 companies) They all offer packages to
More informationMidnight on the Moon Novel Study
Midnight on the Moon Novel Study By Mary Pope Osborne Listening and Responding Name: Chapter 1: By Moonlight Moonlight through the window. It shone on the that shimmered on the wooden floor. It shone on
More informationResearch of key technical issues based on computer forensic legal expert system
International Symposium on Computers & Informatics (ISCI 2015) Research of key technical issues based on computer forensic legal expert system Li Song 1, a 1 Liaoning province,jinzhou city, Taihe district,keji
More informationThe power behind an intelligent system is knowledge.
Induction systems 1 The power behind an intelligent system is knowledge. We can trace the system success or failure to the quality of its knowledge. Difficult task: 1. Extracting the knowledge. 2. Encoding
More informationARTS AND MEDIA. Teacher s notes 1 BE AN ART CRITIC BE AN ARTIST
Level: Elementary Intermediate / A1 B1 Age: Teenagers Time: This lesson can be divided up in various ways to suit the time you have with your students. Below are three time options which you can choose
More informationFirst Practice Test 2 Levels 3-5 Calculator allowed
Mathematics First Practice Test 2 Levels 3-5 Calculator allowed First name Last name School Remember The test is 1 hour long. You may use a calculator for any question in this test. You will need: pen,
More informationNatural Language for Visual Reasoning
Natural Language for Visual Reasoning Alane Suhr, Mike Lewis, James Yeh, Yoav Artzi lic.nlp.cornell.edu/nlvr/ Language and Vision A small herd of cows in a large grassy field. (Chen et al 2015) What is
More informationMathematics 1 Homework 2
Mathematics 1 Homework 2 Exercise 1. EASY HARD INTERESTING BORING Compare the measurements ( > < = ). 3 in 9 in 5 in + 2 in 2 in + 5 in 5 in 2 in 6 in 3 in 6 in + 1 in 6 in 7 in 7 in 4 in 5 in 4 in Exercise
More informationThe Test and Launch Control Technology for Launch Vehicles
The Test and Launch Control Technology for Launch Vehicles Zhengyu Song The Test and Launch Control Technology for Launch Vehicles 123 Zhengyu Song China Academy of Launch Vehicle Technology Beijing China
More informationThe Color of Semantic Opposition in WORDNET
The Color of Semantic Opposition in WORDNET Sandiway Fong NEC Research Institute Princeton NJ sandiway@research.nj.nec.com Page 1: Third Internaional Conference on Computational Semantics (ICoS-3), 18-19th
More informationINFORMATION FOR CANDIDATES
Physics Exam Y10 Electricity Test Equipment You will need: A black or blue pen A calculator Time allowed 60 minutes Full Name Tutor Group Physics Teacher INFORMATION FOR CANDIDATES This test consists of
More information2. What is Text Mining? There is no single definition of text mining. In general, text mining is a subdomain of data mining that primarily deals with
1. Title Slide 1 2. What is Text Mining? There is no single definition of text mining. In general, text mining is a subdomain of data mining that primarily deals with textual documents rather than discrete
More informationGalaxy of Problems #3
Galaxy of Problems #3 Build an arrow road from 53 to 19 using 10 and 1 arrows. Fill in the box for the gray arrow. Í Í fi Í Write a calculation shown by the gray arrow. 2 Color one-third of each shape.
More informationTeach Me How! Take your blog from boring to badass. This guy is really, REALLY excited about his blog.
Teach Me How! Take your blog from boring to badass. Melissa Case, Corporate Blog Manager, Citrix - October 4, 2017 This guy is really, REALLY excited about his blog. 1 Blogging is Not Dead In 2014, we
More informationA&S Documentation: What Do They Want? By Mistress Ealasaid nic Suibhne
A&S Documentation: What Do They Want? By Mistress Ealasaid nic Suibhne There have been many a discussion about what makes good documentation and whether creativity is better/worse than authenticity. I
More informationBOOSTING AFFILIATE PROFITS
BOOSTING AFFILIATE PROFITS HOW TO MAKE MORE MONEY Jonathan Leger COURTESY OF LEARNFROMJON.COM - PRIVATE BUSINESS COACHING FROM A MULTI-MILLION DOLLAR INTERNET MARKETER + ACCESS TO PREMIUM AND EXCLUSIVE
More informationNi Hao Example Lesson Ni Hao 1, lesson 5
Ni Hao Example Lesson Ni Hao, lesson 5 Only pages,, 6, 7, 9,, are presented Copyright 99-00, Shumang Fredlein and Paul Fredlein All rights reserved. No part of this publication may be reproduced in any
More informationThinking Kids. First Grade. NCTM Strands Covered: Number and Operations. Algebra. Geometry. Measurement. Data Analysis and Probability.
Thinking Kids First Grade NCTM Strands Covered: Number and Operations Algebra Geometry Measurement Data Analysis and Probability Pretest How to Use This Assessment This Pretest introduces your students
More informationScientists warn of space junk danger
www.breaking News English.com Ready-to-use ESL/EFL Lessons by Sean Banville 1,000 IDEAS & ACTIVITIES FOR LANGUAGE TEACHERS The Breaking News English.com Resource Book http://www.breakingnewsenglish.com/book.html
More informationEssentials. Week by. Week
Week by Week MATHEMATICS Essentials Grade 5 WEEK Math Trivia The ancient Greeks believed that if you studied numbers you had to be a peson who did not need to work because you would probably be a person
More informationGladiator Paragraphs. A system to simplify wri5ng a be8er paragraph.
Gladiator Paragraphs A system to simplify wri5ng a be8er paragraph. Quickwrite Somewhere on your sheet of paper, explain how you would respond to the following situa5on: You have been informed with 24
More informationFull Name Street Address or P.O. Box City, State Zip Phone Number Address Website
Full Name Street Address or P.O. Box City, State Zip Phone Number Email Address Website TITLE: SUBTITLE Descriptive Third Section of Title (if applicable) By Author Full Name A Nonfiction Book Proposal
More informationBillionaires want to help Trump send rockets to the moon again
Billionaires want to help Trump send rockets to the moon again By Agence France-Presse, adapted by Newsela staff on 03.15.17 Word Count 917 Apollo 17 mission commander Eugene A. Cernan makes a short checkout
More informationI ve also written an entire book that covers best practices for creating a book that sells.
T H E U LT I M AT E A M A Z O N S E L F - P U B L I S H I N G C H E C K L I S T I know how daunting the task of self-publishing your own book can be, especially if you are new to the business. Not only
More informationPOLICY RESEARCH, ACTION RESEARCH, AND INTERPRETIVE RESEARCH IN INFORMATION SYSTEMS AREAS
Faculty of Computer Science - University of Indonesia POLICY RESEARCH, ACTION RESEARCH, AND INTERPRETIVE RESEARCH IN INFORMATION SYSTEMS AREAS RESEARCH METHODOLOGY CLASS Lecturer : RIRI SATRIA Date : October
More informationExplore PT - Sample C - score: 8/8
Explore PT - Sample C - score: 8/8 Total score Row 1 Row 2 Row 3 Row 4 Row 5 Row 6 Row 7 Row 8 This document combines student sample, scoring guidelines and scoring Sample: D 1 1 1 1 1 1 1 1 commentary
More informationFederation of Genealogical Societies. GPS Locating Cemeteries Making Cemeteries Easy to Find. by Duane V. Kniebes.
Society Strategies Federation of Genealogical Societies P.O. Box 200940 Austin TX 78720-0940 Series Set I Number 27 August 2006 Set I Strategies for Societies GPS Locating Cemeteries Making Cemeteries
More informationMath Module Courses Orientation
Math Module Courses Orientation Independent Study Mathematics Opportunities Please pick up a red folder and make sure you get a course code handout, a yellow module log, and a blank contract. Contacting
More informationLine Master 1 (Assessment Master) Add and subtract to 20 Not observed Sometimes Consistently Models and describes addition situations
Buy 1 Get 1 Line Master 1 (Assessment Master) Name: Add and subtract to 20 Not observed Sometimes Consistently Models and describes addition situations Uses + and = appropriately Models and describes subtraction
More informationGREATER CLARK COUNTY SCHOOLS PACING GUIDE. Algebra I MATHEMATICS G R E A T E R C L A R K C O U N T Y S C H O O L S
GREATER CLARK COUNTY SCHOOLS PACING GUIDE Algebra I MATHEMATICS 2014-2015 G R E A T E R C L A R K C O U N T Y S C H O O L S ANNUAL PACING GUIDE Quarter/Learning Check Days (Approx) Q1/LC1 11 Concept/Skill
More information