This special issue of the L. J. of the IGPL “Formal Representations in Model-Based Reasoning and Abduction” is based on a selection of the papers that were presented at the International Conference Model-Based Reasoning in Science and Technology. Theoretical and Cognitive Issues (MBR012 Italy), held at the Fondazione Mediaterraneo, Sestri Levante, Italy, in June 2012. The presentations given at the Sestri Levante conference explored how scientific thinking uses models and explanatory reasoning to produce creative changes in theories and concepts. Some speakers addressed the problem of model-based reasoning in technology, and stressed issues such as the relationship between science and technological innovation. The study of diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help only of traditional notions of reasoning such as classical logic. Understanding the contribution of modeling practices to discovery and conceptual change in science and in other disciplines requires expanding the concept of reasoning to include complex forms of creativity that are not always successful and can lead to incorrect solutions. The study of these heuristic ways of reasoning is situated at the crossroads of philosophy, artificial intelligence, cognitive psychology, and logic: that is, at the heart of cognitive science. There are several key ingredients common to the various forms of model-based reasoning. The term “model” comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations. The models are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. Moreover, in the modeling process, various forms of abstraction are used. Evaluation and adaptation take place in light of structural, causal, and/or functional constraints. Model simulation can be used to produce new states and enable evaluation of behaviors and other factors. The various contributions of the book are written by interdisciplinary researchers who are active in the area of modeling reasoning and creative reasoning in logic, cognitive science, science and technology: the most recent results and achievements about the topics above are illustrated in detail in the papers.

Formal representations in model-based reasoning and abduction

MAGNANI, LORENZO
2013-01-01

Abstract

This special issue of the L. J. of the IGPL “Formal Representations in Model-Based Reasoning and Abduction” is based on a selection of the papers that were presented at the International Conference Model-Based Reasoning in Science and Technology. Theoretical and Cognitive Issues (MBR012 Italy), held at the Fondazione Mediaterraneo, Sestri Levante, Italy, in June 2012. The presentations given at the Sestri Levante conference explored how scientific thinking uses models and explanatory reasoning to produce creative changes in theories and concepts. Some speakers addressed the problem of model-based reasoning in technology, and stressed issues such as the relationship between science and technological innovation. The study of diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help only of traditional notions of reasoning such as classical logic. Understanding the contribution of modeling practices to discovery and conceptual change in science and in other disciplines requires expanding the concept of reasoning to include complex forms of creativity that are not always successful and can lead to incorrect solutions. The study of these heuristic ways of reasoning is situated at the crossroads of philosophy, artificial intelligence, cognitive psychology, and logic: that is, at the heart of cognitive science. There are several key ingredients common to the various forms of model-based reasoning. The term “model” comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations. The models are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. Moreover, in the modeling process, various forms of abstraction are used. Evaluation and adaptation take place in light of structural, causal, and/or functional constraints. Model simulation can be used to produce new states and enable evaluation of behaviors and other factors. The various contributions of the book are written by interdisciplinary researchers who are active in the area of modeling reasoning and creative reasoning in logic, cognitive science, science and technology: the most recent results and achievements about the topics above are illustrated in detail in the papers.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11571/766630
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact