Change, choice and inference: a study of belief revision and nonmonotonic reasoning
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
2001
|
| Schriftenreihe: | Oxford logic guides
42 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 381 S. graph. Darst. |
| ISBN: | 0198503067 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013962880 | ||
| 003 | DE-604 | ||
| 005 | 20210601 | ||
| 007 | t | ||
| 008 | 011017s2001 d||| m||| 00||| eng d | ||
| 020 | |a 0198503067 |9 0-19-850306-7 | ||
| 035 | |a (OCoLC)248487104 | ||
| 035 | |a (DE-599)BVBBV013962880 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-29 |a DE-739 |a DE-19 |a DE-11 |a DE-188 |a DE-703 | ||
| 082 | 0 | |a 121.6 |2 21 | |
| 082 | 0 | |a 511.3 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Rott, Hans |d 1959- |e Verfasser |0 (DE-588)1225578868 |4 aut | |
| 245 | 1 | 0 | |a Change, choice and inference |b a study of belief revision and nonmonotonic reasoning |c Hans Rott |
| 264 | 1 | |a Oxford |b Clarendon Press |c 2001 | |
| 300 | |a XII, 381 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Oxford logic guides |v 42 | |
| 502 | |a Teilw. zugl.: Konstanz, Univ., Habil.-Schr., 1996 | ||
| 650 | 4 | |a Nichtmonotone Logik | |
| 650 | 4 | |a Nichtmonotones Schließen | |
| 650 | 4 | |a Choice (Psychology) | |
| 650 | 4 | |a Inference | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Nonmonotonic reasoning | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Meinungsänderung |0 (DE-588)4169345-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Meinungsänderung |0 (DE-588)4169345-0 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Oxford logic guides |v 42 |w (DE-604)BV000013997 |9 42 | |
| 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=009556095&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009556095 | ||
Datensatz im Suchindex
| _version_ | 1804128812539052032 |
|---|---|
| adam_text | CHANGE, CHOICE AND INFERENCE: A STUDY OF BELIEF REVISION AND
NONMONOTONIC REASONING HANS ROTT CLARENDON PRESS * OXFORD 2001 CONTENTS
0 OVERVIEW 1 DOXASTIC STATES AND THEIR REPRESENTATION 9 1.1 THE
MENAGERIE OF DOXASTIC STATES 9 1.2 REPRESENTING DOXASTIC STATES 22 1.2.1
BELIEF BASES: INDEPENDENT ITEMS OF INFORMATION 22 1.2.2 BELIEF SETS:
COHERENT THEORIES 23 1.2.3 ACCEPTANCE: BELIEFS AND EXPECTATIONS 25 1.2.4
LOGICS I: CONSEQUENCE OPERATIONS 30 1.2.5 LOGICS II: INFERENCE
OPERATIONS 31 1.2.6 ORDERINGS OF BELIEFS 34 1.2.7 MORE ON NONMONOTONIC
AND PARACONSISTENT INFERENCE OPERATIONS 38 1.2.8 BELIEF REVISION
STRATEGIES 43 2 EPISTEMOLOGY AND BELIEF CHANGE 46 2.1 EPISTEMOLOGY,
KNOWLEDGE REPRESENTATION AND REVISION 47 2.2 LEHRER S THEORY OF
KNOWLEDGE: CENTRAL DEFINITIONS 49 2.2.1 PERSONAL JUSTIFICATION AND THE
COMPARATIVE REASONABLENESS OF ACCEPTANCE 51 2.2.2 VARYING IMPERATIVES
FOR COHERENCE 54 2.2.3 UNDEFEATED JUSTIFICATION AND JUSTIFICATION GAMES
55 2.3 LEHRER S LOGICAL CONSTRAINTS FOR ELIMINATIONS AND REPLACEMENTS,
AND HOW TO IMPROVE THEM 58 2.4 EPISTEMOLOGY AND BELIEF CHANGE - A
SYMBIOTIC RELATIONSHIP 62 3 CHANGING DOXASTIC STATES: TWO COMPLEMENTARY
PERSPECTIVES 65 3.1 TWO DIMENSIONS OF BELIEF CHANGE 66 3.2 THREE TYPES
OF MAXIMS OF COHERENCE FOR BELIEF REPRESENTATION AND REVISION 67 3.2.1
INFERENTIAL COHERENCE, STATIC CONSTRAINTS 68 3.2.2 AN EXAMPLE: THE
POLISH SWAN 71 X CONTENTS 3.2.3 DIACHRONIC COHERENCE, ECONOMIC
CONSTRAINTS 72 3.2.4 COHERENCE OF CHOICE, DYNAMIC CONSTRAINTS 75 3.3 THE
VERTICAL AND THE HORIZONTAL PERSPECTIVE: DIRECT AND COHERENCE-
CONSTRAINED BELIEF CHANGE 75 3.4 FOUNDATIONALIST AND COHERENTIST BELIEF
CHANGE 76 3.4.1 TWO VARIANTS OF FOUNDATIONALIST BELIEF CHANGE 81 3.4.2
COHERENTIST BELIEF CHANGE: THE LOGIC-CONSTRAINED MODE OF REVISING
THEORIES 87 3.5 RELATING BELIEF CHANGE AND NONMONOTONIC REASONING 91
,3.6 THE DIALECTICS OF THE STATICS AND THE DYNAMICS OF DOXASTIC STATES
93 3.7 JUSTIFICATIONS IN MODELS OF BELIEF CHANGE 97 4 CONCEPTS OF
THEORETICAL RATIONALITY: POSTULATES FOR BELIEF CHANGE AND NONMONOTONIC
REASONING 100 4.1 BLACK BOXES, STRUCTURES AND RULES OF APPLICATION 100
4.2 POSTULATES FOR RATIONAL CONTRACTIONS 102 4.3 POSTULATES FOR RATIONAL
REVISIONS . 107 4.4 POSTULATES FOR RATIONAL NONMONOTONIC REASONING 111 5
FOUNDATIONAL BELIEF CHANGE USING NONMONOTONIC INFERENCE 120 5.1
MODELLING THE DIRECT MODE: DRAWING INFERENCES FROM INFORMATION BASES 121
5.1.1 INFALLIBLE FOUNDATIONS 122 5.1.2 FALLIBLE FOUNDATIONS: STRAIGHT
CLEARING OF INFORMATION - CONFLICTS 124 5.1.3 MODELLING THE DIRECT MODE
BY EXPECTATION REVISION . 126 5.2 MODELLING THE DIRECT MODE: COMBINING
INFORMATION AND EXPECTATION 127 5.2.1 INFORMATION BASES WITHOUT
PRIORITIES 127 5.2.2 PRIORITIZED INFORMATION BASES 130 5.2.3 ITERATED
BELIEF CHANGE IN THE DIRECT MODE 133 5.3 LOGICAL PROPERTIES OF REVISION
FUNCTIONS GENERATED BY THE DIRECT MODE 136 5.3.1 THE CASE OF INFALLIBLE
INFORMATION 137 5.3.2 THE CASE OF CLEARED INFORMATION 137 5.3.3 THE CASE
OF INTEGRATED PRIORITIZED INFORMATION: NON- PRESERVATIVE BELIEF CHANGE
138 6 A GENERAL CONCEPT OF PRACTICAL RATIONALITY: CONSTRAINTS FOR
COHERENT CHOICE 141 6.1 GENERAL CHOICE FUNCTIONS 144 6.1.1 A LIMITING
CHOICE: NOT HAVING TO CHOOSE 147 CONTENTS XI 6.1.2 ANOTHER LIMITING
CASE: REFUSING TO CHOOSE 149 6.2 THE CLASSICAL THEORY OF RATIONAL CHOICE
153 6.3 RATIONALIZABLE CHOICE . _ 154 6.4 TWO KINDS OF REVEALED
PREFERENCES 158 6.5 MORE CONDITIONS ON CHOICE FUNCTIONS 163 6.6
REMAINDER FUNCTIONS 164 7 COHERENTIST BELIEF CHANGE AS A PROBLEM OF
RATIONAL CHOICE 167 7.1 HOW TO GIVE IT UP: CHOICES BETWEEN MODELS 172
7.2 PARTIAL MEET CONTRACTION 175 7.3 HOW TO GIVE UP: CHOOSING WORST
SENTENCES 177 7.4 LOGICAL CONSTRAINTS FOR CHOICE FUNCTIONS OVER
SENTENCES 182 7.5 REVISION 185 7.6 NONMONOTONIC INFERENCE 187 7.6.1 AN
EXAMPLE: COMPOSERS AND COMPATRIOTS 188 7.7 REPRESENTATION THEOREMS FOR
SEMANTICALLY AND SYNTACTICALLY CHOICE-BASED CONTRACTION FUNCTIONS: A
REMARKABLE CONFLUENCE OF RESULTS 190 7.7.1 REPRESENTATION THEOREMS FOR
CONTRACTIONS 192 7.7.2 REPRESENTATION THEOREMS FOR REVISIONS 196 7.7.3
REPRESENTATION THEOREMS FOR NONMONOTONIC INFERENCES 200 7.7.4 THE QUEST
FOR EXPLANATION 205 7.8 LINKING CHOICES BETWEEN MODELS AND CHOICES
BETWEEN SENTENCES 208 7.9 WHAT HAVE WE ACHIEVED? .... 213 7.10 ITERATED
BELIEF CHANGE IN THE COHERENCE-CONSTRAINED MODE 217 8 REVEALED
PREFERENCES: UNDERSTANDING THE THEORY OF EPISTEMIC ENTRENCHMENT 223
8.1 BASIC PRINCIPLES 225 8.2 ENTRENCHMENTS AS REVEALED PREFERENCES:
TRANSLATIONS 229 8.2.1 THE ESSENTIAL CONNECTION 229 8.2.2 FROM
ENTRENCHMENTS TO CHOICES 230 8.2.3 FROM CHOICES TO ENTRENCHMENTS 231
8.2.4 ADMISSIBLE RELATIONS 233 8.2.5 REFUSING TO CHOOSE 235 8.2.6 NOT
HAVING TO CHOOSE 235 8.3 POSTULATES FOR EPISTEMIC ENTRENCHMENT 236 8.4
THE POSTULATES TRANSLATED 241 8.4.1 FROM COHERENT CHOICE TO EPISTEMIC
ENTRENCHMENT 241 8.4.2 LOGICAL CONSTRAINTS FOR ENTRENCHMENTS 244 8.4.3
FROM EPISTEMIC ENTRENCHMENT TO COHERENT CHOICE 245 8.5 IMPLICATIONS 246
XII CONTENTS 8.5.1 IMPLICATIONS BETWEEN CHOICE POSTULATES 246 8.5.2
IMPLICATIONS BETWEEN ENTRENCHMENT POSTULATES 247 8.6 THE SEMANTICS OF
EPISTEMIC ENTRENCHMENT 249 8.7 APPLYING EPISTEMIC ENTRENCHMENT IN
COHERENTIST BELIEF CHANGE: TWO CONSTRUCTION RECIPES 253 8.8 FUNCTIONAL
AND RELATIONAL BELIEF CHANGE 264 APPENDIX A: PROOFS FOR CHAPTER 4 268
APPENDIX B: PROOFS FOR CHAPTER 5 27A APPENDIX C: PROOFS FOR CHAPTER 6
284 APPENDIX D: PROOFS FOR CHAPTER 7 292 APPENDIX E: PROOFS FOR CHAPTER
8 320 REFERENCES 353 INDEX OF SYMBOLS 369 INDEX OF NAMES 371 SUBJECT
INDEX 374
|
| any_adam_object | 1 |
| author | Rott, Hans 1959- |
| author_GND | (DE-588)1225578868 |
| author_facet | Rott, Hans 1959- |
| author_role | aut |
| author_sort | Rott, Hans 1959- |
| author_variant | h r hr |
| building | Verbundindex |
| bvnumber | BV013962880 |
| classification_rvk | CC 2500 |
| ctrlnum | (OCoLC)248487104 (DE-599)BVBBV013962880 |
| dewey-full | 121.6 511.3 |
| dewey-hundreds | 100 - Philosophy & psychology 500 - Natural sciences and mathematics |
| dewey-ones | 121 - Epistemology (Theory of knowledge) 511 - General principles of mathematics |
| dewey-raw | 121.6 511.3 |
| dewey-search | 121.6 511.3 |
| dewey-sort | 3121.6 |
| dewey-tens | 120 - Epistemology, causation, humankind 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01891nam a2200493 cb4500</leader><controlfield tag="001">BV013962880</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210601 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">011017s2001 d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198503067</subfield><subfield code="9">0-19-850306-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248487104</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013962880</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-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">121.6</subfield><subfield code="2">21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rott, Hans</subfield><subfield code="d">1959-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1225578868</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Change, choice and inference</subfield><subfield code="b">a study of belief revision and nonmonotonic reasoning</subfield><subfield code="c">Hans Rott</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 381 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">Oxford logic guides</subfield><subfield code="v">42</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Teilw. zugl.: Konstanz, Univ., Habil.-Schr., 1996</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nichtmonotone Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nichtmonotones Schließen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Choice (Psychology)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Inference</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonmonotonic reasoning</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Meinungsänderung</subfield><subfield code="0">(DE-588)4169345-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Meinungsänderung</subfield><subfield code="0">(DE-588)4169345-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Oxford logic guides</subfield><subfield code="v">42</subfield><subfield code="w">(DE-604)BV000013997</subfield><subfield code="9">42</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=009556095&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-009556095</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV013962880 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:55:11Z |
| institution | BVB |
| isbn | 0198503067 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009556095 |
| oclc_num | 248487104 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-29 DE-739 DE-19 DE-BY-UBM DE-11 DE-188 DE-703 |
| owner_facet | DE-355 DE-BY-UBR DE-29 DE-739 DE-19 DE-BY-UBM DE-11 DE-188 DE-703 |
| physical | XII, 381 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Clarendon Press |
| record_format | marc |
| series | Oxford logic guides |
| series2 | Oxford logic guides |
| spelling | Rott, Hans 1959- Verfasser (DE-588)1225578868 aut Change, choice and inference a study of belief revision and nonmonotonic reasoning Hans Rott Oxford Clarendon Press 2001 XII, 381 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Oxford logic guides 42 Teilw. zugl.: Konstanz, Univ., Habil.-Schr., 1996 Nichtmonotone Logik Nichtmonotones Schließen Choice (Psychology) Inference Logic, Symbolic and mathematical Nonmonotonic reasoning Logik (DE-588)4036202-4 gnd rswk-swf Meinungsänderung (DE-588)4169345-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Meinungsänderung (DE-588)4169345-0 s Logik (DE-588)4036202-4 s DE-604 Oxford logic guides 42 (DE-604)BV000013997 42 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009556095&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Rott, Hans 1959- Change, choice and inference a study of belief revision and nonmonotonic reasoning Oxford logic guides Nichtmonotone Logik Nichtmonotones Schließen Choice (Psychology) Inference Logic, Symbolic and mathematical Nonmonotonic reasoning Logik (DE-588)4036202-4 gnd Meinungsänderung (DE-588)4169345-0 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4169345-0 (DE-588)4113937-9 |
| title | Change, choice and inference a study of belief revision and nonmonotonic reasoning |
| title_auth | Change, choice and inference a study of belief revision and nonmonotonic reasoning |
| title_exact_search | Change, choice and inference a study of belief revision and nonmonotonic reasoning |
| title_full | Change, choice and inference a study of belief revision and nonmonotonic reasoning Hans Rott |
| title_fullStr | Change, choice and inference a study of belief revision and nonmonotonic reasoning Hans Rott |
| title_full_unstemmed | Change, choice and inference a study of belief revision and nonmonotonic reasoning Hans Rott |
| title_short | Change, choice and inference |
| title_sort | change choice and inference a study of belief revision and nonmonotonic reasoning |
| title_sub | a study of belief revision and nonmonotonic reasoning |
| topic | Nichtmonotone Logik Nichtmonotones Schließen Choice (Psychology) Inference Logic, Symbolic and mathematical Nonmonotonic reasoning Logik (DE-588)4036202-4 gnd Meinungsänderung (DE-588)4169345-0 gnd |
| topic_facet | Nichtmonotone Logik Nichtmonotones Schließen Choice (Psychology) Inference Logic, Symbolic and mathematical Nonmonotonic reasoning Logik Meinungsänderung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009556095&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000013997 |
| work_keys_str_mv | AT rotthans changechoiceandinferenceastudyofbeliefrevisionandnonmonotonicreasoning |