Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 2010

Model-Based Reasoning in Science and Technology

Abduction, Logic, and Computational Discovery

Editors:

  1. Lorenzo Magnani

    1. Università di Pavia, Pavia, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Walter Carnielli

    1. CLE State University of Campinas, Campinas, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Claudio Pizzi

    1. Università di Siena, Siena, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Deals with the logical, epistemological, and cognitive aspects of modeling practices employed in science and technology

  • Written by leading experts in this field

  • State-of-the-Art book

Part of the book series: Studies in Computational Intelligence (SCI, volume 314)

Sections

Buy it now

eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, access via your institution.

Table of contents (37 chapters)

  1. Front Matter

    PDF

  2. Abduction, Problem Solving, and Practical Reasoning

    1. Front Matter

      Pages 1-1
      PDF

    2. Virtuous Distortion

      • John Woods, Alirio Rosales
      Pages 3-30

    4. Smart Abducers as Violent Abducers

      • Lorenzo Magnani
      Pages 51-82

    6. Abduction, Induction, and Analogy

      • Gerhard Minnameier
      Pages 107-119

    8. Affordances as Abductive Anchors

      • Emanuele Bardone
      Pages 135-157

    9. A Model-Based Reasoning Approach to Prevent Crime

      • Tibor Bosse, Charlotte Gerritsen
      Pages 159-177

    10. Abducing the Crisis

      • Ricardo F. Crespo, Fernando Tohmé, Daniel Heymann
      Pages 179-198

    11. Pathophysiology of Cancer and the Entropy Concept

      • Konradin Metze, Randall L. Adam, Gian Kayser, Klaus Kayser
      Pages 199-206

    12. A Pattern Language for Roberto Burle Marx Landscape Design

      • Carlos Eduardo Verzola Vaz, Maria Gabriela Caffarena Celani
      Pages 207-219

    14. The Role of Agency Detection in the Invention of Supernatural Beings

      • Tommaso Bertolotti, Lorenzo Magnani
      Pages 239-262

  3. Formal and Computational Aspects of Model Based Reasoning

    1. Front Matter

      Pages 263-263
      PDF

    2. Does Logic Count?

      • Jaakko Hintikka
      Pages 265-274

    5. Using Analogical Representations for Mathematical Concept Formation

      • Alison Pease, Simon Colton, Ramin Ramezani, Alan Smaill, Markus Guhe
      Pages 301-314
Back to top

About this book

The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and Technology (MBR09_BRAZIL), held at the University of Campinas (UNICAMP), Campinas, Brazil, December 2009. The presentations given at the conference explored how scientific cognition, but several other kinds as well, use models, abduction, and explanatory reasoning to produce important or creative changes in theories and concepts. Some speakers addressed the problem of model-based reasoning in technology, and stressed the issue of science and technological innovation. The various contributions of the book are written by interdisciplinary researchers who are active in the area of creative reasoning in logic, science, and technology: the most recent results and achievements about the topics above are illustrated in detail in the papers. The book is divided in three parts, which cover the following main areas: part I, abduction, problem solving, and practical reasoning; part II: formal and computational aspects of model based reasoning; part III, models, mental models, representations.
Back to top

Keywords

  • Memory
  • cognition
  • computational intelligence
  • genetic programming
  • knowledge
  • logic
  • mathematics
  • model
  • modeling
  • problem solving
  • robot
  • robotics
  • science
  • simulation
  • technology
Back to top

Editors and Affiliations

  • Università di Pavia, Pavia, Italy

    Lorenzo Magnani

  • CLE State University of Campinas, Campinas, Brazil

    Walter Carnielli

  • Università di Siena, Siena, Italy

    Claudio Pizzi

Back to top

Bibliographic Information

  • Book Title: Model-Based Reasoning in Science and Technology

  • Book Subtitle: Abduction, Logic, and Computational Discovery

  • Editors: Lorenzo Magnani, Walter Carnielli, Claudio Pizzi

  • Series Title: Studies in Computational Intelligence

  • DOI: https://doi.org/10.1007/978-3-642-15223-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2010

  • Hardcover ISBN: 978-3-642-15222-1Published: 30 August 2010

  • Softcover ISBN: 978-3-642-26467-2Published: 13 October 2012

  • eBook ISBN: 978-3-642-15223-8Published: 24 September 2010

  • Series ISSN: 1860-949X

  • Series E-ISSN: 1860-9503

  • Edition Number: 1

  • Number of Pages: XXX, 654

  • Number of Illustrations: 98 b/w illustrations

  • Topics: Computational Intelligence, Artificial Intelligence, Cognitive Psychology

Back to top
Access via your institution

Buy it now

eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

search

Navigation