Model-Based Reasoning in Science and Engineering Abduction, Visualization, Simulation Pavia, Italy, December 16-18, 2004, Collegio Ghislieri, University of Pavia, Piazza Ghislieri MBR’04

Invited presentations, Symposia, and Special Sessions Full presentations Short presentations Session I: Modeling: visual, analogical, simulative Session II: Computational processes and logical models Session III: Creative inference and abduction Session IV: Case studies

MBR’04 is sponsored by

Thursday 16 December 04 Morning

Location: Collegio Ghislieri, Aula Goldoniana 8.00-9:00 Registration Sala del Camino Location: Aula Goldoniana 9.00-9.10 Welcome - Inaugurazione 9.10-9.15 Welcome by Prof. Lorenzo MAGNANI Chair of the Conference

9.15-10.10 Invited Lecture Location: Aula Goldoniana Chair: Lorenzo Magnani B. CHANDRASEKARAN Diagrams as Models: An Architecture for Diagrammatic Representation and Reasoning -based values in scie ntific models 10.10-10.30 Coffee Break, Refettorio

Location: Aula Goldoniana Location: Aula Sandra Bruni Session III Session II Creative inferences and abduction Computational processes and logical models Chair: L. Magnani Chair: T. Addis 10.30-11.10 Bonny Banerjee Helmut Pape Using Abduction for Diagramming Group Motions The Pragmatic Logic of Ordered Representations 11.10-11.50 P.D. Bruza, R.J. Cole, D. Song, Z. Abdul Bari Albrecht Heefner Towards Operational Abduction from a Cognitive Per- The emergence of symbolic algebra as a shift in pre- spective dominant models 11.50-12.10 Luca Pezzullo Irobi Ijeoma Sandra Environmental Mental Models: Applying Repertory Grids Correctness criteria for models’ validation – a philosophi- to Cognitive Geoscience and Risk Perception Studies cal perspective (Session IV Case studies (Session IV Case studies )

Invited Lecture Location (Symposium: Tracking the Real): Aula Goldoniana Chair: B. Chandrasekaran 12.10-13.05 David C. GOODING and Thomas R. ADDIS Modelling Scientific Experiments as Mediating Models Model-Based Reasoning in Scientific Discovery

Afternoon Location: Aula Goldoniana Location: Aula Sandra Bruni Symposium Session I Tracking the Real Modeling: visual, analogical, simulative Chair: L. Magnani Chair: A. Aliseda 14.15-14.35 Tom Addis, Jan Townsend Addis, Dave Billinge, Arturo Carsetti David Gooding & Bart-Floris Visscher Tracking Irrational Sets 14.35-14.55 Sunil Vadera, Andres Rodriguea, Enrique Succar & The role of simulation models in visual cognition (14.15- Jia Wu 14.55) Using Wittgenstein’s Family Resemblance principle to learn Exemplars 14.55-15.35 Michael Gorman Ismo T. Koponen Trading Zones, Moral Imagination and Socially Sensitive Computing Simulative modelling in physics and access to reality: The practice of modelling in contemporary condensed matter physics (Session IV Case studies) Invited Lecture Location: Aula Goldoniana Chair: Tom Addis 15.35-16.30 Claudio PIZZI Gestalt effects in abductive and counterfactual inference

16.30-16.45 Coffee Break, Refettorio

Location: Aula Goldoniana Location: Aula Sandra Bruni Session II Symposium: Tracking the Real Computational processes and logical models Chair: D.Batens Chair: D. Portides 16.45-17.05 Claudia Arrighi & Roberta Fe rrario S. Bandini, S. Manzoni, F. Sartori and G. Vizzari Abductive Reasoning, Interpretation and Collaborative Exploiting the Integration of ST-logic and MMASS Mod- Processes els for Pervasive Computing Applications 17.05-17.25 Dave Billinge, Tom Addis and Fei Wang Mieke Boon Seeking Allies: Modelling how listeners choose their Mechanistic models in the engineering sciences musical friends 17.25-17.45 Zhikang Wang Joseph E. Brenner The Complexity of Thinking System and the Supports of A trasnconsistent logic for model-based reasoning Model-based Reasoning (Session I Modeling: visual, a nalogical, simulative) Invited Lectures Location: Aula Goldoniana Chair: M. Leyton 17.45-18.20 Ping LI Scientific cognition as model-based reasoning

Lorenzo MAGNANI 18.20-19.10 Mimetic minds: the role of cognitive mediators and external models Friday 17 December 04 Morning Location: Aula Goldoniana Location: Aula Sandra Bruni Session III Session II Creative inferences and abduction Computational processes and logical models Chair: L. Magnani Chair: C. Pizzi 9.00-9.20 Katsumi Inoue and Chiaki Sakama Luciano Celi On abductive equivalence Defining knowledge: the Gettier problem and scientific reasoning 9.20-9.40 Yuhong Yan, Daniel Lemire, and Martin Brooks Monotonicity Analysis for Constructing Qualitative Mod- Model-Based Reasoning: Scientific Discovery, Technological Innovation, Values

els Invited Lecture Location: Aula Goldoniana Chair: Liliana Ironi 9.40-10.40 Kenneth FORBUS Analogical reasoning with sketches

10.40-11.10 Coffee Break, Refettorio

Location: Aula Goldoniana Location: Aula Sandra Bruni Session III Session I Creative inferences and abduction Computational Processes and logical models Chair: K. Forbus Chair: T.A: Kuipers 11.10-11.50 Andreas Keinath and Joseph F. Krems Honghai Liu, George M. Coghill The role of specific and asbtract hypotheses in anom- A Model-Based Approach to Robot Fault Diagnosis aly resolution 11.10-11.30 Shangmin Luan, Lorenzo Magnani, Guozhong Dai Algorithms for Computing Conflicts and Diagnosis 11.30- 11.50 11.50-12.30 Pasi Pohjola Stanislava Mildeová Abductive reasoning and linguistic meaning Simulation for the shift of paradigm 11.50-12.10 Andrès Rivadulla Theoretical models in physics. Their role in the methodol- ogy of physics and their importance for the epistemological debate 12.10-12.30 Invited Lecture Location: Aula Goldoniana Chair: A. Aliseda 12.35-13.25 John WOODS and Dov GABBAY Advice on abductive logic Afternoon Location: Aula Goldoniana Location: Aula Sandra Bruni Session I Session III Modeling: visual, analogical, simulative Creative inferences and abduction Chair: M. Leyton Chair: L. Magnani 14.15-14.55 Demetris P. Portides John J. Sung The role of models in the development of our repre- Embodied Anomaly Resolution in Molecular Genetics: A sentations of phenomena case study of RNAi 14.55-15.35 Melvin S. Steinberg Claudia Picardi and Peter Struss Inventing electric potential Qualitative Modeling for FMEA Automation: Open Prob- lems and Research Challenges 15.35-16.15 John Clement Torgeir Knag Fylkesnes Thought Experiments and Imagery in Expert Protocols Abducting Abduction. Is the methodology commonly used in abductive research disguising abduction for the inquirer? 16.15-16.45 Coffee Break, Refettorio Invited Lecture Location: Aula Goldoniana Chair: Lorenzo Magnani 16.45-17.40 Michael LEYTON New foundations for geometry and computation 20.00 Congress Dinner at “Osteria della Madonna”, Via dei Liguri 28 Phone: 0382-302833

Saturday 18 December 04 Morning Location: Aula Goldoniana Location: Aula Sandra Bruni Session III Session II Creative inferences and abduction Computational processes and logical models Chair: L. Magnani Chair: A. Aliseda 8.45-9.25 Giovanni Tuzet Matthias Adam Cognitive fictions What can be learned from useful models Model-Based Reasoning in Scientific Discovery

9.25-10.05 Francesco Amigoni and Viola Schiaffonati A multiagent approach to modeling complex phenomena Invited Lectures Location: Aula Goldoniana Chair: B. Tversky 10.05-11-00 Theo A. KUIPERS Theories looking for domains. Fact or fiction? Structuralist truth approximation by revision of the domain of intended applications Location: Aula Goldoniana Location: Aula Sandra Bruni Session I Special Session Tacit knowledge and modeling Modeling: visual, analogical, simulative Chair: A. Drago Chair: M. Leyton 11.20-11.40 Sigurd Tønnessen A. Pozzali Creating Theory. The rationality of paradigmatic change Tacit knowledge, implict learning and scientific reasoning in Kepler’s Astronomia Nova 11.40-12.00 Rens Bod C. Pasquali Marrying Hempel and Cartwright: From Lies to Laws Tacit knowledge, innovation and institutional comple- mentarities Invited Lectures Location: Aula Goldoniana Chair: Lorenzo Magnani 12.00-12.45 Atocha ALISEDA Is there a logic of discovery?

Barbara TVERSKY 12.45-13:30 Designing diagrams

Location: Aula Goldoniana Location: Aula Sandra Bruni Session II Session I Computational processes and logical models Modeling: visual, analogical, simulative Chair: J. Clement Chair: A. Pozzali 14.15-14:55 Christian Borgelt and Rudolf Kruse Gordana Dodig-Crnkovic and Sandra Ijeoma Irobi Probalistic graphical models for the diagnosis of analog Model Validation, Evolutionary Systems and Semantics electrical circuits of Information 14.55-15.35 Edoardo Datteri, Hykel Hosni, Guglielmo Tambur- Antonino Drago rini An inductionless, default based account of machine There exist two models of organization of a scientific learning theory Location: Aula Goldoniana Location: Salone Aula Bruni Session I Modeling: visual, analogical, simulative Session I Modeling: visual, analogical, simulative Chair: J. Clement Chair:A. Pozzali 15:35-16:10 Cameron Shelley Sami Paavola and Kai Hakkarainen

Disanalogies and the validity of animal models Mediated processes of abductive search Invited Lecture Location: Aula Goldoniana Chair: L. Magnani 16:10-16-45 Michael GORMAN Technological thinking and moral imagination 16.45-17:00 Pause Invited Lecture Location: Aula Goldoniana Chair: L. Magnani 17.00-18.00 Diderik BATENS A diagrammatic proof search procedure as part of a formal approach to problem solving 18:00-18.30 Closing Plenary Session A. Aliseda, K. Forbus, B. Chandrasekaran, T.A. Kuipers, M. Leyton, L. Magnani Discussion