VModel: A Visual Qualitative Modeling Environment for Middle- School Students K. D. Forbus, K. Carney, B. L. Sherin and Leo C. Ureel II Represented by.

Slides:



Advertisements
Similar presentations
Qualitative Modeling in Education By Bert BREDEWEG & Ken FORBUS Evrim DALKIRAN.
Advertisements

Level 1 Recall Recall of a fact, information, or procedure. Level 2 Skill/Concept Use information or conceptual knowledge, two or more steps, etc. Level.
Bayesian Network and Influence Diagram A Guide to Construction And Analysis.
Higher Mathematics: Unit 1.3 Introduction to Differentiation
UML Diagrams Jung Woo. What is UML? Standard language for specifying, visualizing, constructing, and documenting the artifacts of software systems, business.
Introduction to Probabilistic Robot Mapping. What is Robot Mapping? General Definitions for robot mapping.
Dynamic Ontologies on the Web Jeff Heflin, James Hendler.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
Planning Value of Planning What to consider when planning a lesson Learning Performance Structure of a Lesson Plan.
McGraw-Hill/Irwin Copyright © 2007 by The McGraw-Hill Companies, Inc. All rights reserved. Chapter 5 Understanding Entity Relationship Diagrams.
©Ian Sommerville 2000Software Engineering, 6/e, Chapter 91 Formal Specification l Techniques for the unambiguous specification of software.
Chapter 10 Class and Method Design
Testing Bridge Lengths The Gadsden Group. Goals and Objectives Collect and express data in the form of tables and graphs Look for patterns to make predictions.
The Inquiry Method for Social Science Research
MTH 232 Section 8.1 Algebraic Expressions, Functions, & Equations.
The Scientific Method.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 10 Slide 1 Formal Specification.
Intelligent Tutoring Systems Traditional CAI Fully specified presentation text Canned questions and associated answers Lack the ability to adapt to students.
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
Framework for K-12 Science Education
Research Methods and Design
STOICHIOMETRY OISE Senior Chemistry AQ Concept Presentation – November 9, 2011 Presented by Wendy Louis.
LinearRelationships Jonathan Naka Intro to Algebra Unit Portfolio Presentation.
QUALITATIVE MODELING IN EDUCATION Bert Bredweg and Ken Forbus Yeşim İmamoğlu.
1 Introduction to Modeling Languages Striving for Engineering Precision in Information Systems Jim Carpenter Bureau of Labor Statistics, and President,
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 9 Slide 1 Formal Specification l Techniques for the unambiguous specification of software.
Chapter 1 Introduction to Chemistry. Section 2 Objectives w Define chemistry & matter w Compare & contrast mass & weight w Explain why chemists are interested.
Number Sense Standards Measurement and Geometry Statistics, Data Analysis and Probability CST Math 6 Released Questions Algebra and Functions 0 Questions.
Brandon Graham Putting The Practices Into Action March 20th.
Claudete Cargnin –UTFPR-CM/UEM Rui Marcos de Oliveira Barros - UEM.
Scientific Inquiry Mr. Wai-Pan Chan Scientific Inquiry Research & Exploratory Investigation Scientific inquiry is a way to investigate things, events.
VMODEL Kenneth D. Forbus Karen Carney Robert T. Harris Bruce Sherin Northwestern University.
Introduction to Climate Prediction Objective You will begin to understand what happens to radiation from the Sun when it gets to the Earth and what this.
Which of the following items must you consider when planning instruction in your class? Place a dot next to each item. UbD IFL/POL IEP/504/UDL ESL/SIOP.
THEORETICAL FRAMEWORK and Hypothesis Development
WXGE6103 Software Engineering Process and Practice Formal Specification.
UML diagrams What is UML UML diagrams –Static modeoing –Dynamic modeling 1.
< BackNext >PreviewMain Chapter 2 Data in Science Preview Section 1 Tools and Models in ScienceTools and Models in Science Section 2 Organizing Your DataOrganizing.
An investigation of college students’ covariational reasoning Kloku (2007) Florida State University Marggie D. GonzalezOctober 17, 2011.
Logic. What is logic? Logic (from the Ancient Greek: λογική, logike) is the use and study of valid reasoning. The study of logic features most prominently.
Chapter 12 Getting the Project Started Winston Jackson and Norine Verberg Methods: Doing Social Research, 4e.
 What is Modeling What is Modeling  Why do we Model Why do we Model  Models in OMT Models in OMT  Principles of Modeling Principles of Modeling 
