Logical and Computational Aspects of Model-Based Reasoning (APPLIED LOGIC SERIES Volume 25) (Applied Logic Series)
Contributors: L. Magnani (Editor); N.J. Nersessian (Editor); C. Pizzi (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 25, 2002
Language: eng
Format: Paperback
Number of pages: 360
ISBN-13: 9781402007910
Subjects: Mathematical logic; Mathematical theory of computation; Science; Logic; Philosophy; Science/Mathematics; Artificial Intelligence - General; Philosophy / Logic; Reference
First sentence: Recently there has been a significant amount of interest in a new and growing area of research referred to as diagrammatic or visual reasoning.
Description: 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.