Coherent systems:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Elsevier
2004
|
| Schriftenreihe: | Studies in logic and practical reasoning
v. 2 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by a relation, where case A is considered more normal than case B. This gives a standard semantics or interpretation to nonmonotonic reasoning (a branch of common sense reasoning), or, more formally, to nonmonotonic logics. We consider in this book the repercussions such normality relations and similar constructions have on the resulting nonmonotonic logics, i.e. which types of logic are adequate for which kind of relation, etc. We show in this book that some semantics correspond nicely to some logics, but also that other semantics do not correspond to any logics of the usual form. Key features: provides a coherent picture of several formalisms of nonmonotonic logics. gives completeness and incompleteness results for many variants of preferential, distance based, and other semantics. gives probably the first systematic investigation of definability preservation and its consequences. gives new proof techniques for completeness results. is centered on semantics Includes bibliographical references (pages 435-439) and index |
| Beschreibung: | 1 Online-Ressource (xx, 447 pages) |
| ISBN: | 9780444517890 0444517898 1423709349 9781423709343 0080502199 9780080502199 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317251 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s2004 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444517890 |9 978-0-444-51789-0 | ||
| 020 | |a 0444517898 |9 0-444-51789-8 | ||
| 020 | |a 1423709349 |c electronic bk. |9 1-4237-0934-9 | ||
| 020 | |a 9781423709343 |c electronic bk. |9 978-1-4237-0934-3 | ||
| 020 | |a 0080502199 |9 0-08-050219-9 | ||
| 020 | |a 9780080502199 |9 978-0-08-050219-9 | ||
| 035 | |a (ZDB-33-EBS)ocn162130199 | ||
| 035 | |a (OCoLC)162130199 | ||
| 035 | |a (DE-599)BVBBV042317251 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 006.3 |2 22 | |
| 100 | 1 | |a Schlechta, Karl |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Coherent systems |c Karl Schlechta |
| 264 | 1 | |a Amsterdam |b Elsevier |c 2004 | |
| 300 | |a 1 Online-Ressource (xx, 447 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and practical reasoning |v v. 2 | |
| 500 | |a One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by a relation, where case A is considered more normal than case B. This gives a standard semantics or interpretation to nonmonotonic reasoning (a branch of common sense reasoning), or, more formally, to nonmonotonic logics. We consider in this book the repercussions such normality relations and similar constructions have on the resulting nonmonotonic logics, i.e. which types of logic are adequate for which kind of relation, etc. We show in this book that some semantics correspond nicely to some logics, but also that other semantics do not correspond to any logics of the usual form. Key features: provides a coherent picture of several formalisms of nonmonotonic logics. gives completeness and incompleteness results for many variants of preferential, distance based, and other semantics. gives probably the first systematic investigation of definability preservation and its consequences. gives new proof techniques for completeness results. is centered on semantics | ||
| 500 | |a Includes bibliographical references (pages 435-439) and index | ||
| 650 | 7 | |a COMPUTERS / Enterprise Applications / Business Intelligence Tools |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Intelligence (AI) & Semantics |2 bisacsh | |
| 650 | 7 | |a Algebraic logic |2 fast | |
| 650 | 7 | |a Modality (Logic) |2 fast | |
| 650 | 7 | |a Nonmonotonic reasoning |2 fast | |
| 650 | 7 | |a Semantics / Mathematical models |2 fast | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Nonmonotonic reasoning | |
| 650 | 4 | |a Algebraic logic | |
| 650 | 4 | |a Semantics |x Mathematical models | |
| 650 | 4 | |a Modality (Logic) | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nichtmonotone Logik |0 (DE-588)4278597-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Nichtmonotone Logik |0 (DE-588)4278597-2 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444517890 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754241 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804152913485889536 |
|---|---|
| any_adam_object | |
| author | Schlechta, Karl |
| author_facet | Schlechta, Karl |
| author_role | aut |
| author_sort | Schlechta, Karl |
| author_variant | k s ks |
| building | Verbundindex |
| bvnumber | BV042317251 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn162130199 (OCoLC)162130199 (DE-599)BVBBV042317251 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03605nmm a2200649zcb4500</leader><controlfield tag="001">BV042317251</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s2004 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444517890</subfield><subfield code="9">978-0-444-51789-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444517898</subfield><subfield code="9">0-444-51789-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1423709349</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-4237-0934-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781423709343</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-4237-0934-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080502199</subfield><subfield code="9">0-08-050219-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080502199</subfield><subfield code="9">978-0-08-050219-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn162130199</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162130199</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317251</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-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schlechta, Karl</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Coherent systems</subfield><subfield code="c">Karl Schlechta</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xx, 447 pages)</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">Studies in logic and practical reasoning</subfield><subfield code="v">v. 2</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by a relation, where case A is considered more normal than case B. This gives a standard semantics or interpretation to nonmonotonic reasoning (a branch of common sense reasoning), or, more formally, to nonmonotonic logics. We consider in this book the repercussions such normality relations and similar constructions have on the resulting nonmonotonic logics, i.e. which types of logic are adequate for which kind of relation, etc. We show in this book that some semantics correspond nicely to some logics, but also that other semantics do not correspond to any logics of the usual form. Key features: provides a coherent picture of several formalisms of nonmonotonic logics. gives completeness and incompleteness results for many variants of preferential, distance based, and other semantics. gives probably the first systematic investigation of definability preservation and its consequences. gives new proof techniques for completeness results. is centered on semantics</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 435-439) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Enterprise Applications / Business Intelligence Tools</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Intelligence (AI) & Semantics</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebraic logic</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modality (Logic)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Nonmonotonic reasoning</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantics / Mathematical models</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonmonotonic reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield><subfield code="x">Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444517890</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754241</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042317251 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:16Z |
| institution | BVB |
| isbn | 9780444517890 0444517898 1423709349 9781423709343 0080502199 9780080502199 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754241 |
| oclc_num | 162130199 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (xx, 447 pages) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Studies in logic and practical reasoning |
| spelling | Schlechta, Karl Verfasser aut Coherent systems Karl Schlechta Amsterdam Elsevier 2004 1 Online-Ressource (xx, 447 pages) txt rdacontent c rdamedia cr rdacarrier Studies in logic and practical reasoning v. 2 One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by a relation, where case A is considered more normal than case B. This gives a standard semantics or interpretation to nonmonotonic reasoning (a branch of common sense reasoning), or, more formally, to nonmonotonic logics. We consider in this book the repercussions such normality relations and similar constructions have on the resulting nonmonotonic logics, i.e. which types of logic are adequate for which kind of relation, etc. We show in this book that some semantics correspond nicely to some logics, but also that other semantics do not correspond to any logics of the usual form. Key features: provides a coherent picture of several formalisms of nonmonotonic logics. gives completeness and incompleteness results for many variants of preferential, distance based, and other semantics. gives probably the first systematic investigation of definability preservation and its consequences. gives new proof techniques for completeness results. is centered on semantics Includes bibliographical references (pages 435-439) and index COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Algebraic logic fast Modality (Logic) fast Nonmonotonic reasoning fast Semantics / Mathematical models fast Mathematisches Modell Nonmonotonic reasoning Algebraic logic Semantics Mathematical models Modality (Logic) Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Nichtmonotone Logik (DE-588)4278597-2 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Nichtmonotone Logik (DE-588)4278597-2 s 2\p DE-604 http://www.sciencedirect.com/science/book/9780444517890 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Schlechta, Karl Coherent systems COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Algebraic logic fast Modality (Logic) fast Nonmonotonic reasoning fast Semantics / Mathematical models fast Mathematisches Modell Nonmonotonic reasoning Algebraic logic Semantics Mathematical models Modality (Logic) Mathematische Logik (DE-588)4037951-6 gnd Nichtmonotone Logik (DE-588)4278597-2 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4278597-2 |
| title | Coherent systems |
| title_auth | Coherent systems |
| title_exact_search | Coherent systems |
| title_full | Coherent systems Karl Schlechta |
| title_fullStr | Coherent systems Karl Schlechta |
| title_full_unstemmed | Coherent systems Karl Schlechta |
| title_short | Coherent systems |
| title_sort | coherent systems |
| topic | COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Algebraic logic fast Modality (Logic) fast Nonmonotonic reasoning fast Semantics / Mathematical models fast Mathematisches Modell Nonmonotonic reasoning Algebraic logic Semantics Mathematical models Modality (Logic) Mathematische Logik (DE-588)4037951-6 gnd Nichtmonotone Logik (DE-588)4278597-2 gnd |
| topic_facet | COMPUTERS / Enterprise Applications / Business Intelligence Tools COMPUTERS / Intelligence (AI) & Semantics Algebraic logic Modality (Logic) Nonmonotonic reasoning Semantics / Mathematical models Mathematisches Modell Semantics Mathematical models Mathematische Logik Nichtmonotone Logik |
| url | http://www.sciencedirect.com/science/book/9780444517890 |
| work_keys_str_mv | AT schlechtakarl coherentsystems |