Logical and Computational Aspects of Model-Based Reasoning / Edition 1

Logical and Computational Aspects of Model-Based Reasoning / Edition 1

Pub. Date:
Springer Netherlands

Hardcover - Rent for

Select a Purchase Option (2002)
  • purchase options
  • purchase options


Logical and Computational Aspects of Model-Based Reasoning / Edition 1

Treating the logical and computational aspects of the field in separate sections, 15 papers from a May 2001 international conference (Model-Based Reasoning: Scientific Discovery, Technological Innovation, Values) are presented by Magnani (U. of Pavia, Italy), Nersessian, (Georgia Institute of Technology, US), and Pizzi (U. of Siena, Italy). The first section examines the translation of diagrams into a formal predicate logic; the construction of models of metaphorical, abductive, and explanatory diagnostic reasoning through the use of adaptive logic; and other topics. Among the discussions of the later papers are computational methods and representation for models of discovering knowledge in scientific domains, a computer program that automatically builds engineering models for physical system balances accuracy and parsimony, and consistency diagnosis as an approach to diagnostic reasoning. Annotation (c)2003 Book News, Inc., Portland, OR

Product Details

ISBN-13: 9781402007125
Publisher: Springer Netherlands
Publication date: 09/30/2002
Series: Applied Logic Series , #25
Edition description: 2002
Pages: 342
Product dimensions: 9.21(w) x 6.14(h) x 0.81(d)

Table of Contents

Logical Aspects of Model-Based Reasoning1
A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems3
3Some preliminary definitions6
4A framework for heterogeneous reasoning9
5Defining the notion of recasting for Euler/Venn and FOL10
6The implementation16
A Logical Approach to the Analysis of Metaphors21
2The interactionist view as a basis for a metaphor theory22
3Some problems with the basic formulation of the interactionist view24
4The advantages of adaptive logics27
5ALM, an adaptive logic for metaphors28
Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction39
1Aim and survey40
2Why the reconstruction is important42
3Main characteristics of abductive reasoning44
4The general format47
5Introducing the dynamics48
6The logics MA1 and CP150
7Generalizing to the inconsistent case56
8The logics MA2 and CP260
9Two examples from the history of astronomy62
10Some alternatives68
Diagrammatic Inference and Graphical Proof73
2Abstraction markers75
3Notational keys80
4The syntactic effect and reinterpretation82
5A diagrammatic inference scheme84
6Global reinterpretation89
A Logical Analysis of Graphical Consistency Proofs93
4Physical on-site inferences105
Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning117
2Non-explanatory and explanatory diagnosis for faults in systems118
3Adaptive logics122
4An adaptive logic for non-explanatory diagnostic reasoning124
5The dynamic proof theory of D[superscript nexp]127
6An illustration of D[superscript nexp]129
7Formal analysis of weak explanatory diagnostic reasoning130
8Formal analysis of strong explanatory diagnostic reasoning133
9An adaptive logic for explanatory diagnostic reasoning134
10The dynamic proof theory of D[superscript exp]137
11An illustration of D[superscript exp]139
Model-Guided Proof Planning143
2Proof planning as a way of reasoning146
3Model-based reasoning150
4Semantic restriction and selection of methods154
5Implementation and initial results158
Degrees of Abductive Boldness163
1Introduction: Cautious inference and bold conjecture163
2Abduction as defeasible inference165
3Merging inference and conjecture168
4Abduction via power relations173
Scientific Explanation and Modified Semantic Tableaux181
2Modified semantic tableaux182
3Scientific explanation184
Computational Aspects of Model-Based Reasoning199
Computational Discovery of Communicable Knowledge201
2Paradigms for computational discovery202
3Revising regulatory models in microbiology206
4Revising quantitative models in Earth science211
5Related research on computational discovery219
6Concluding remarks221
Encoding and Using Domain Knowledge on Population Dynamics for Equation Discovery227
2Population dynamics modeling228
3Equation discovery234
4The equation discovery system Lagramge 2.0237
AppendixThe Prolog program for transforming the population dynamics domain knowledge into grammar form245
Reasoning about Models of Nonlinear Systems249
1Reasoning about nonlinear system identification250
2Automated modeling and scientific discovery256
3Representations for model building260
4Orchestrating reasoning about models264
Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation273
2Consistency-based diagnosis: Reiter's Theory275
3Causal graph276
4Graphical notation277
5Problem formulation277
6Strategy for conflicts calculation and diagnoses generation278
7An approach to systematic conflict generation279
8Potential conflict structure280
9An outline of algorithmic approach282
10Diagnoses calculation - elements of algebraic approach283
11An example286
Modeling Through Human-Computer Interactions and Mathematical Discourse293
1Introducing [open phi]-calculus295
2An experiment in LAW300
3A formal system for [open phi]-calculus301
Combining Strategy and Sub-models for the Objectified Communication of Research Programs313
1Scientific objectification of decision-making314
2Strategy: Superior structure of discrete decisions317
3Embedding of sub-models into the decision-structure322
4Imbedding of intra-individual preferences into the decision model324
5Generating individual problem solutions with the decision model326
6Summary and prospects328
Subject Index331
Author Index337

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews