Propositional, Probabilistic and Evidential Reasoning: Integrating Numerical and Symbolic Approaches
The book systematically provides the reader with a broad range of systems/research work to date that address the importance of combining numerical and symbolic approaches to reasoning under uncertainty in complex applications. It covers techniques on how to extend propositional logic to a probabilis...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Heidelberg
Physica-Verlag HD
2001
|
| Schriftenreihe: | Studies in Fuzziness and Soft Computing
77 |
| Schlagworte: | |
| Online-Zugang: | FHI01 BTU01 URL des Erstveröffentlichers |
| Zusammenfassung: | The book systematically provides the reader with a broad range of systems/research work to date that address the importance of combining numerical and symbolic approaches to reasoning under uncertainty in complex applications. It covers techniques on how to extend propositional logic to a probabilistic one and compares such derived probabilistic logic with closely related mechanisms, namely evidence theory, assumption based truth maintenance systems and rough sets, in terms of representing and reasoning with knowledge and evidence. The book is addressed primarily to researchers, practitioners, students and lecturers in the field of Artificial Intelligence, particularly in the areas of reasoning under uncertainty, logic, knowledge representation and reasoning, and non-monotonic reasoning |
| Beschreibung: | 1 Online-Ressource (XIV, 274 p) |
| ISBN: | 9783790818116 |
| DOI: | 10.1007/978-3-7908-1811-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045149561 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180827s2001 |||| o||u| ||||||eng d | ||
| 020 | |a 9783790818116 |9 978-3-7908-1811-6 | ||
| 024 | 7 | |a 10.1007/978-3-7908-1811-6 |2 doi | |
| 035 | |a (ZDB-2-ENG)978-3-7908-1811-6 | ||
| 035 | |a (OCoLC)1050943332 | ||
| 035 | |a (DE-599)BVBBV045149561 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-573 |a DE-634 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 100 | 1 | |a Liu, Weiru |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Propositional, Probabilistic and Evidential Reasoning |b Integrating Numerical and Symbolic Approaches |c by Weiru Liu |
| 264 | 1 | |a Heidelberg |b Physica-Verlag HD |c 2001 | |
| 300 | |a 1 Online-Ressource (XIV, 274 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in Fuzziness and Soft Computing |v 77 | |
| 520 | |a The book systematically provides the reader with a broad range of systems/research work to date that address the importance of combining numerical and symbolic approaches to reasoning under uncertainty in complex applications. It covers techniques on how to extend propositional logic to a probabilistic one and compares such derived probabilistic logic with closely related mechanisms, namely evidence theory, assumption based truth maintenance systems and rough sets, in terms of representing and reasoning with knowledge and evidence. The book is addressed primarily to researchers, practitioners, students and lecturers in the field of Artificial Intelligence, particularly in the areas of reasoning under uncertainty, logic, knowledge representation and reasoning, and non-monotonic reasoning | ||
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Coding and Information Theory | |
| 650 | 4 | |a Discrete Mathematics | |
| 650 | 4 | |a Computational Mathematics and Numerical Analysis | |
| 650 | 4 | |a Economic Theory/Quantitative Economics/Mathematical Methods | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Coding theory | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer mathematics | |
| 650 | 4 | |a Discrete mathematics | |
| 650 | 4 | |a Economic theory | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783790824933 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-7908-1811-6 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030539260 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-7908-1811-6 |l FHI01 |p ZDB-2-ENG |q ZDB-2-ENG_2000/2004 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-7908-1811-6 |l BTU01 |p ZDB-2-ENG |q ZDB-2-ENG_Archiv |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178821494079488 |
|---|---|
| any_adam_object | |
| author | Liu, Weiru |
| author_facet | Liu, Weiru |
| author_role | aut |
| author_sort | Liu, Weiru |
| author_variant | w l wl |
| building | Verbundindex |
| bvnumber | BV045149561 |
| collection | ZDB-2-ENG |
| ctrlnum | (ZDB-2-ENG)978-3-7908-1811-6 (OCoLC)1050943332 (DE-599)BVBBV045149561 |
| 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 |
| doi_str_mv | 10.1007/978-3-7908-1811-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02779nmm a2200529zcb4500</leader><controlfield tag="001">BV045149561</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180827s2001 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783790818116</subfield><subfield code="9">978-3-7908-1811-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-7908-1811-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-ENG)978-3-7908-1811-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1050943332</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045149561</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-573</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Liu, Weiru</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Propositional, Probabilistic and Evidential Reasoning</subfield><subfield code="b">Integrating Numerical and Symbolic Approaches</subfield><subfield code="c">by Weiru Liu</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg</subfield><subfield code="b">Physica-Verlag HD</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 274 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">Studies in Fuzziness and Soft Computing</subfield><subfield code="v">77</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The book systematically provides the reader with a broad range of systems/research work to date that address the importance of combining numerical and symbolic approaches to reasoning under uncertainty in complex applications. It covers techniques on how to extend propositional logic to a probabilistic one and compares such derived probabilistic logic with closely related mechanisms, namely evidence theory, assumption based truth maintenance systems and rough sets, in terms of representing and reasoning with knowledge and evidence. The book is addressed primarily to researchers, practitioners, students and lecturers in the field of Artificial Intelligence, particularly in the areas of reasoning under uncertainty, logic, knowledge representation and reasoning, and non-monotonic reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</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">Coding and Information Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational Mathematics and Numerical Analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Economic Theory/Quantitative Economics/Mathematical Methods</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Coding theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Economic theory</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">9783790824933</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-7908-1811-6</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030539260</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-7908-1811-6</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-7908-1811-6</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="q">ZDB-2-ENG_Archiv</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV045149561 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:10:04Z |
| institution | BVB |
| isbn | 9783790818116 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030539260 |
| oclc_num | 1050943332 |
| open_access_boolean | |
| owner | DE-573 DE-634 |
| owner_facet | DE-573 DE-634 |
| physical | 1 Online-Ressource (XIV, 274 p) |
| psigel | ZDB-2-ENG ZDB-2-ENG_2000/2004 ZDB-2-ENG ZDB-2-ENG_2000/2004 ZDB-2-ENG ZDB-2-ENG_Archiv |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Physica-Verlag HD |
| record_format | marc |
| series2 | Studies in Fuzziness and Soft Computing |
| spelling | Liu, Weiru Verfasser aut Propositional, Probabilistic and Evidential Reasoning Integrating Numerical and Symbolic Approaches by Weiru Liu Heidelberg Physica-Verlag HD 2001 1 Online-Ressource (XIV, 274 p) txt rdacontent c rdamedia cr rdacarrier Studies in Fuzziness and Soft Computing 77 The book systematically provides the reader with a broad range of systems/research work to date that address the importance of combining numerical and symbolic approaches to reasoning under uncertainty in complex applications. It covers techniques on how to extend propositional logic to a probabilistic one and compares such derived probabilistic logic with closely related mechanisms, namely evidence theory, assumption based truth maintenance systems and rough sets, in terms of representing and reasoning with knowledge and evidence. The book is addressed primarily to researchers, practitioners, students and lecturers in the field of Artificial Intelligence, particularly in the areas of reasoning under uncertainty, logic, knowledge representation and reasoning, and non-monotonic reasoning Computer Science Artificial Intelligence (incl. Robotics) Coding and Information Theory Discrete Mathematics Computational Mathematics and Numerical Analysis Economic Theory/Quantitative Economics/Mathematical Methods Computer science Coding theory Artificial intelligence Computer mathematics Discrete mathematics Economic theory Erscheint auch als Druck-Ausgabe 9783790824933 https://doi.org/10.1007/978-3-7908-1811-6 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Liu, Weiru Propositional, Probabilistic and Evidential Reasoning Integrating Numerical and Symbolic Approaches Computer Science Artificial Intelligence (incl. Robotics) Coding and Information Theory Discrete Mathematics Computational Mathematics and Numerical Analysis Economic Theory/Quantitative Economics/Mathematical Methods Computer science Coding theory Artificial intelligence Computer mathematics Discrete mathematics Economic theory |
| title | Propositional, Probabilistic and Evidential Reasoning Integrating Numerical and Symbolic Approaches |
| title_auth | Propositional, Probabilistic and Evidential Reasoning Integrating Numerical and Symbolic Approaches |
| title_exact_search | Propositional, Probabilistic and Evidential Reasoning Integrating Numerical and Symbolic Approaches |
| title_full | Propositional, Probabilistic and Evidential Reasoning Integrating Numerical and Symbolic Approaches by Weiru Liu |
| title_fullStr | Propositional, Probabilistic and Evidential Reasoning Integrating Numerical and Symbolic Approaches by Weiru Liu |
| title_full_unstemmed | Propositional, Probabilistic and Evidential Reasoning Integrating Numerical and Symbolic Approaches by Weiru Liu |
| title_short | Propositional, Probabilistic and Evidential Reasoning |
| title_sort | propositional probabilistic and evidential reasoning integrating numerical and symbolic approaches |
| title_sub | Integrating Numerical and Symbolic Approaches |
| topic | Computer Science Artificial Intelligence (incl. Robotics) Coding and Information Theory Discrete Mathematics Computational Mathematics and Numerical Analysis Economic Theory/Quantitative Economics/Mathematical Methods Computer science Coding theory Artificial intelligence Computer mathematics Discrete mathematics Economic theory |
| topic_facet | Computer Science Artificial Intelligence (incl. Robotics) Coding and Information Theory Discrete Mathematics Computational Mathematics and Numerical Analysis Economic Theory/Quantitative Economics/Mathematical Methods Computer science Coding theory Artificial intelligence Computer mathematics Discrete mathematics Economic theory |
| url | https://doi.org/10.1007/978-3-7908-1811-6 |
| work_keys_str_mv | AT liuweiru propositionalprobabilisticandevidentialreasoningintegratingnumericalandsymbolicapproaches |