Logical and Computational Aspects of Model-Based Reasoning

1. Front Matter

   Pages i-xvi

   PDF

2. Logical Aspects of Model-Based Reasoning

   1. Front Matter

      Pages 1-1

      PDF

   2. A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems

      • Nik Swoboda, Gerard Allwein

      Pages 3-20

   3. A Logical Approach to the Analysis of Metaphors

      • Isabel D’Hanis

      Pages 21-37

   4. Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction

      • Joke Meheus, Liza Verhoeven, Maarten Van Dyck, Dagmar Provijn

      Pages 39-71

   5. Diagrammatic Inference and Graphical Proof

      • Luis A. Pineda

      Pages 73-91

   6. A Logical Analysis of Graphical Consistency Proofs

      • Atsushi Shimojima

      Pages 93-115

   7. Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning

      • Dagmar Provijn, Erik Weber

      Pages 117-142

   8. Model-Guided Proof Planning

      • Seungyeob Choi, Manfred Kerber

      Pages 143-162

   9. Degrees of Abductive Boldness

      • Isabella C. Burger, Johannes Heidema

      Pages 163-180

   10. Scientific Explanation and Modified Semantic Tableaux

       • Angel Nepomuceno-Fernández

       Pages 181-198

3. Computational Aspects of Model-Based Reasoning

   1. Front Matter

      Pages 199-199

      PDF

   2. Computational Discovery of Communicable Scientific Knowledge

      • Pat Langley, Jeff Shrager, Kazumi Saito

      Pages 201-225

   3. Encoding and Using Domain Knowledge on Population Dynamics for Equation Discovery

      • Sašo Džeroski, Ljupčo Todorovski

      Pages 227-247

   4. Reasoning about Models of Nonlinear Systems

      • Reinhard Stolle, Matthew Easley, Elizabeth Bradley

      Pages 249-271

   5. Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation

      • Bartłomiej Górny, Antoni Ligeza

      Pages 273-291

   6. Modeling Through Human-Computer Interactions and Mathematical Discourse

      • Germana Menezes da Nóbrega, Philippe Malbos, Jean Sallantin

      Pages 293-311

   7. Combining Strategy and Sub-Models for the Objectified Communication of Research Programs

      • Ekkehard Finkeissen

      Pages 313-330

4. Back Matter

   Pages 331-342

   PDF

Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising impor­ tance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some years ago, I myself coined the phrase "direct deductive reasoning in application areas", advocating the methodology of model-based reasoning in the strongest possible terms. Certainly my discipline of Labelled Deductive Systems allows to bring "pieces" of the application areas as "labels" into the logic. I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important contribution in our overall coverage of applied logic.

• artificial intelligence
• calculus
• cognitive psychology
• cognitive science
• communication
• human-computer interaction (HCI)
• intelligence
• logic
• proof

• University of Pavia, Pavia, Italy

  Lorenzo Magnani

• Georgia Institute of Technology, Atlanta, USA

  Nancy J. Nersessian

• University of Siena, Siena, Italy

  Claudio Pizzi

Policies and ethics