From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!amygdala.cis.ohio-state.edu!narayan Tue Mar 24 09:55:32 EST 1992
Article 4443 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai:2459 comp.ai.edu:299 comp.ai.philosophy:4443 sci.psychology:2353
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!amygdala.cis.ohio-state.edu!narayan
>From: narayan@cis.ohio-state.edu (N Hari Narayanan)
Newsgroups: comp.ai,comp.ai.edu,comp.ai.philosophy,sci.psychology
Subject: Reasoning with Diagrammatic Representations Symp. Program (long)
Message-ID: <1992Mar13.060753.1063@cis.ohio-state.edu>
Date: 13 Mar 92 06:07:53 GMT
Sender: news@cis.ohio-state.edu (NETnews        )
Organization: The Ohio State University, Department of Computer and Information Science
Lines: 219
Originator: narayan@amygdala.cis.ohio-state.edu


			AAAI SPRING SYMPOSIUM ON
		REASONING WITH DIAGRAMMATIC REPRESENTATIONS
		     MARCH 25-27, STANFORD UNIVERSITY
		     --------------------------------
Topics:
Imagery and Inference
Human Diagrammatic Reasoning
Logic and Visual Reasoning
Computational and Cognitive Models of Diagrammatic Representation and Reasoning
Qualitative Reasoning
		    

				PROGRAM
------------------------------------------------------------------------------
Wednesday, March 25
------------------------------------------------------------------------------

9 - 9.15 am		Welcome
			B. Chandrasekaran, The Ohio State University

	Session I. Imagery and Inference
	Chair: Nancy Nersessian, Princeton University

9.15-9.40 am		Creative Inference in Imagery and Invention
			Ronald Finke, Texas A & M University

9.40-10.05 am		Spatial Mental Representations
			Barbara Tversky, Stanford University

10.05-10.30 am		The "Philosophical" Case Against Visual Images
			A "Crucial" Experiment
			Peter Slezak, University of New South Wales


10.30-11.00 am		Break


11.00-11.25 am		Imagery and Mental Models in Problem Solving
			Yulin Qin, Carnegie Mellon University

11.25-11.50 am		Perceptual Representation and Reasoning
			B. Chandrasekaran, The Ohio State University

11.50-12.30 pm		Open Discussion: Imagery & Inference
			Moderator: Nancy Nersessian, Princeton University

12.30-2.00 pm		Lunch


	Session II. Human Diagrammatic Reasoning
	Chair: Irvin Katz, Educational Testing Service

	A. Analyses and Experimental Studies

2.00-2.15 pm		Diagrammatic Reasoning in Scientific Discovery:
			Modeling Galileo's Kinematic Diagrams
			Peter Cheng, Carnegie Mellon University

2.15-2.30 pm		Reasoning and Inference-making with Architectural
			Plans
			Janice Gobert-Wickham, University of Toronto

2.30-2.45 pm		Expert Diagrammatic Reasoning in Biology
			Ann Kindfield, University of California, Berkeley

2.45-3.00pm		Situated Cognition in Diagrammatic Reasoning
			Michael Lewis, University of Pittsburgh

3.00-3.15 pm		A State-based Syntactic Analysis of 
			Pictorial Instructions
			Brian Pedell, Michigan Technological University

3.15-3.30 pm		Effect of Mode of Data Presentation on
			Reasoning about Economic Markets
			Hermina Tabachneck, Carnegie Mellon University


3.30-4.00 pm		Break


	B. Sketching

4.00-4.25 pm		Ill-structured diagrams for ill-structured problems
			Vinod Goel, University of California, Berkeley

4.25-4.50 pm		Qualitative Models in Conceptual Design: A Case Study
			Boi Faltings, Swiss Federal Institute of Technology

4.50-5.30 pm		Open Discussion: Human Diagrammatic Reasoning
			Moderator: Irvin Katz, Educational Testing Service

6.00-7.00 pm		Reception

------------------------------------------------------------------------------
Thursday, March 26
------------------------------------------------------------------------------

