Overview

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 requires expanding scientific reasoning to include complex forms of creative reasoning 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 creative reasoning in science and technology, and are logically and computationally oriented: the most recent results and achievements about the topics above are illustrated in detail in this book.

Full Product Details

Author:   L. Magnani ,  N.J. Nersessian ,  Claudio Pizzi
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   2002 ed.
Volume:   25
Dimensions:   Width: 17.00cm , Height: 2.00cm , Length: 24.40cm
Weight:   1.510kg
ISBN:  

9781402007125

ISBN 10:   1402007124
Pages:   342
Publication Date:   30 September 2002
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   Out of print, replaced by POD  
We will order this item for you from a manufatured on demand supplier.

Table of Contents

Logical Aspects of Model-Based Reasoning.- A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems.- A Logical Approach to the Analysis of Metaphors.- Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction.- Diagrammatic Inference and Graphical Proof.- A Logical Analysis of Graphical Consistency Proofs.- Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning.- Model-Guided Proof Planning.- Degrees of Abductive Boldness.- Scientific Explanation and Modified Semantic Tableaux.- Computational Aspects of Model-Based Reasoning.- Computational Discovery of Communicable Knowledge.- Encoding and Using Domain Knowledge on Population Dynamics for Equation Discovery.- Reasoning about Models of Nonlinear Systems.- Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation.- Modeling Through Human-Computer Interactions and Mathematical Discourse.- Combining Strategy and Sub-models for the Objectified Communication of Research Programs.- Author Index.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions