Readings in nonmonotonic reasoning:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Los Altos, Calif.
Morgan Kaufmann
1987
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 466 - 477 |
| Beschreibung: | VIII, 481 S. graph. Darst. |
| ISBN: | 0934613451 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV000805922 | ||
| 003 | DE-604 | ||
| 005 | 20121026 | ||
| 007 | t | ||
| 008 | 880920s1987 d||| |||| 00||| eng d | ||
| 020 | |a 0934613451 |9 0-934613-45-1 | ||
| 035 | |a (OCoLC)476265631 | ||
| 035 | |a (DE-599)BVBBV000805922 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-19 |a DE-739 |a DE-355 |a DE-29 |a DE-188 | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a DAT 708f |2 stub | ||
| 245 | 1 | 0 | |a Readings in nonmonotonic reasoning |c ed. by Matthew L. Ginsberg |
| 246 | 1 | 3 | |a Nonmonotonic reasoning |
| 264 | 1 | |a Los Altos, Calif. |b Morgan Kaufmann |c 1987 | |
| 300 | |a VIII, 481 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 466 - 477 | ||
| 650 | 0 | 7 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nichtmonotone Logik |0 (DE-588)4278597-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Denken |0 (DE-588)4011450-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Nichtmonotone Logik |0 (DE-588)4278597-2 |D s |
| 689 | 0 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Denken |0 (DE-588)4011450-8 |D s |
| 689 | 2 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 3 | 1 | |a Denken |0 (DE-588)4011450-8 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Ginsberg, Matthew L. |e Sonstige |4 oth | |
| 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=000505129&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000505129 | ||
Datensatz im Suchindex
| _version_ | 1804115257378996224 |
|---|---|
| adam_text | Contents
Acknowledgments vii
1 Introduction 1
1.1 Overview 1
1.2 Uses of nonmonotonic reasoning 2
1.3 Approaches to nonmonotonic inference 5
1.4 The multiple extension problem 11
1.5 Practical import 14
1.6 Organization and contents 16
1.7 How to read this book 17
Acknowledgments 19
Bibliography 19
2 Background and Historical Papers 25
Some Philosophical Problems from the Standpoint of Artificial Intelligence 26
/. McCarthy and P. J. Hayes
Epistemological Problems of Artificial Intelligence 46
/. McCarthy
What s Wrong with Non Monotonic Logic? 53
D. J. Israel
On the Consistency of Commonsense Reasoning 56
D. Perlis
3 Formalizations of Nonmonotonic Reasoning 67
3.1 Default Theories 67
A Logic for Default Reasoning 68
R. Reiter
On Interacting Defaults 94
R. Reiter and G. Criscuolo
On Inheritance Hierarchies with Exceptions 101
D. W. Etherington andR. Reiter
Implicit Ordering of Defaults in Inheritance Systems 106
D. S. Touretzky
3.2 Modal Approaches 110
Non Monotonic Logic I 1ll
D. McDermott and J. Doyle
Semantical Considerations on Nonmonotonic Logic 127
R. Moore
Possible World Semantics for Autoepistemic Logic 137
R. Moore
3.3 Circumscription 143
Circumscription—A Form of Non Monotonic Reasoning 145
/. McCarthy
Applications of Circumscription to Formalizing Common Sense Knowledge 153
J. McCarthy
Computing Circumscription 167
V. Lifschitz
On the Adequacy of Predicate Circumscription for Closed World Reasoning 174
D. W. Etherington, R. E. Mercer, andR. Reiter
Pointwise Circumscription 179
V. Lifschitz
3.4 Unifications 194
On the Relation between Default and Autoepistemic Logic 195
K. Konolige
A Semantical Approach to Nonmonotonic Logics 227
Y. Shoham
Multi Valued Logics 251
M. L. Ginsberg
4 Truth Maintenance 257
A Truth Maintenance System 259
/. Doyle
An Assumption based TMS 280
J. de Kleer
5 Applications of Nonmonotonic Reasoning 299
5.1 Logic Programming 299
On Closed World Data Bases 300
R. Reiter
Negation as Failure 311
K. L. Clark
On Indefinite Databases and the Closed World Assumption 326
/. Minker
Closed World Databases and Circumscription 334
V. Lifschitz
On the Declarative Semantics of Logic Programs with Negation 337
V. Lifschitz
5.2 Diagnosis 351
A Theory of Diagnosis from First Principles 352
R. Reiter
Diagnosing Multiple Faults 372
/. de Kleer and B. C. Williams
5.3 Reasoning about Action 389
Default Reasoning, Nonmonotonic Logics, and the Frame Problem 390
S. Hanks and D. McDermott
Chronological Ignorance 396
Y. Shoham
Formal Theories of Action 410
V. Lifschitz
Reasoning About Action I: A Possible Worlds Approach 433
M. L. Ginsberg andD. E. Smith
Appendix: Bibliography of Nonmonotonic Reasoning 465
Bibliography of Literature on Non Monotonic Reasoning 466
D. Perlis
Index 479
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV000805922 |
| classification_rvk | ST 300 |
| classification_tum | DAT 708f |
| ctrlnum | (OCoLC)476265631 (DE-599)BVBBV000805922 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02014nam a2200505 c 4500</leader><controlfield tag="001">BV000805922</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20121026 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">880920s1987 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0934613451</subfield><subfield code="9">0-934613-45-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)476265631</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000805922</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 708f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Readings in nonmonotonic reasoning</subfield><subfield code="c">ed. by Matthew L. Ginsberg</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Nonmonotonic reasoning</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Altos, Calif.</subfield><subfield code="b">Morgan Kaufmann</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 481 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="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 466 - 477</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtmonotone Logik</subfield><subfield code="0">(DE-588)4278597-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Denken</subfield><subfield code="0">(DE-588)4011450-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nichtmonotone Logik</subfield><subfield code="0">(DE-588)4278597-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Denken</subfield><subfield code="0">(DE-588)4011450-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Denken</subfield><subfield code="0">(DE-588)4011450-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ginsberg, Matthew L.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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=000505129&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-000505129</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV000805922 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:19:44Z |
| institution | BVB |
| isbn | 0934613451 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000505129 |
| oclc_num | 476265631 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-739 DE-355 DE-BY-UBR DE-29 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-739 DE-355 DE-BY-UBR DE-29 DE-188 |
| physical | VIII, 481 S. graph. Darst. |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | Morgan Kaufmann |
| record_format | marc |
| spelling | Readings in nonmonotonic reasoning ed. by Matthew L. Ginsberg Nonmonotonic reasoning Los Altos, Calif. Morgan Kaufmann 1987 VIII, 481 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 466 - 477 Nichtmonotones Schließen (DE-588)4210699-0 gnd rswk-swf Nichtmonotone Logik (DE-588)4278597-2 gnd rswk-swf Denken (DE-588)4011450-8 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Nichtmonotone Logik (DE-588)4278597-2 s Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Nichtmonotones Schließen (DE-588)4210699-0 s Denken (DE-588)4011450-8 s Ginsberg, Matthew L. Sonstige oth HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000505129&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Readings in nonmonotonic reasoning Nichtmonotones Schließen (DE-588)4210699-0 gnd Nichtmonotone Logik (DE-588)4278597-2 gnd Denken (DE-588)4011450-8 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4210699-0 (DE-588)4278597-2 (DE-588)4011450-8 (DE-588)4033447-8 (DE-588)4143413-4 |
| title | Readings in nonmonotonic reasoning |
| title_alt | Nonmonotonic reasoning |
| title_auth | Readings in nonmonotonic reasoning |
| title_exact_search | Readings in nonmonotonic reasoning |
| title_full | Readings in nonmonotonic reasoning ed. by Matthew L. Ginsberg |
| title_fullStr | Readings in nonmonotonic reasoning ed. by Matthew L. Ginsberg |
| title_full_unstemmed | Readings in nonmonotonic reasoning ed. by Matthew L. Ginsberg |
| title_short | Readings in nonmonotonic reasoning |
| title_sort | readings in nonmonotonic reasoning |
| topic | Nichtmonotones Schließen (DE-588)4210699-0 gnd Nichtmonotone Logik (DE-588)4278597-2 gnd Denken (DE-588)4011450-8 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Nichtmonotones Schließen Nichtmonotone Logik Denken Künstliche Intelligenz Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000505129&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ginsbergmatthewl readingsinnonmonotonicreasoning AT ginsbergmatthewl nonmonotonicreasoning |