The reach of abduction insight and trial:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam [u.a.]
Elsevier
2005
|
| Edition: | 1. ed. |
| Series: | A practical logic of cognitive systems
2 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XVIII, 476 S. graph. Darst. |
| ISBN: | 044451791X |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV026554224 | ||
| 003 | DE-604 | ||
| 005 | 20110228 | ||
| 007 | t | ||
| 008 | 110326s2005 d||| |||| 00||| eng d | ||
| 010 | |a 2003051004 | ||
| 020 | |a 044451791X |9 0-444-51791-X | ||
| 035 | |a (OCoLC)255844590 | ||
| 035 | |a (DE-599)BVBBV026554224 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-188 | ||
| 082 | 0 | |a 160 | |
| 100 | 1 | |a Gabbay, Dov M. |d 1945- |e Verfasser |0 (DE-588)124196314 |4 aut | |
| 245 | 1 | 0 | |a The reach of abduction insight and trial |c Dov M. Gabbay and John Woods |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier |c 2005 | |
| 300 | |a XVIII, 476 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a A practical logic of cognitive systems |v 2 | |
| 650 | 4 | |a Logic | |
| 650 | 0 | 7 | |a Abduktion |g Logik |0 (DE-588)4120817-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Abduktion |g Logik |0 (DE-588)4120817-1 |D s |
| 689 | 0 | |5 DE-188 | |
| 700 | 1 | |a Woods, John |e Verfasser |4 aut | |
| 830 | 0 | |a A practical logic of cognitive systems |v 2 |w (DE-604)BV035547810 |9 2 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022116712&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-022116712 | ||
Record in the Search Index
| _version_ | 1804145144692211712 |
|---|---|
| adam_text | Contents
Acknowledgements xiii
Preface xvii
A Practical Logic of Cognitive Systems 1
1 Introduction 1
2 Practical Logic 9
2.1 First Thoughts on a Practical Logic 9
2.1.1 AHierarchy of AgencyTypes 10
2.1.2 PeculiaritiesoflnstitutionalAgents 15
2.1.3 Normativity 18
2.1.4 Mathematical Models 22
2.1.5 Slight-resource Adjustment Strategies 24
2.1.6 Hasty Generalization 24
2.1.7 Generic Inference 24
2.1.8 Natural Kinds 25
2.1.9 Defaults 26
2.1.10 Discourse Economies 26
2.1.11 Consciousness 27
2.2 Practical Logic 30
2.3 Connectionist Logic 32
2.3.1 Fallacies 33
Conceptual Models of Abduction 37
3 The Structureof Abduction 39
vii
{
viii CONTENTS
3.1 Introductory Remark on Abduction 39 I
3.2 The Elementary Structure of Abductive Logic 40 ,
3.3 Expanding the Schema 42 :
3.4 Frames 44
3.5 Generalizing IPs 45
3.6 Avoiding a Confusion 45
3.7 Locating Abduction on the Logical Map 46
3.8 Abductive Schematics 47
3.8.1 Consequentialist Abduction 47
3.8.2 TheGoodthatARTMDoes 53
3.8.3 The Reachof Abduction 54
3.8.4 Simplicity 56
3.9 The Cut Down Problem 56
3.9.1 Abduction as Practical 58
3.9.2 Proof-theoretic Abduction 58
3.10 The Adaptive and the Epistemically Subpar 62
3.11 Knowledge-Sets 63
3.12 Filtration Structures 66
3.13 Hypothesis-Engagement 69
3.14 Grounds of Action 70
3.15 Tasks for an Abductive Logic 71
4 Explanationist Abduction 75
4.1 Peirce 75
4.1.1 Surprise 81
4.1.2 Testability and Economics 82
4.1.3 Insight and Trial 85
4.2 Rationality and Diminished Epistemic Virtue 86
4.3 Explanationism 87
4.3.1 The CoveringLaw Model 90
4.3.2 The Rational Model 93
4.3.3 Teleological Explanation 96
4.3.4 The Pluralism of Explanation 99
4.4 Assessing/5£ 100
4.5 Characteristicness 102
4.6 Hanson 104
4.7 Darden 109
4.8 Fodor 109
4.9 Adaptive Explanationism 110
4.10 Non-abductive Conjecture 113
CONTENTS ix
5 Non-PIausibilistic Abduction 115
5.1 Introductory remark 115
5.2 Newton 116
5.3 Planck 121
5.4 Physical Dependencies 122
5.5 The Superstring Controversy 123
5.6 Russell and Gödel 125
5.7 The Consequence Relation , . 129
5.8 Lakatos 134
5.9 Hintikka 138
5.10 Empirical Progress 141
5.11 Semantic Tableaux 142
5.11.1 Assessing Semantic Tableau Abduction 146
5.11.2 Islt Abduction? 147
5.12 Inconsistency Again 148
5.12.1 Bayesian Inference 150
6 Diagnostic Abduction in AI 155
6.1 Explanationist Diagnostics 155
6.1.1 Difficulties with AP 161
6.2 Another Example 163
6.2.1 Remarks 169
6.3 Coherentism and Probabilism 170
6.3.1 The RivalryofExplanationism and Probabilism 170
6.4 Explanatory Coherence 171
6.4.1 Probabilistic Networks 174
6.5 Pearl Networks for ECHO 176
6.6 Neuropharmacological Intervention 180
6.7 Mechanizing Abduction 184
6.8 Abduction in Neural-Symbolic Networks 189
7 The Characteristic and the Plausible 195
7.1 TheOpenDoor 195
7.1.1 The Element of Surprise 196
7.1.2 Plausibility 200
7.1.3 A Resolution Point 201
7.1.4 How to Get Determinacy Out of Indeterminacy 202
7.1.5 Alternatives 204
7.2 The Piccadilly Line 206
7.3 Plausibility Again 209
7.3.1 Historical Note on Plausibility 210
I
i
x CONTENTS
7.3.2 Cut-to-the Chase Abduction 212 I
7.4 Characteristicness 213 |
7.5 Common Knowledge 219 j
7.6 Rescher s Plausibility Logic 222
7.6.1 Reliability 227
7.6.2 Axioms for Plausibility 228
7.7 Plausibility and Presumption 232
7.8 Brief Concluding Remarks 237
8 Relevance and Analogy 239
8.1 Relevance 239
8.1.1 Relevance as Cognitive 240
8.1.2 Topical Relevance 243
8.1.3 Contextual Effects 247
8.2 Irredundancy Relevance 248
8.3 Relevance and Cutting to the Chase 250
8.4 Legal Relevance 254
8.4.1 Ideology 256
8.5 Legal Presumption 258
8.5.1 Types of Presumption 260
8.5.2 The Reasonable Person 264
8.5.3 Reasonable Doubt 265
8.6 Hypothesis-Discharge 268
8.7 The Probativity Question 269
8.8 Revision Structures 270
8.8.1 Proof Standards 272
8.8.2 Analogy 274
8.8.3 TheMetaApproach 276
8.8.4 Similarity 281
8.9 Analogy in Law 282
8.9.1 Precedent 284
8.10 Analogue Modelling 286
9 Interpretation Abduction 289
9.1 Hermeneutics 289
9.1.1 Enthymemes 291
9.1.2 Fermat s Last Theorem 294
9.2 Enthymeme Resolution as Abductive 296
9.2.1 TheAttackonAnalyticity 298
9.2.2 Inarticulacy as Economics 300
9.2.3 Some Virtual Guidelines 302
CONTENTS xi
9.2.4 Background Knowledge 303
9.3 Charity 305
9.3.1 Indeterminacyof Translation 307
9.4 Is it Abduction (Again)? 312
9.5 Constitutional Inarticulacies 313
9.5.1 Inarticulate Understanding 313
9.6 Visual Abduction 317
9.7 Empathy 319
9.7.1 Discourse Empathies 321
9.8 Semantic Space Interpretation ofTexts 323
9.8.1 The Raynaud-Fish Oil Abduction 328
Formal Models of Abduction 333
10 AGIimpseofFormality 335
10.1 Introduction 335
10.1.1 TheAKMmodel 336
10.1.2 The GW Model 342
10.2 Some Schematic Remarks 344
10.3 Case Study: Defeasible Logic 351
11 A General Theory of Logical Systems 357
11.1 Introduction 357
11.2 Logical Systems 360
11.3 Refining the Notion ofa Logical System 372
11.3.1 Structured consequence 372
11.3.2 Algorithmic structured consequence relation 373
11.3.3 Mechanisms 376
11.3.4 Modes of Evaluation 378
11.3.5 TAR-Logics 380
11.3.6 Relevance 382
11.4 Discussion and Further Reading 382
12 A Base Logic 383
12.1 Formal Abduction: An Overview 383
12.2 IntroducingLDS 388
12.2.1 LDSfor^ 388
12.2.2 ExamplesofResourceLDS 391
12.3 Goal Directed Algorithm for = $ 397
12.3.1 The Algorithm 398
12.3.2 Examples 400
xii CONTENTS |
i
12.4 Intuitive Theoryof Labelled Abduction 402
12.4.1 Abduction in Knowledge Bases 403
12.4.2 Abduction in Planning and Natural Language 409
12.4.3 Abduction in Logic Programming 411 ;
12.4.4 A Conversation Between Two Intelligent Databases . ... 418 i
13 An Abductive Mechanism for the Base Logic 423
13.1 Introduction 423
13.2 Abduction Algorithm for =» 430
13.3 Case Study: Abduction for Intuitionistic Implications 432
13.4 Case Study: Abduction for Relevance Logic 437
13.5 Conclusion 441
Bibliography 443
Index 473
|
| any_adam_object | 1 |
| author | Gabbay, Dov M. 1945- Woods, John |
| author_GND | (DE-588)124196314 |
| author_facet | Gabbay, Dov M. 1945- Woods, John |
| author_role | aut aut |
| author_sort | Gabbay, Dov M. 1945- |
| author_variant | d m g dm dmg j w jw |
| building | Verbundindex |
| bvnumber | BV026554224 |
| ctrlnum | (OCoLC)255844590 (DE-599)BVBBV026554224 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| edition | 1. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01433nam a2200385 cb4500</leader><controlfield tag="001">BV026554224</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110228 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110326s2005 d||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2003051004</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">044451791X</subfield><subfield code="9">0-444-51791-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255844590</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV026554224</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124196314</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The reach of abduction insight and trial</subfield><subfield code="c">Dov M. Gabbay and John Woods</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 476 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">A practical logic of cognitive systems</subfield><subfield code="v">2</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abduktion</subfield><subfield code="g">Logik</subfield><subfield code="0">(DE-588)4120817-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Abduktion</subfield><subfield code="g">Logik</subfield><subfield code="0">(DE-588)4120817-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Woods, John</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">A practical logic of cognitive systems</subfield><subfield code="v">2</subfield><subfield code="w">(DE-604)BV035547810</subfield><subfield code="9">2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022116712&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022116712</subfield></datafield></record></collection> |
| id | DE-604.BV026554224 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T23:14:47Z |
| institution | BVB |
| isbn | 044451791X |
| language | English |
| lccn | 2003051004 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022116712 |
| oclc_num | 255844590 |
| open_access_boolean | |
| owner | DE-188 |
| owner_facet | DE-188 |
| physical | XVIII, 476 S. graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Elsevier |
| record_format | marc |
| series | A practical logic of cognitive systems |
| series2 | A practical logic of cognitive systems |
| spelling | Gabbay, Dov M. 1945- Verfasser (DE-588)124196314 aut The reach of abduction insight and trial Dov M. Gabbay and John Woods 1. ed. Amsterdam [u.a.] Elsevier 2005 XVIII, 476 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier A practical logic of cognitive systems 2 Logic Abduktion Logik (DE-588)4120817-1 gnd rswk-swf Abduktion Logik (DE-588)4120817-1 s DE-188 Woods, John Verfasser aut A practical logic of cognitive systems 2 (DE-604)BV035547810 2 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022116712&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Gabbay, Dov M. 1945- Woods, John The reach of abduction insight and trial A practical logic of cognitive systems Logic Abduktion Logik (DE-588)4120817-1 gnd |
| subject_GND | (DE-588)4120817-1 |
| title | The reach of abduction insight and trial |
| title_auth | The reach of abduction insight and trial |
| title_exact_search | The reach of abduction insight and trial |
| title_full | The reach of abduction insight and trial Dov M. Gabbay and John Woods |
| title_fullStr | The reach of abduction insight and trial Dov M. Gabbay and John Woods |
| title_full_unstemmed | The reach of abduction insight and trial Dov M. Gabbay and John Woods |
| title_short | The reach of abduction insight and trial |
| title_sort | the reach of abduction insight and trial |
| topic | Logic Abduktion Logik (DE-588)4120817-1 gnd |
| topic_facet | Logic Abduktion Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022116712&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV035547810 |
| work_keys_str_mv | AT gabbaydovm thereachofabductioninsightandtrial AT woodsjohn thereachofabductioninsightandtrial |