A Logical Theory of Nonmonotonic Inference and Belief Change:
The main subject and objective of this book are logical foundations of non monotonic reasoning. This bears a presumption that there is such a thing as a general theory of non monotonic reasoning, as opposed to a bunch of systems for such a reasoning existing in the literature. It also presumes that...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2001
|
| Ausgabe: | 1st ed. 2001 |
| Schriftenreihe: | Artificial Intelligence
|
| Schlagworte: | |
| Online-Zugang: | UBY01 URL des Eerstveröffentlichers |
| Zusammenfassung: | The main subject and objective of this book are logical foundations of non monotonic reasoning. This bears a presumption that there is such a thing as a general theory of non monotonic reasoning, as opposed to a bunch of systems for such a reasoning existing in the literature. It also presumes that this kind of reasoning can be analyzed by logical tools (broadly understood), just as any other kind of reasoning. In order to achieve our goal, we will provide a common logical basis and semantic representation in which different kinds of non monotonic reasoning can be interpreted and studied. The suggested framework will subsume ba sic forms of nonmonotonic inference, including not only the usual skeptical one, but also various forms of credulous (brave) and defeasible reasoning, as well as some new kinds such as contraction inference relations that express relative independence of pieces of data. In addition, the same framework will serve as a basis for a general theory of belief change which, among other things, will allow us to unify the main approaches to belief change existing in the literature, as well as to provide a constructive view of the semantic representation used. This book is a monograph rather than a textbook, with all its advantages (mainly for the author) and shortcomings (for the reader) |
| Beschreibung: | 1 Online-Ressource (XII, 436 p) |
| ISBN: | 9783662045602 |
| DOI: | 10.1007/978-3-662-04560-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047064682 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2001 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662045602 |9 978-3-662-04560-2 | ||
| 024 | 7 | |a 10.1007/978-3-662-04560-2 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-3-662-04560-2 | ||
| 035 | |a (OCoLC)1227482203 | ||
| 035 | |a (DE-599)BVBBV047064682 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 100 | 1 | |a Bochman, Alexander |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A Logical Theory of Nonmonotonic Inference and Belief Change |c by Alexander Bochman |
| 250 | |a 1st ed. 2001 | ||
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2001 | |
| 300 | |a 1 Online-Ressource (XII, 436 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Artificial Intelligence | |
| 520 | |a The main subject and objective of this book are logical foundations of non monotonic reasoning. This bears a presumption that there is such a thing as a general theory of non monotonic reasoning, as opposed to a bunch of systems for such a reasoning existing in the literature. It also presumes that this kind of reasoning can be analyzed by logical tools (broadly understood), just as any other kind of reasoning. In order to achieve our goal, we will provide a common logical basis and semantic representation in which different kinds of non monotonic reasoning can be interpreted and studied. The suggested framework will subsume ba sic forms of nonmonotonic inference, including not only the usual skeptical one, but also various forms of credulous (brave) and defeasible reasoning, as well as some new kinds such as contraction inference relations that express relative independence of pieces of data. In addition, the same framework will serve as a basis for a general theory of belief change which, among other things, will allow us to unify the main approaches to belief change existing in the literature, as well as to provide a constructive view of the semantic representation used. This book is a monograph rather than a textbook, with all its advantages (mainly for the author) and shortcomings (for the reader) | ||
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 0 | 7 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrevision |0 (DE-588)4273403-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Wissensrevision |0 (DE-588)4273403-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783642075162 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783540417668 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783662045619 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-04560-2 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032471794 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-662-04560-2 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182063024177152 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Bochman, Alexander |
| author_facet | Bochman, Alexander |
| author_role | aut |
| author_sort | Bochman, Alexander |
| author_variant | a b ab |
| building | Verbundindex |
| bvnumber | BV047064682 |
| classification_rvk | CC 2600 SK 130 ST 285 ST 300 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-3-662-04560-2 (OCoLC)1227482203 (DE-599)BVBBV047064682 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik Philosophie |
| discipline_str_mv | Informatik Mathematik Philosophie |
| doi_str_mv | 10.1007/978-3-662-04560-2 |
| edition | 1st ed. 2001 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03460nmm a2200577zc 4500</leader><controlfield tag="001">BV047064682</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2001 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662045602</subfield><subfield code="9">978-3-662-04560-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-04560-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-3-662-04560-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227482203</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064682</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 285</subfield><subfield code="0">(DE-625)143648:</subfield><subfield code="2">rvk</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="100" ind1="1" ind2=" "><subfield code="a">Bochman, Alexander</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A Logical Theory of Nonmonotonic Inference and Belief Change</subfield><subfield code="c">by Alexander Bochman</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2001</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 436 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The main subject and objective of this book are logical foundations of non monotonic reasoning. This bears a presumption that there is such a thing as a general theory of non monotonic reasoning, as opposed to a bunch of systems for such a reasoning existing in the literature. It also presumes that this kind of reasoning can be analyzed by logical tools (broadly understood), just as any other kind of reasoning. In order to achieve our goal, we will provide a common logical basis and semantic representation in which different kinds of non monotonic reasoning can be interpreted and studied. The suggested framework will subsume ba sic forms of nonmonotonic inference, including not only the usual skeptical one, but also various forms of credulous (brave) and defeasible reasoning, as well as some new kinds such as contraction inference relations that express relative independence of pieces of data. In addition, the same framework will serve as a basis for a general theory of belief change which, among other things, will allow us to unify the main approaches to belief change existing in the literature, as well as to provide a constructive view of the semantic representation used. This book is a monograph rather than a textbook, with all its advantages (mainly for the author) and shortcomings (for the reader)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</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">Wissensrevision</subfield><subfield code="0">(DE-588)4273403-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Wissensrevision</subfield><subfield code="0">(DE-588)4273403-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783642075162</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783540417668</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783662045619</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-04560-2</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471794</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-04560-2</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047064682 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:23Z |
| indexdate | 2024-07-10T09:01:35Z |
| institution | BVB |
| isbn | 9783662045602 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471794 |
| oclc_num | 1227482203 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (XII, 436 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Artificial Intelligence |
| spelling | Bochman, Alexander Verfasser aut A Logical Theory of Nonmonotonic Inference and Belief Change by Alexander Bochman 1st ed. 2001 Berlin, Heidelberg Springer Berlin Heidelberg 2001 1 Online-Ressource (XII, 436 p) txt rdacontent c rdamedia cr rdacarrier Artificial Intelligence The main subject and objective of this book are logical foundations of non monotonic reasoning. This bears a presumption that there is such a thing as a general theory of non monotonic reasoning, as opposed to a bunch of systems for such a reasoning existing in the literature. It also presumes that this kind of reasoning can be analyzed by logical tools (broadly understood), just as any other kind of reasoning. In order to achieve our goal, we will provide a common logical basis and semantic representation in which different kinds of non monotonic reasoning can be interpreted and studied. The suggested framework will subsume ba sic forms of nonmonotonic inference, including not only the usual skeptical one, but also various forms of credulous (brave) and defeasible reasoning, as well as some new kinds such as contraction inference relations that express relative independence of pieces of data. In addition, the same framework will serve as a basis for a general theory of belief change which, among other things, will allow us to unify the main approaches to belief change existing in the literature, as well as to provide a constructive view of the semantic representation used. This book is a monograph rather than a textbook, with all its advantages (mainly for the author) and shortcomings (for the reader) Mathematical Logic and Formal Languages Artificial intelligence Mathematical logic Nichtmonotones Schließen (DE-588)4210699-0 gnd rswk-swf Wissensrevision (DE-588)4273403-4 gnd rswk-swf Nichtmonotones Schließen (DE-588)4210699-0 s DE-604 Wissensrevision (DE-588)4273403-4 s Erscheint auch als Druck-Ausgabe 9783642075162 Erscheint auch als Druck-Ausgabe 9783540417668 Erscheint auch als Druck-Ausgabe 9783662045619 https://doi.org/10.1007/978-3-662-04560-2 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Bochman, Alexander A Logical Theory of Nonmonotonic Inference and Belief Change Artificial Intelligence Mathematical Logic and Formal Languages Artificial intelligence Mathematical logic Nichtmonotones Schließen (DE-588)4210699-0 gnd Wissensrevision (DE-588)4273403-4 gnd |
| subject_GND | (DE-588)4210699-0 (DE-588)4273403-4 |
| title | A Logical Theory of Nonmonotonic Inference and Belief Change |
| title_auth | A Logical Theory of Nonmonotonic Inference and Belief Change |
| title_exact_search | A Logical Theory of Nonmonotonic Inference and Belief Change |
| title_exact_search_txtP | A Logical Theory of Nonmonotonic Inference and Belief Change |
| title_full | A Logical Theory of Nonmonotonic Inference and Belief Change by Alexander Bochman |
| title_fullStr | A Logical Theory of Nonmonotonic Inference and Belief Change by Alexander Bochman |
| title_full_unstemmed | A Logical Theory of Nonmonotonic Inference and Belief Change by Alexander Bochman |
| title_short | A Logical Theory of Nonmonotonic Inference and Belief Change |
| title_sort | a logical theory of nonmonotonic inference and belief change |
| topic | Artificial Intelligence Mathematical Logic and Formal Languages Artificial intelligence Mathematical logic Nichtmonotones Schließen (DE-588)4210699-0 gnd Wissensrevision (DE-588)4273403-4 gnd |
| topic_facet | Artificial Intelligence Mathematical Logic and Formal Languages Artificial intelligence Mathematical logic Nichtmonotones Schließen Wissensrevision |
| url | https://doi.org/10.1007/978-3-662-04560-2 |
| work_keys_str_mv | AT bochmanalexander alogicaltheoryofnonmonotonicinferenceandbeliefchange |