NEW BOOK
http://www.wkap.nl/prod/b/1-4020-0791-4
|
Logical and Computational
Aspects of Model-Based Reasoning
|
|
|
|
edited by
Lorenzo Magnani
University of Pavia,
Italy and Georgia Institute of Technology, Atlanta, USA
Nancy J. Nersessian
Georgia Institute
of Technology, Atlanta, USA
Claudio Pizzi
University of Siena,
Italy
Book Series: APPLIED LOGIC SERIES : Volume 25
|
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 (Kluwer Academic/Plenum
Publishers, New York, 1999; Chinese edition, China Science and Technology
Press, Beijing, 2000), 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.
|
|
|
|
;)
|
Kluwer Academic Publishers, Dordrecht
Hardbound, ISBN 1-4020-0712-4
August 2002 , 360 pp.
EUR 132.00 / USD 127.00 / GBP 85.00
Paperback, ISBN 1-4020-0791-4
August 2002 , 360 pp.
EUR 35.00 / USD 34.00 / GBP 23.00 |
Contact LorenzoMagnani
Table of Contents
Logical Aspects
of Model-Based Reasoning. A Case Study of the Design and Implementation
of Heterogeneous Reasoning Systems; N. Swoboda, G. Allwein.
A Logical Approach to the Analysis of Metaphors; I. D'Hanis. Ampliative
Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction;
J. Meheus, et al. Diagrammatic Inference and Graphical Proof; L.A.
Pineda. A Logical Analysis of Graphical Consistency Proofs; A. Shimojima.
Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning;
D. Provijn, E. Weber. Model-Guided Proof Planning; S. Choi, M.
Kerber. Degrees of Abductive Boldness; I.C. Burger, J. Heidema.
Scientific Explanation and Modified Semantic Tableaux; A. Nepomuceno-Fernádez.
Computational Aspects of Model-Based Reasoning. Computational
Discovery of Communicable Knowledge; P. Langley, et al. Encoding and
Using Domain Knowledge on Population Dynamics for Equation Discovery; S.
Dzeroski, L. Todorovski. Reasoning about Models of Nonlinear Systems;
E. Stolle, et al. Model-Based Diagnosis of Dynamic Systems: Systematic
Conflict Generation; B. Górny, A. Ligeza. Modeling Through
Human-Computer Interactions and Mathematical Discourse; G. Menezes
da Nóbrega, et al. Combining Strategy and Sub-models for the Objectified
Communication of Research Programs; E. Finkeissen. Subject Index.
Author Index.
|
