Logical tools for modelling legal argument: a study of defeasible reasoning in law
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht ; Boston ; London
Kluwer Academic Publishers
1997
|
| Schriftenreihe: | Law and philosophy library
32 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 314 Seiten |
| ISBN: | 0792347765 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011769194 | ||
| 003 | DE-604 | ||
| 005 | 20191127 | ||
| 007 | t | ||
| 008 | 980211s1997 |||| 00||| eng d | ||
| 020 | |a 0792347765 |9 0-7923-4776-5 | ||
| 035 | |a (OCoLC)832830702 | ||
| 035 | |a (DE-599)BVBBV011769194 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-12 |a DE-M382 |a DE-20 |a DE-29 | ||
| 084 | |a PI 3020 |0 (DE-625)136586: |2 rvk | ||
| 100 | 1 | |a Prakken, Henry |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logical tools for modelling legal argument |b a study of defeasible reasoning in law |c Henry Prakken, Department of Computer Science, Free University of Amsterdam, The Netherlands |
| 264 | 1 | |a Dordrecht ; Boston ; London |b Kluwer Academic Publishers |c 1997 | |
| 300 | |a XIII, 314 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Law and philosophy library |v 32 | |
| 650 | 0 | 7 | |a Juristische Logik |0 (DE-588)4135337-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Juristische Argumentation |0 (DE-588)4129291-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Juristische Argumentation |0 (DE-588)4129291-1 |D s |
| 689 | 0 | 1 | |a Juristische Logik |0 (DE-588)4135337-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Law and philosophy library |v 32 |w (DE-604)BV000019168 |9 32 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007941812&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007941812 | ||
Datensatz im Suchindex
| _version_ | 1804126311489208320 |
|---|---|
| adam_text | HENRY PRAKKEN DEPARTMENT OFCOMPUTER SCIENCE, FREE UNIVERSITY OF
AMSTERDAM, THE NETHERLANDS LOGICAL TOOLS FOR MODELLING LEGAL ARGUMENT A
STUDY OF DEFEASIBLE REASONING IN LAW W KLUWER ACADEMIC PUBLISHERS
DORDRECHT / BOSTON / LONDON TABLE OF CONTENTS PREFACE XI 1 INTRODUCTION
1 1.1 AI, LOGIC AND LEGAL REASONING: SOME GENERAL REMARKS . . 1 1.1.1 AN
OVERVIEW 1 1.1.2 ARTIFICIAL INTELLIGENCE 2 1.1.3 COMPUTABLE ASPECTS OF
LEGAL REASONING 5 1.1.4 THE ROLE OF LOGIC 6 1.2 THE FOCUS OF RESEARCH 7
1.3 LOGIC AND AI 8 1.3.1 THE DECLARATIVE VS. PROCEDURAL DEBATE 8 1.3.2
LOGICS AND PROGRAMMING SYSTEMS 9 1.3.3 LOGIC AND REASONING 11 1.4 POINTS
OF DEPARTURE 12 1.5 THE STRUCTURE OF THIS BOOK 13 2 THE ROLE OF LOGIC IN
LEGAL REASONING 15 2.1 THREE MISUNDERSTANDINGS ABOUT LOGIC 16 2.1.1 TO
FORMALIZE IS TO DEFINE COMPLETELY 16 2.1.2 FORMALIZATION LEAVES NO
ROOM FOR INTERPRETATION . 17 2.1.3 LOGIC EXCLUDES NONDEDUCTIVE MODES
OF REASONING . 18 2.2 THE DEDUCTIVIST FALLACY 18 2.2.1 NAIVE
DEDUCTIVISM 19 2.2.2 THE CRITICISM 20 2.2.3 THE MISUNDERSTANDING 23
2.2.4 THE MERITS OF THE CRITICISM 25 2.3 NONINFERENTIAL REASONING WITH
LOGICAL TOOLS 26 2.4 RULE-BASED AND CASE-BASED REASONING 30 2.5 SUMMARY
31 3 THE NEED FOR NEW LOGICAL TOOLS 33 3.1 THE SEPARATION OF RULES AND
EXCEPTIONS IN LEGISLATION ... 34 3.1.1 TERMINOLOGY 35 3.1.2 EXAMPLES 36
VI TABLE OF CONTENTS 3.1.3 FORMALIZATIONS IN STANDARD LOGIC 37 3.1.4
NONSTANDARD METHODS 41 3.2 DEFEASIBILITY OF LEGAL RULES 47 3.3 OPEN
TEXTURE 49 3.3.1 CLASSIFICATION PROBLEMS 50 3.3.2 DEFEASIBILITY OF LEGAL
CONCEPTS 52 3.3.3 VAGUENESS 54 3.4 WHICH NONSTANDARD TECHNIQUES ARE
NEEDED? 55 3.4.1 REASONING WITH INCONSISTENT INFORMATION 55 3.4.2
NONMONOTONIC REASONING 56 3.5 AL-AND-LAW PROGRAMS WITH NONSTANDARD
FEATURES 61 3.5.1 THE LAW AS LOGIC PROGRAMS 61 3.5.2 TAXMAN II 61 3.5.3
GARDNER S PROGRAM 62 3.5.4 CABARET 63 LOGICS FOR NONMONOTONIC REASONING
67 4.1 NONMONOTONIC LOGICS 68 4.1.1 CONSISTENCY-BASED APPROACHES 68
4.1.2 AUTOEPISTEMIC LOGIC 73 4.1.3 MINIMIZATION 76 4.1.4 CONDITIONAL
APPROACHES 87 4.1.5 INCONSISTENCY HANDLING 89 4.2 GENERAL ISSUES 93
4.2.1 PREFERENTIAL ENTAILMENT 93 4.2.2 PROPERTIES OF CONSEQUENCE NOTIONS
94 4.2.3 CONNECTIONS 96 4.2.4 TRUTH MAINTENANCE SYSTEMS 97 4.3
OBJECTIONS TO NONMONOTONIC LOGICS 97 4.3.1 LOGIC IS MONOTONIE 97 4.3.2
INTRACTABILITY 99 REPRESENTING EXPLICIT EXCEPTIONS 101 5.1 INTRODUCTION
102 5.1.1 METHODS OF REPRESENTING RULES AND EXCEPTIONS ... 102 5.1.2
KINDS OF EXCEPTIONS 102 5.1.3 REQUIREMENTS FOR REPRESENTING RULES AND
EXCEPTIONS 103 5.2 DEFAULT LOGIC 105 5.2.1 SPECIFIC EXCEPTION CLAUSES
106 5.2.2 GENERAL EXCEPTION CLAUSES 107 5.2.3 EVALUATION 111 5.3
CIRCUMSCRIPTION 112 TABLE OF CONTENTS VII 5.4 POOLE S FRAMEWORK FOR
DEFAULT REASONING 117 5.5 LOGIC-PROGRAMMING S NEGATION AS FAILURE 120
5.5.1 SPECIFIC EXCEPTION CLAUSES 121 5.5.2 GENERAL EXCEPTION CLAUSES 122
5.5.3 LOGIC PROGRAMS WITH CLASSICAL NEGATION 125 5.5.4 SUMMARY 129 5.6
EVALUATION 129 5.6.1 A FORMALIZATION METHODOLOGY 130 5.6.2
DIRECTIONALITY OF DEFAULTS 134 5.6.3 CONTRAPOSITIVE INFERENCES 135 5.6.4
ASSESSMENT OF THE EXCEPTION CLAUSE APPROACH . . . 136 PREFERRING THE
MOST SPECIFIC ARGUMENT 141 6.1 INTRODUCTION 141 6.2 POOLE: PREFERRING
THE MOST SPECIFIC EXPLANATION 143 6.3 PROBLEMS 148 6.3.1 SOME POSSIBLE
FACTS ARE IRRELEVANT 148 6.3.2 MULTIPLE CONFLICTS IGNORED 149 6.3.3
DEFAULTS CANNOT BE REPRESENTED IN STANDARD LOGIC . 150 6.4 A SYSTEM FOR
CONSTRUCTING AND COMPARING ARGUMENTS . . . 151 6.4.1 GENERAL REMARKS 151
6.4.2 THE UNDERLYING LOGICAL LANGUAGE 152 6.4.3 ARGUMENTS 154 6.4.4
CONFLICTS BETWEEN ARGUMENTS 156 6.4.5 COMPARING ARGUMENTS 158 6.4.6
INFORMAL SUMMARY 163 6.5 THE ASSESSMENT OF ARGUMENTS 163 6.5.1 THE
GENERAL IDEA 163 6.5.2 THE DIALOGUE GAME DEFINED 166 6.5.3 ILLUSTRATIONS
170 6.6 COMBINING PRIORITIES AND EXCEPTION CLAUSES 172 6.6.1 EXTENDING
THE SYSTEM 172 6.6.2 ILLUSTRATIONS 175 6.7 EVALUATION 177 REASONING WITH
INCONSISTENT INFORMATION 179 7.1 INTRODUCTION 179 7.2 EXISTING
FORMALIZATIONS OF INCONSISTENCY TOLERANT REASONING 180 7.2.1 ALCHOURROEN
& MAKINSON (1981) 181 7.2.2 BELIEF REVISION APPROACHES 183 7.2.3
BREWKA S PREFERRED-SUBTHEORIES APPROACH 187 7.3 DIAGNOSIS 188 VIII TABLE
OF CONTENTS 7.4 HIERARCHICAL DEFEAT 191 7.5 GENERAL FEATURES OF THE
SYSTEM 193 7.5.1 PROPERTIES OF THE CONSEQUENCE NOTION 193 7.5.2
SCEPTICAL AND CREDULOUS REASONING 195 7.5.3 FLOATING CONCLUSIONS 196
7.5.4 ACCRUAL OF ARGUMENTS 198 7.6 CONCLUSION 200 8 REASONING ABOUT
PRIORITY RELATIONS 203 8.1 INTRODUCTION 203 8.2 LEGAL ISSUES 204 8.2.1
LEGAL COLLISION RULES 204 8.2.2 REQUIREMENTS FOR A FORMAL ANALYSIS 205
8.3 EXTENDING THE DEFINITIONS 206 8.4 A FORMALIZATION METHODOLOGY 210
8.5 EXAMPLES 212 8.6 AN ALTERNATIVE METHOD 217 9 SYSTEMS FOR DEFEASIBLE
ARGUMENTATION 219 9.1 ARGUMENTATION SYSTEMS 219 9.2 SOME ARGUMENTATION
SYSTEMS 221 9.2.1 THE BONDARENKO-DUNG-KOWALSKI-TONI APPROACH . . 221
9.2.2 POLLOCK 226 9.2.3 LIN AND SHOHAM 229 9.2.4 VREESWIJK S ABSTRACT
ARGUMENTATION SYSTEMS .... 230 9.2.5 NUTE S DEFEASIBLE LOGIC 232 9.2.6
SIMARI AND LOUI 235 9.2.7 GEFFNER AND PEARL S CONDITIONAL ENTAILMENT 235
9.2.8 GENERAL COMPARISON 237 9.3 OTHER RELEVANT RESEARCH 238 9.3.1
BREWKA S LATER WORK 238 9.3.2 REASON-BASED LOGIC 240 10 USING THE
ARGUMENTATION SYSTEM 249 10.1 A COMPARISON OF THE METHODS FOR
REPRESENTING EXCEPTIONS 249 10.2 IMPLEMENTATIONAL CONCERNS 253 10.3
APPLICATIONS 255 10.3.1 TOULMIN ON THE STRUCTURE OF ARGUMENTS 255 10.3.2
THE SYSTEM AS A TOOL IN REASONING 256 10.4 A LOGICAL ANALYSIS OF SOME
IMPLEMENTED SYSTEMS 258 10.4.1 GARDNER S PROGRAM 258 10.4.2 CABARET 261
10.4.3 APPLICATIONS OF LOGIC METAPROGRAMMING 262 TABLE OF CONTENTS IX
10.4.4 FREEMAN AND FARLEY S DART SYSTEM 263 10.4.5 THE PLEADINGS GAME
264 10.5 FOUR LAYERS IN LEGAL ARGUMENTATION 270 11 CONCLUSION 275 11.1
SUMMARY 275 11.2 MAINRESULTS 276 11.3 IMPLICATIONS FOR OTHER ISSUES 281
11.4 SUGGESTIONS FOR FURTHER RESEARCH 284 A NOTATIONS, ORDERINGS AND
GLOSSARY 287 AI GENERAL SYMBOLS AND NOTATIONS 287 A2 ORDERING RELATIONS
288 A3 NOTIONS OF THE ARGUMENTATION SYSTEM OF CHAPTERS 6-8 . . . 289 A4
GLOSSARY 289 REFERENCES 293 INDEX 303
|
| any_adam_object | 1 |
| author | Prakken, Henry |
| author_facet | Prakken, Henry |
| author_role | aut |
| author_sort | Prakken, Henry |
| author_variant | h p hp |
| building | Verbundindex |
| bvnumber | BV011769194 |
| classification_rvk | PI 3020 |
| ctrlnum | (OCoLC)832830702 (DE-599)BVBBV011769194 |
| discipline | Rechtswissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01580nam a2200361 cb4500</leader><controlfield tag="001">BV011769194</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191127 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980211s1997 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792347765</subfield><subfield code="9">0-7923-4776-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)832830702</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011769194</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-M382</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PI 3020</subfield><subfield code="0">(DE-625)136586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Prakken, Henry</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical tools for modelling legal argument</subfield><subfield code="b">a study of defeasible reasoning in law</subfield><subfield code="c">Henry Prakken, Department of Computer Science, Free University of Amsterdam, The Netherlands</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht ; Boston ; London</subfield><subfield code="b">Kluwer Academic Publishers</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 314 Seiten</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">Law and philosophy library</subfield><subfield code="v">32</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Juristische Logik</subfield><subfield code="0">(DE-588)4135337-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Juristische Argumentation</subfield><subfield code="0">(DE-588)4129291-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Juristische Argumentation</subfield><subfield code="0">(DE-588)4129291-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Juristische Logik</subfield><subfield code="0">(DE-588)4135337-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Law and philosophy library</subfield><subfield code="v">32</subfield><subfield code="w">(DE-604)BV000019168</subfield><subfield code="9">32</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=007941812&sequence=000001&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-007941812</subfield></datafield></record></collection> |
| id | DE-604.BV011769194 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:15:26Z |
| institution | BVB |
| isbn | 0792347765 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007941812 |
| oclc_num | 832830702 |
| open_access_boolean | |
| owner | DE-739 DE-12 DE-M382 DE-20 DE-29 |
| owner_facet | DE-739 DE-12 DE-M382 DE-20 DE-29 |
| physical | XIII, 314 Seiten |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Kluwer Academic Publishers |
| record_format | marc |
| series | Law and philosophy library |
| series2 | Law and philosophy library |
| spelling | Prakken, Henry Verfasser aut Logical tools for modelling legal argument a study of defeasible reasoning in law Henry Prakken, Department of Computer Science, Free University of Amsterdam, The Netherlands Dordrecht ; Boston ; London Kluwer Academic Publishers 1997 XIII, 314 Seiten txt rdacontent n rdamedia nc rdacarrier Law and philosophy library 32 Juristische Logik (DE-588)4135337-7 gnd rswk-swf Juristische Argumentation (DE-588)4129291-1 gnd rswk-swf Juristische Argumentation (DE-588)4129291-1 s Juristische Logik (DE-588)4135337-7 s DE-604 Law and philosophy library 32 (DE-604)BV000019168 32 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007941812&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Prakken, Henry Logical tools for modelling legal argument a study of defeasible reasoning in law Law and philosophy library Juristische Logik (DE-588)4135337-7 gnd Juristische Argumentation (DE-588)4129291-1 gnd |
| subject_GND | (DE-588)4135337-7 (DE-588)4129291-1 |
| title | Logical tools for modelling legal argument a study of defeasible reasoning in law |
| title_auth | Logical tools for modelling legal argument a study of defeasible reasoning in law |
| title_exact_search | Logical tools for modelling legal argument a study of defeasible reasoning in law |
| title_full | Logical tools for modelling legal argument a study of defeasible reasoning in law Henry Prakken, Department of Computer Science, Free University of Amsterdam, The Netherlands |
| title_fullStr | Logical tools for modelling legal argument a study of defeasible reasoning in law Henry Prakken, Department of Computer Science, Free University of Amsterdam, The Netherlands |
| title_full_unstemmed | Logical tools for modelling legal argument a study of defeasible reasoning in law Henry Prakken, Department of Computer Science, Free University of Amsterdam, The Netherlands |
| title_short | Logical tools for modelling legal argument |
| title_sort | logical tools for modelling legal argument a study of defeasible reasoning in law |
| title_sub | a study of defeasible reasoning in law |
| topic | Juristische Logik (DE-588)4135337-7 gnd Juristische Argumentation (DE-588)4129291-1 gnd |
| topic_facet | Juristische Logik Juristische Argumentation |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007941812&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000019168 |
| work_keys_str_mv | AT prakkenhenry logicaltoolsformodellinglegalargumentastudyofdefeasiblereasoninginlaw |