9.00-9.15 am		Announcements

	Session III. Logic and Visual Reasoning
	Chair: Patrick Hayes, CSLI, Stanford University

9.15-9.45 am		Invited Presentation 
			Hyperproof: Logical Reasoning with Diagrams
			Jon Barwise, Indiana University
			John Etchemendy, Stanford University

9.45-10.00 am		A Semantic Analysis of Inference Involving Venn Diagrams
			Sun-Joo Shin, University of Notre Dame

10.0-10.15 am		Implementing Logics in Diagrams
			Keith Stenning, University of Edinburgh

10.15-10.30 am		Integrating Analogical and Sentential Reasoning 
			for Perception
			Karen Myers, SRI International


10.30-11.00 am 		Break


11.00-11.25 am		Proofs and Pictures
			Dave Barker-Plummer, Swarthmore College

11.25-12.30 am		Open Discussion: Logic & Visual Reasoning
			Moderator: Patrick Hayes, CSLI, Stanford University


12.30-2.00 pm		Lunch


	Session IV. Computational and Cognitive Models of Diagrammatic 
		    Representation and Reasoning
	Chair: Brian Funt, Simon Fraser University

2.00-2.25 pm		Computational Imagery
			Janice Glasgow, Queens University

2.25-2.40 pm		Reasoning with Diagrams Only
			George Furnas, Bellcore

2.40-2.55 pm		Using Concrete, Perceptually Based Representations
			to Avoid The Frame Problem
			Scott Huffman, University of Michigan

2.55-3.10 pm		Diagrammatic Reasoning by Simulation
			Robert Lindsay, University of Michigan

3.10-3.25 pm		A Computer Model of Diagrammatic Reasoning
			N. Hari Narayanan, The Ohio State University


3.30-4.00 pm		Break


4.00-4.25 pm		Uses of Diagrams in Solving Physics Problems
			Gordon Novak, University of Texas, Austin

4.25-4.50 pm		A Cognitive Theory of Visual Interaction
			Erika Rogers, Georgia Institute of Technology

4.50-5.15 pm		Emergent Properties and Structural Constraints:
			Advantages of Diagrammatic Representations for 
			Reasoning and Learning
			Kenneth Koedinger, Carnegie Mellon University

5.15-5.45 pm		Open Discussion: Computational & Cognitive Models of 
			Diagrammatic Representation and Reasoning
			Moderator: Brian Funt, Simon Fraser University

7.30-10.00 pm		Public Forum

------------------------------------------------------------------------------
Friday, March 27
------------------------------------------------------------------------------

9.00-9.10 am		Announcements

	Session V. Qualitative Reasoning
	Chair: Leo Joskowicz, IBM T. J. Watson Research Center

9.10-9.40 am		Invited Presentation
			Qualitative Spatial Reasoning: Framework and Frontiers
			Ken Forbus, Northwestern University

9.40-10.05 am		Applying Means-Ends Analysis to Spatial Planning
			Pearl Pu, University of Connecticut

10.05-10.30 am		A Qualitative Model for the Behavior of Liquids
			in Daily-life Circumstances
			Jo DeCuyper, The Free University of Brussels


10.30-11.00 am		Break


11.00-11.30 am		Open Discussion: Qualitative Reasoning
			Moderator: Leo Joskowicz, IBM T.J.Watson Research Center


11.30-1.00 pm		Concluding Discussion 
			What are the issues and controversies that 
			arose during the symposium? 
			Does the symposium topic deserve to be considered as 
			a distinct research subarea?
			Evaluation of the symposium's impact and success.
			Open problems and future research directions.
			Closing remarks.

			Panelists:
			B. Chandrasekaran, Yumi Iwasaki, N. Hari Narayanan
------------------------------------------------------------------------------
Program Committee:
B. Chandrasekaran, Co-Chair, The Ohio State University
Yumi Iwasaki, Stanford University
N. Hari Narayanan, The Ohio State University
Herbert A. Simon, Co-Chair, Carnegie Mellon University
------------------------------------------------------------------------------


