Logical and Computational Aspects of Model-Based Reasoning (Google eBook)

Front Cover
L. Magnani, Nancy Nersessian, Claudio Pizzi
Springer, Sep 30, 2002 - Computers - 342 pages
0 Reviews

This volume is based on the papers that were presented at the International Conference "Model-Based Reasoning: Scientific Discovery, Technological Innovation, Values' (MBR'01), held at the Collegio Ghislieri, University of Pavia, Pavia, Italy, in May 2001. The previous volume Model-Based Reasoning in Scientific Discovery, edited by L. Magnani, N.J. Nersessian, and P. Thagard was based on the papers presented at the first" model-based reasoning' international conference, held at the same venue in December 1998.

The presentations given at the Conference explore how scientific thinking uses models and exploratory reasoning to produce creative changes in theories and concepts. Some address the problem of model-based reasoning in ethics, especially pertaining to science and technology, and stress some aspects of model-based reasoning in 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 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 the papers.

  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Contents

II
3
III
4
IV
6
V
9
VI
10
VII
16
VIII
21
X
22
LX
163
LXII
165
LXIII
168
LXIV
173
LXV
181
LXVII
182
LXVIII
184
LXIX
191

XI
24
XII
27
XIII
28
XIV
35
XV
39
XVI
40
XVII
42
XVIII
44
XIX
47
XX
48
XXI
50
XXII
56
XXIII
60
XXIV
62
XXV
69
XXVI
73
XXVIII
75
XXIX
80
XXX
82
XXXI
84
XXXII
89
XXXIII
93
XXXV
96
XXXVI
100
XXXVII
105
XXXVIII
111
XXXIX
113
XL
114
XLI
117
XLIII
118
XLIV
122
XLV
124
XLVI
127
XLVII
129
XLVIII
130
XLIX
133
L
134
LI
137
LII
139
LIII
143
LV
146
LVI
150
LVII
154
LVIII
158
LIX
160
LXX
201
LXXII
202
LXXIII
206
LXXIV
211
LXXV
219
LXXVI
221
LXXVII
227
LXXIX
228
LXXX
234
LXXXI
237
LXXXII
239
LXXXIII
243
LXXXIV
249
LXXXV
250
LXXXVI
256
LXXXVII
260
LXXXVIII
264
LXXXIX
268
XC
273
XCII
275
XCIII
276
XCIV
277
XCVI
278
XCVII
279
XCVIII
280
XCIX
282
C
283
CI
286
CII
289
CIII
293
CIV
295
CV
300
CVI
301
CVII
308
CVIII
313
CIX
314
CX
317
CXI
322
CXII
324
CXIII
326
CXIV
328
CXV
331
CXVI
337
Copyright

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

About the author (2002)

Nancy Nersessian is Regents' Professor of Cognitive Science in the School of Interactive Computing at Georgia Institute of Technology. She is the author of "Faraday to Einstein: Constructing Meaning in Scientific Theories, " and numerous articles on the creative reasoning practices of scientists and on science learning.

Bibliographic information