Logical and computational aspects of model-based reasoning / edited by Lorenzo Magnani, Nancy J. Nersessian, and Claudio Pizzi.

Format:

Book

Conference/Event

Contributor:

Magnani, Lorenzo.

Nersessian, Nancy J.

Pizzi, Claudio, 1944-

Conference Name:

International Conference on Model-Based Reasoning: Scientific Discovery, Technological Innovation, Values (2001 : Pavia, Italy)

Series:

Applied logic series ; v. 25.

Applied logic series ; v. 25

Language:

English

Subjects (All):

Science--Methodology--Congresses.

Science.

Science--Methodology.

Discoveries in science--Congresses.

Discoveries in science.

Qualitative reasoning--Congresses.

Qualitative reasoning.

Genre:

Conference papers and proceedings.

Physical Description:

xvi, 339 pages : illustrations ; 25 cm.

Place of Publication:

Dordrecht ; Boston : Kluwer Academic, [2002]

Contents:

Logical Aspects of Model-Based Reasoning 1

A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems / Nik Swoboda, Gerard Allwein 3

4 A framework for heterogeneous reasoning 9

5 Defining the notion of recasting for Euler/Venn and FOL 10

6 The implementation 16

A Logical Approach to the Analysis of Metaphors / Isabel D'Hanis 21

2 The interactionist view as a basis for a metaphor theory 22

3 Some problems with the basic formulation of the interactionist view 24

4 The advantages of adaptive logics 27

5 ALM, an adaptive logic for metaphors 28

Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction / Joke Meheus, Liza Verhoeven, Maarten Van Dyck, Dagmar Provijn 39

2 Why the reconstruction is important 42

3 Main characteristics of abductive reasoning 44

5 Introducing the dynamics 48

6 The logics MA1 and CP1 50

7 Generalizing to the inconsistent case 56

8 The logics MA2 and CP2 60

9 Two examples from the history of astronomy 62

10 Some alternatives 68

Diagrammatic Inference and Graphical Proof / Luis A. Pineda 73

2 Abstraction markers 75

3 Notational keys 80

4 The syntactic effect and reinterpretation 82

5 A diagrammatic inference scheme 84

6 Global reinterpretation 89

A Logical Analysis of Graphical Consistency Proofs / Atsushi Shimojima 93

3 Analysis 100

4 Physical on-site inferences 105

Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning / Dagmar Provijn, Erik Weber 117

2 Non-explanatory and explanatory diagnosis for faults in systems 118

3 Adaptive logics 122

4 An adaptive logic for non-explanatory diagnostic reasoning 124

5 The dynamic proof theory of D[superscript nexp] 127

6 An illustration of D[superscript nexp] 129

7 Formal analysis of weak explanatory diagnostic reasoning 130

8 Formal analysis of strong explanatory diagnostic reasoning 133

9 An adaptive logic for explanatory diagnostic reasoning 134

10 The dynamic proof theory of D[superscript exp] 137

11 An illustration of D[superscript exp] 139

Model-Guided Proof Planning / Seungyeob Choi, Manfred Kerber 143

2 Proof planning as a way of reasoning 146

3 Model-based reasoning 150

4 Semantic restriction and selection of methods 154

5 Implementation and initial results 158

Degrees of Abductive Boldness / Isabella C. Burger, Johannes Heidema 163

1 Introduction: Cautious inference and bold conjecture 163

2 Abduction as defeasible inference 165

3 Merging inference and conjecture 168

4 Abduction via power relations 173

Scientific Explanation and Modified Semantic Tableaux / Angel Nepomuceno-Fernandez 181

2 Modified semantic tableaux 182

3 Scientific explanation 184

Computational Aspects of Model-Based Reasoning 199

Computational Discovery of Communicable Knowledge / Pat Langley, Jeff Shrager, Kazumi Saito 201

2 Paradigms for computational discovery 202

3 Revising regulatory models in microbiology 206

4 Revising quantitative models in Earth science 211

5 Related research on computational discovery 219

Encoding and Using Domain Knowledge on Population Dynamics for Equation Discovery / Saso Dzeroski, Ljupco Todorovski 227

2 Population dynamics modeling 228

3 Equation discovery 234

4 The equation discovery system Lagramge 2.0 237

5 Experiments 239

Appendix The Prolog program for transforming the population dynamics domain knowledge into grammar form 245

Reasoning about Models of Nonlinear Systems / Reinhard Stolle, Matthew Easley, Elizabeth Bradley 249

1 Reasoning about nonlinear system identification 250

2 Automated modeling and scientific discovery 256

3 Representations for model building 260

4 Orchestrating reasoning about models 264

Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation / Bartlomiej Gorny, Antoni Ligeza 273

2 Consistency-based diagnosis: Reiter's Theory 275

3 Causal graph 276

4 Graphical notation 277

5 Problem formulation 277

6 Strategy for conflicts calculation and diagnoses generation 278

7 An approach to systematic conflict generation 279

8 Potential conflict structure 280

9 An outline of algorithmic approach 282

10 Diagnoses calculation - elements of algebraic approach 283

Modeling Through Human-Computer Interactions and Mathematical Discourse / Germana Menezes da Nobrega, Philippe Malbos, Jean Sallantin 293

1 Introducing [open phi]-calculus 295

2 An experiment in LAW 300

3 A formal system for [open phi]-calculus 301

Combining Strategy and Sub-models for the Objectified Communication of Research Programs / Ekkehard Finkeissen 313

1 Scientific objectification of decision-making 314

2 Strategy: Superior structure of discrete decisions 317

3 Embedding of sub-models into the decision-structure 322

4 Imbedding of intra-individual preferences into the decision model 324

5 Generating individual problem solutions with the decision model 326

6 Summary and prospects 328.

Notes:

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

Includes bibliographical references and indexes.

ISBN:

1402007124

1042007914

OCLC:

50322909