Ernest Davis Automating Commonsense Reasoning for Science

Slides:



Advertisements
Similar presentations
Date: August 28, 2014 Page: Table of Contents p.1 W.O.D: Last 5 pages Warm-ups: Front Cover W.O.D: Inference – The act of reasoning and drawing conclusions.
Advertisements

what is science OBSERVATION
Science is a way of knowing.
CSE 202 – Formal Languages and Automata Theory 1 REGULAR LANGUAGE.
Nathan Brunelle Department of Computer Science University of Virginia Theory of Computation CS3102 – Spring 2014 A tale.
Commonsense Reasoning and Science. Understanding variants What would happen if: There were no test tubes? The test tubes were right side up? The test.
1. Prediction: to tell something before it happens 2. Hypothesis: a possible answer to a question based on gathered information.
{ Logic in Artificial Intelligence By Jeremy Wright Mathematical Logic April 10 th, 2012.
Chapter 2 The Science of Biology
Scientific Method Identify a problem What do you want to know? What question do you want to answer? What problem do you want to solve? An OBSERVATION.
SCIENTIFIC INQUIRY Cornell Notes.
WORD WALL Sections 1 – 3 Key Terms & Info. 1. WORD WALL Thinking Like a Scientist!!! Section 1 Pages
The nature of science. Scientific knowledge is the product of observation and inference. Observations and Inferences.
 Science starts with a question  Science a specific, methodical process of answering a question  Science can only answer questions about things that.
What is science? an introduction to life science.
Science Process Skills. Observe- using our senses to find out about objects, events, or living things. Classify- arranging or sorting objects, events,
Steps of the Scientific Method. PROBLEM The question you are trying to solve Always written in a question format Example: What happens when you mix liquid.
Chapter 1 Using Geogebra. Doing Mathematics Geogebra  Dynamic  Easier to see what happens to geometric objects Make observations Formulate conjectures.
The Nature Of Science Schoonover. Gather more information to see if your answer is correct. If possible, perform experiments. Data are observations and.
Political Science Scope and Methods Models and Theories in Political Science.
The Nature of Science To be scientifically literate, science students should have deeper understandings of science that studying the Nature of Science.
SCIENCE A system of knowledge about the natural world and the methods used to find that knowledge.
 Science has a standard way to test an idea  Cause and effect  What does that means?  That everything that happens in this world is because of the.
What is Science? Science – A way of learning about the natural world. Uses observation and logical reasoning. Scientific Inquiry – Refers to the various.
Introduction to Artificial Intelligence CS 438 Spring 2008 Today –AIMA, Chapter 1 –Defining AI Next Tuesday –Intelligent Agents –AIMA, Chapter 2 –HW: Problem.
The Language of Science.  Hypothesis: a prediction that can be tested; an educated guess base on observations and prior knowledge  Theory: a well tested.
What is Science? Goal of Science  Goal of Science  –  to investigate and understand the natural world –  to explain events in the natural world – 
Unit 1: Tools of the Trade. I. What is Science? A. What is it to you? What is it to me? What is it to the text book? A. What is it to you? What is it.
1.Is it More, Less, or Exactly Half? 2. Is it More, Less, or Exactly Half?
SCIENCE There is a method to the madness!! SCIENTIFIC METHOD State the Problem State the Problem Gather Information Gather Information Form a Hypothesis.
The Nature of Science and Technology Chapter 1: What is Science?
Scientific Method When conducting a experiment, change one factor and keep everything else exactly the same. The one thing you change is called the dependent.
Introduction to Artificial Intelligence CS 438 Spring 2008.
What is Science?. The Goal of Science to investigate and understand the natural world To explain events in the natural world To use those explanations.
What is Science? Science – A way of learning about the natural world through observation and logical reasoning. Scientific Inquiry – Refers to the various.
Aim: How can we use scientific inquiry to explain how the world works? DO NOW: In your notebook, describe what scientific inquiry means to you.
Scientific Method 1.Observe 2.Ask a question 3.Form a hypothesis 4.Test hypothesis (experiment) 5.Record and analyze data 6.Form a conclusion 7.Repeat.
Getting Started… on NB 10 1.define inference 2.brainstorm what the goal of the unit is. Use ALL the pictures below in your answer:
Chapter 1: Section 1 What is Science?. What Science IS and IS NOT.. The goal of Science is to investigate and understand the natural world, to explain.
Modern Inventions What is the importance of science in our life?
CSE 202 – Formal Languages and Automata Theory 1 REGULAR EXPRESSION.
Quietly get supplies and have a seat Supplies Pencil Science notebook open to homework Colored pen or pencil Scissors.
1 Ontological Foundations For SysML Henson Graves September 2010.
Scientific Inquiry A Look at the processes that tell how Science is Done.
The Nature of Science To be scientifically literate, science students should have deeper understandings of science that studying the Nature of Science.
What is a theory? 1. a set of interrelated propositions
Ms. Smedley & Mr. Bartolone’s
What is the Morse code for S.O.S?
Observations vs. Inferences
Formalizations of Commonsense Psychology
Logic and Critical Thinking as Basis of Scientific Method and rationality as well as Problem solving 13th Meeting.
Equivalent Expressions by Collecting Like Terms
A. inference B. prediction C. Scientific law D. scientific theory
Unit 1: The scientific Method
Collecting Like terms Brackets 2 Brackets
Chapter 1.2 The Methods of Biology.
What is Science? A method for studying the natural world.
Qualitative Observation
Scientific Method What is the scientific method?
Суури мэдлэг Basic Knowledge
Chapter 1 The Science of Biology.
Common Science Vocabulary
Logical problem solving sequence
Unit: Science & Technology
What is science?.
Unit 1 Vocabulary Science Skills.
Introduction to Artificial Intelligence Instructor: Dr. Eduardo Urbina
Logical problem solving sequence
Warm- Up What is an Inference? What is a Hypothesis?
Deniz Beser A Fundamental Tradeoff in Knowledge Representation and Reasoning Hector J. Levesque and Ronald J. Brachman.
Presentation transcript:

Ernest Davis Automating Commonsense Reasoning for Science Objective: To develop a knowledge-based system that can reason about an experiment like this (decomposition of KClO3), without requiring exact geometric or quantitative information.

Task: To answer questions such as: What would happen if the test tube were open to the air? If the end of the tubing were outside the collection beaker? If the collection beaker were right-side up? Approach: Logical, knowledge-based analysis: What knowledge is used to make the inference? How can this knowledge be expressed in a formal language? How can the inference be justified in a formal theory?