Humanist Discussion Group, Vol. 16, No. 235.
Centre for Computing in the Humanities, King's College London
<http://www.princeton.edu/~mccarty/humanist/>
<http://www.kcl.ac.uk/humanities/cch/humanist/>
[1] From: Matthew Sweegan Gibson (9)
<msg2d@etext.lib.Virginia.EDU>
Subject: Re: 16.233 free e-books
[2] From: Willard McCarty <w.mccarty@btinternet.com> (86)
Subject: new Kluwer book on model-based reasoning
--[1]------------------------------------------------------------------
Date: Wed, 02 Oct 2002 09:36:40 +0100
From: Matthew Sweegan Gibson <msg2d@etext.lib.Virginia.EDU>
Subject: Re: 16.233 free e-books
Also of mention should be the University of Virginia Library's Electronic
Text Center (ETC). Since August 8th, 2000, the ETC has delivered
well-over 7.5 million ebooks--the formats of which are *.lit files for the
MSReader and *.pdb files for Palm-reading formats. Ebooks indeed have a
life beyond the for-profit publisher.
Matthew Gibson
msg2d@virginia.edu
Associate Director,
Electronic Text Center
The University of Virginia
--[2]------------------------------------------------------------------
Date: Wed, 02 Oct 2002 09:42:30 +0100
From: Willard McCarty <w.mccarty@btinternet.com>
Subject: new Kluwer book on model-based reasoning
NEW BOOK
Logical and Computational Aspects of Model-Based Reasoning
http://www.wkap.nl/prod/b/1-4020-0791-4
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 Lorenzo Magnani <lmagnani@unipv.it>
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-Ferndez. 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. Grny, A. Ligeza. Modeling
Through Human-Computer Interactions and Mathematical Discourse; G.
Menezes da Nbrega, et al. Combining Strategy and Sub-models for the
Objectified Communication of Research Programs; E. Finkeissen. Subject
Index. Author Index.
[Forwarded from Lorenzo Magnani <lmagnani@unipv.it>]
Dr Willard McCarty | Senior Lecturer | Centre for Computing in the
Humanities | King's College London | Strand | London WC2R 2LS || +44 (0)20
7848-2784 fax: -2980 || willard.mccarty@kcl.ac.uk |
w.mccarty@btinternet.com | www.kcl.ac.uk/humanities/cch/wlm/
This archive was generated by hypermail 2b30 : Wed Oct 02 2002 - 05:36:38 EDT