A Textbook of Belief Dynamics: Solutions to exercises
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
1999
|
| Schriftenreihe: | Applied Logic Series
11/2 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable to both human beliefs and to the contents of databases. Philosophers, logicians, and computer scientists have contributed to making this interdisciplinary field one of the most exciting in the cognitive scientists - and one that is expanding rapidly. This, the first textbook in the new area, contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. Using different selections from the formal sections, according to the author's detailed advice, allows the book to be used at all levels of university education. A supplementary volume contains solutions to the 210 exercises. The volume's unique, comprehensive coverage means that it can also be used by specialists in the field of belief dynamics and related areas, such as non-monotonic reasoning and knowledge representation |
| Beschreibung: | 1 Online-Ressource (V, 65 p) |
| ISBN: | 9789400708143 9780792353294 |
| ISSN: | 1386-2790 |
| DOI: | 10.1007/978-94-007-0814-3 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042423617 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1999 |||| o||u| ||||||eng d | ||
| 020 | |a 9789400708143 |c Online |9 978-94-007-0814-3 | ||
| 020 | |a 9780792353294 |c Print |9 978-0-7923-5329-4 | ||
| 024 | 7 | |a 10.1007/978-94-007-0814-3 |2 doi | |
| 035 | |a (OCoLC)864065453 | ||
| 035 | |a (DE-599)BVBBV042423617 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Hansson, Sven Ove |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A Textbook of Belief Dynamics |b Solutions to exercises |c by Sven Ove Hansson |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 1999 | |
| 300 | |a 1 Online-Ressource (V, 65 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Applied Logic Series |v 11/2 |x 1386-2790 | |
| 500 | |a The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable to both human beliefs and to the contents of databases. Philosophers, logicians, and computer scientists have contributed to making this interdisciplinary field one of the most exciting in the cognitive scientists - and one that is expanding rapidly. This, the first textbook in the new area, contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. Using different selections from the formal sections, according to the author's detailed advice, allows the book to be used at all levels of university education. A supplementary volume contains solutions to the 210 exercises. The volume's unique, comprehensive coverage means that it can also be used by specialists in the field of belief dynamics and related areas, such as non-monotonic reasoning and knowledge representation | ||
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Genetic epistemology | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Humanities | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Interdisciplinary Studies | |
| 650 | 4 | |a Epistemology | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Philosophie | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-007-0814-3 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027859034 | ||
Datensatz im Suchindex
| _version_ | 1804153099570380800 |
|---|---|
| any_adam_object | |
| author | Hansson, Sven Ove |
| author_facet | Hansson, Sven Ove |
| author_role | aut |
| author_sort | Hansson, Sven Ove |
| author_variant | s o h so soh |
| building | Verbundindex |
| bvnumber | BV042423617 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)864065453 (DE-599)BVBBV042423617 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| doi_str_mv | 10.1007/978-94-007-0814-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02589nmm a2200493zcb4500</leader><controlfield tag="001">BV042423617</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1999 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789400708143</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-007-0814-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780792353294</subfield><subfield code="c">Print</subfield><subfield code="9">978-0-7923-5329-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-007-0814-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864065453</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042423617</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-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hansson, Sven Ove</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A Textbook of Belief Dynamics</subfield><subfield code="b">Solutions to exercises</subfield><subfield code="c">by Sven Ove Hansson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (V, 65 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">Applied Logic Series</subfield><subfield code="v">11/2</subfield><subfield code="x">1386-2790</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable to both human beliefs and to the contents of databases. Philosophers, logicians, and computer scientists have contributed to making this interdisciplinary field one of the most exciting in the cognitive scientists - and one that is expanding rapidly. This, the first textbook in the new area, contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. Using different selections from the formal sections, according to the author's detailed advice, allows the book to be used at all levels of university education. A supplementary volume contains solutions to the 210 exercises. The volume's unique, comprehensive coverage means that it can also be used by specialists in the field of belief dynamics and related areas, such as non-monotonic reasoning and knowledge representation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Genetic epistemology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Humanities</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Interdisciplinary Studies</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Epistemology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-007-0814-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027859034</subfield></datafield></record></collection> |
| id | DE-604.BV042423617 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:13Z |
| institution | BVB |
| isbn | 9789400708143 9780792353294 |
| issn | 1386-2790 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027859034 |
| oclc_num | 864065453 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (V, 65 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | Applied Logic Series |
| spelling | Hansson, Sven Ove Verfasser aut A Textbook of Belief Dynamics Solutions to exercises by Sven Ove Hansson Dordrecht Springer Netherlands 1999 1 Online-Ressource (V, 65 p) txt rdacontent c rdamedia cr rdacarrier Applied Logic Series 11/2 1386-2790 The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable to both human beliefs and to the contents of databases. Philosophers, logicians, and computer scientists have contributed to making this interdisciplinary field one of the most exciting in the cognitive scientists - and one that is expanding rapidly. This, the first textbook in the new area, contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. Using different selections from the formal sections, according to the author's detailed advice, allows the book to be used at all levels of university education. A supplementary volume contains solutions to the 210 exercises. The volume's unique, comprehensive coverage means that it can also be used by specialists in the field of belief dynamics and related areas, such as non-monotonic reasoning and knowledge representation Philosophy (General) Genetic epistemology Logic Artificial intelligence Humanities Philosophy Artificial Intelligence (incl. Robotics) Interdisciplinary Studies Epistemology Künstliche Intelligenz Philosophie https://doi.org/10.1007/978-94-007-0814-3 Verlag Volltext |
| spellingShingle | Hansson, Sven Ove A Textbook of Belief Dynamics Solutions to exercises Philosophy (General) Genetic epistemology Logic Artificial intelligence Humanities Philosophy Artificial Intelligence (incl. Robotics) Interdisciplinary Studies Epistemology Künstliche Intelligenz Philosophie |
| title | A Textbook of Belief Dynamics Solutions to exercises |
| title_auth | A Textbook of Belief Dynamics Solutions to exercises |
| title_exact_search | A Textbook of Belief Dynamics Solutions to exercises |
| title_full | A Textbook of Belief Dynamics Solutions to exercises by Sven Ove Hansson |
| title_fullStr | A Textbook of Belief Dynamics Solutions to exercises by Sven Ove Hansson |
| title_full_unstemmed | A Textbook of Belief Dynamics Solutions to exercises by Sven Ove Hansson |
| title_short | A Textbook of Belief Dynamics |
| title_sort | a textbook of belief dynamics solutions to exercises |
| title_sub | Solutions to exercises |
| topic | Philosophy (General) Genetic epistemology Logic Artificial intelligence Humanities Philosophy Artificial Intelligence (incl. Robotics) Interdisciplinary Studies Epistemology Künstliche Intelligenz Philosophie |
| topic_facet | Philosophy (General) Genetic epistemology Logic Artificial intelligence Humanities Philosophy Artificial Intelligence (incl. Robotics) Interdisciplinary Studies Epistemology Künstliche Intelligenz Philosophie |
| url | https://doi.org/10.1007/978-94-007-0814-3 |
| work_keys_str_mv | AT hanssonsvenove atextbookofbeliefdynamicssolutionstoexercises |