QUALITATIVE QUANTITATIVE Physical Situation Mathematical (Formal) Solution RepresentationInterpretation Visual Representaton Symbolic Notation Select Physical.
1.2 Sets of Real Numbers How can you describe relationships between sets of real numbers?
MATH COMMUNICATIONS Created for the Georgia – Alabama District By: Diane M. Cease-Harper, Ed.D 2014.
National Council of Teachers of Mathematics Principles and Standards for grades pre-K-2.
Math I Cluster Quiz Data. Math I Unit 2 Represent & Solve Equations & Inequalities Graphically.
Formal Methods in Software Engineering Credit Hours: 3+0 By: Qaisar Javaid Assistant Professor.
1 Technical & Business Writing (ENG-715) Muhammad Bilal Bashir UIIT, Rawalpindi.
Modeling the ODP Computational Viewpoint with UML 2.0: The Templeman Library Example José Raúl Romero, Antonio Vallecillo Universidad de Málaga, Spain.
BC Curriculum Revisions 1968 → what 1976 → what 1984 → what + how 1994 → what + how 2003 → what + how 2008 → what + how 2015 → how + what.
Concepts and Realization of a Diagram Editor Generator Based on Hypergraph Transformation Author: Mark Minas Presenter: Song Gu.
THE NEW CURRICULUM MATHEMATICS 1 Foundations and Pre-Calculus Reasoning and analyzing Inductively and deductively reason and use logic.
Anne Watson Hong Kong  grasp formal structure  think logically in spatial, numerical and symbolic relationships  generalise rapidly and broadly.
MATHEMATICS 1 Foundations and Pre-Calculus Reasoning and analyzing Inductively and deductively reason and use logic to explore, make connections,
Using Bayesian Networks to Predict Plankton Production from Satellite Data By: Rob Curtis, Richard Fenn, Damon Oberholster Supervisors: Anet Potgieter,
How to Write an Abstract Gwendolyn MacNairn Computer Science Librarian.
1.2 The Process of Science Introduction Socrates, Plato and Aristotle Aristotle's opinions accepted until 1300s, but many WRONG depended.
Database Design, Application Development, and Administration, 6 th Edition Copyright © 2015 by Michael V. Mannino. All rights reserved. Chapter 5 Understanding.
1 M206 Chapter 31: An Overview of Software Development 1.Defining the problem 2.Analyzing the requirement – constructing initial structural model 3.Analyzing.
Algebra I Exponential Functions: The Marvel of Medicine Irina Keith.
Software Design Process. What is software? mid-1970s executable binary code ‘source code’ and the resulting binary code 1990s development of the Internet.
UML Diagrams By Daniel Damaris Novarianto S..
UML Diagrams Jung Woo.
Survey of Knowledge Base Content
What is an equation? An equation is a mathematical statement that two expressions are equal. For example, = 7 is an equation. Note: An equation.
We use models to represent Earth Systems
Towards Semantically Grounded Decision Rules Using ORM+
Causal Models Lecture 12.
Chapter 1 lesson 1.
Presentation transcript:

VModel: A Visual Qualitative Modeling Environment for Middle- School Students K. D. Forbus, K. Carney, B. L. Sherin and Leo C. Ureel II Represented by Onur Güngör

Modeling Analyze TestRevise Formulate

Modeling cont. mathematical models  not for middle-class students. qualitative reasoning  predicate calculus volume = M + (level), etc. is also a con a solution attempt  visual representation language

Modeling in Education externalize thought  collaboration  learning by communication relationships between entities  ∆ x → ∆ y experience in formal representations

Graphical Representations Concept Maps

Graphical Representations cont. Concept map notations  able to express anything, but prevents communication between students very hard to detect ill-formed maps

Graphical Representations cont. Dynamical Systems Notations

Graphical Representations cont. Dynamical systems notations  cannot define conditions of applicability

Graphical Representations cont. Argumentation Environments

Graphical Representations cont. Argumentation environments  atomic structures They miss two key issues in modeling  broadly applicable principles and processes  qualitative understanding of behaviour

Design Ontology Model Library Supporting the modeling  coaches

Ontology EntitiesRelationships Processes: Process Basic Stuff: Thing Multiple-Thing Substance Parameters: Parameter Amount Level Rate Connectors : Does Touches Contains isPartOf Controllers : Requires Comparisons : Greater Than Less Than Equals Causes : Increases Decreases Influences InfluencesOpposite

Ontology cont. Restrictions  specified types for each node or relationship  binary relations

Model Library Ideas in one problem are applicable to other problems Parts of previous models can be reused

Supporting the modeling process Problem statement  modeling target Modeling  the Builder Analyzer  the Professor

the Builder Uses basic rule statements for detecting errors.  E.g. “A direct influence relationship must be connected between the rate of a process and any type of parameter.” Non-intrusive indications for errors default nodes with some particular nodes  e.g. Process with Rate. “skins”

the Professor checks for “modeling target”: explains the behaviour: Model Check Level Temperature You predicted that Temperature would be DECREASING but instead it is INCREASING. There is the process of Heating which Increases the Heat of Water that is INCREASING and which Influences the Temperature of Water that is INCREASING.

Classroom Experiences performed in Chicago and Detroit public school systems  curricula about relation between heat and temperature  and ecosystems causal paths were short before introduction of coaches observed good examples of generalization  “Replace ASTRONAUT with DOG.”  “Lions and Gazelles” lack of reuse and comparison Causal map redundancy  Additional relationship between lions and gazelles to “summarize”

Future Work Analogy-based coaching  norm model Produce suggestions based on the difference Merge Vmodel with sKEA (an open- domain sketching system)  Attached with a domain-independent mixed-initiative Socratic tutor

Questions?