16.235 free e-books; new Kluwer book

From: Humanist Discussion Group (by way of Willard McCarty (w.mccarty@btinternet.com)
Date: Wed Oct 02 2002 - 05:27:31 EDT

  • Next message: Humanist Discussion Group (by way of Willard McCarty : "16.240 new on WWW: CIT Infobits; Ubiquity"

                   Humanist Discussion Group, Vol. 16, No. 235.
           Centre for Computing in the Humanities, King's College London

       [1] From: Matthew Sweegan Gibson (9)
             Subject: Re: 16.233 free e-books

       [2] From: Willard McCarty <w.mccarty@btinternet.com> (86)
             Subject: new Kluwer book on model-based reasoning

             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
    Associate Director,
    Electronic Text Center
    The University of Virginia

             Date: Wed, 02 Oct 2002 09:42:30 +0100
             From: Willard McCarty <w.mccarty@btinternet.com>
             Subject: new Kluwer book on model-based reasoning


    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 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