Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Magnani, Lorenzo (Editor), Carnielli, Walter (Editor), Pizzi, Claudio (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Studies in Computational Intelligence, 314
• Subjects: Engineering.; Artificial intelligence.; Computational intelligence.; Cognitive psychology.; Computational Intelligence.; Artificial Intelligence (incl. Robotics).; Cognitive Psychology.

 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. 

 Abduction, Problem Solving, and Practical Reasoning -- Virtuous Distortion -- Naturalizing Peirce’s Semiotics: Ecological Psychology’s Solution to the Problem of Creative Abduction -- Smart Abducers as Violent Abducers -- Different Cognitive Styles in the Academy-Industry Collaboration -- Abduction, Induction, and Analogy -- Belief Revision vs. Conceptual Change in Mathematics -- Affordances as Abductive Anchors -- A Model-Based Reasoning Approach to Prevent Crime -- Abducing the Crisis -- Pathophysiology of Cancer and the Entropy Concept -- A Pattern Language for Roberto Burle Marx Landscape Design -- A Visual Model of Peirce’s 66 Classes of Signs Unravels His Late Proposal of Enlarging Semiotic Theory -- The Role of Agency Detection in the Invention of Supernatural Beings -- Formal and Computational Aspects of Model Based Reasoning -- Does Logic Count? -- Causal Abduction and Alternative Assessment: A Logical Problem in Penal Law -- On a Theoretical Analysis of Deceiving: How to Resist a Bullshit Attack -- Using Analogical Representations for Mathematical Concept Formation -- Good Experimental Methodologies and Simulation in Autonomous Mobile Robotics -- The Logical Process of Model-Based Reasoning -- Constructive Research and Info-computational Knowledge Generation -- Emergent Semiotics in Genetic Programming and the Self-Adaptive Semantic Crossover -- An Episodic Memory Implementation for a Virtual Creature -- Abduction and Meaning in Evolutionary Soundscapes -- Consequences of a Diagrammatic Representation of Paul Cohen’s Forcing Technique Based on C.S. Peirce’s Existential Graphs -- Models, Mental Models, Representations -- How Brains Make Mental Models -- Applications of an Implementation Story for Non-sentential Models -- Does Everyone Think, or Is It Just Me? -- Morality According to a Cognitive Interpretation: A Semantic Model for Moral Behavior -- The Symbolic Model for Algebra: Functions and Mechanisms -- The Theoretician’s Gambits: Scientific Representations, Their Formats and Content -- Modeling the Epistemological Multipolarity of Semiotic Objects -- Imagination in Thought Experimentation: Sketching a Cognitive Approach to Thought Experiments -- Representations of Contemporaneous Events of a Story for Novice Readers -- Understanding and Augmenting Human Morality: An Introduction to the ACTWith Model of Conscience -- Analog Modeling of Human Cognitive Functions with Tripartite Synapses -- The Leyden Jar in Luigi Galvani’s thought: A Case of Analogical Visual Modeling -- Modeling the Causal Structure of the History of Science.