Explanatory nonmonotonic reasoning /:
Many approaches in the field of nonmonotonic and "commonsense" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Hackensack, NJ :
World Scientific,
©2005.
|
| Schriftenreihe: | Advances in logic ;
v. 4. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Many approaches in the field of nonmonotonic and "commonsense" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of biconsequence relations, as well as derived systems of default, autoepistemic and causal inference, to cover in a single framework such diverse systems as default logic, autoepistemic and modal nonmonotonic logics, input/output and causal logics, argumentation theory, and semantics of general logic programs. |
| Beschreibung: | 1 online resource (xiv, 408 pages) |
| Bibliographie: | Includes bibliographical references (pages 395-402) and index. |
| ISBN: | 9812567801 9789812567802 9789812561015 9812561013 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBU-ocm63201768 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 060131s2005 nju ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCG |d OCLCQ |d IDEBK |d OCLCQ |d TUU |d OCLCQ |d MERUC |d OCLCQ |d OCLCF |d OCLCO |d NLGGC |d OCLCQ |d UV0 |d DKDLA |d ADU |d E7B |d OCLCQ |d AZK |d LOA |d AGLDB |d COCUF |d CCO |d MOR |d PIFBR |d OCLCQ |d WY@ |d LUE |d WRM |d OCLCQ |d VTS |d NRAMU |d INT |d VT2 |d OCLCQ |d LEAUB |d UKAHL |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCL | ||
| 019 | |a 228127826 |a 473076269 |a 475321637 |a 614849866 |a 647461298 |a 722426323 |a 888684660 |a 961565786 |a 962607013 | ||
| 020 | |a 9812567801 |q (electronic bk.) | ||
| 020 | |a 9789812567802 |q (electronic bk.) | ||
| 020 | |a 9789812561015 | ||
| 020 | |a 9812561013 | ||
| 035 | |a (OCoLC)63201768 |z (OCoLC)228127826 |z (OCoLC)473076269 |z (OCoLC)475321637 |z (OCoLC)614849866 |z (OCoLC)647461298 |z (OCoLC)722426323 |z (OCoLC)888684660 |z (OCoLC)961565786 |z (OCoLC)962607013 | ||
| 050 | 4 | |a Q339.2 |b .B63 2005eb | |
| 072 | 7 | |a COM |x 005030 |2 bisacsh | |
| 072 | 7 | |a COM |x 004000 |2 bisacsh | |
| 082 | 7 | |a 006.3 |2 22 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Bochman, Alexander, |d 1955- |1 https://id.oclc.org/worldcat/entity/E39PCjCVVf48pbRTh4TPb76mHP |0 http://id.loc.gov/authorities/names/nb2002001063 | |
| 245 | 1 | 0 | |a Explanatory nonmonotonic reasoning / |c Alexander Bochman. |
| 260 | |a Hackensack, NJ : |b World Scientific, |c ©2005. | ||
| 300 | |a 1 online resource (xiv, 408 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 490 | 1 | |a Advances in logic ; |v vol. 4 | |
| 504 | |a Includes bibliographical references (pages 395-402) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Preface; Contents; Chapter 1 Introduction; Chapter 2 Scott Consequence Relations; Chapter 3 Biconsequence Relations; Chapter 4 Four-Valued Logics; Chapter 5 Nonmonotonic Semantics; Chapter 6 Default Consequence Relations; Chapter 7 Argumentation Theory; Chapter 8 Production and Causal Inference; Chapter 9 Epistemic Consequence Relations; Chapter 10 Modal Nonmonotonic Logics; Bibliography; Index. | |
| 520 | |a Many approaches in the field of nonmonotonic and "commonsense" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of biconsequence relations, as well as derived systems of default, autoepistemic and causal inference, to cover in a single framework such diverse systems as default logic, autoepistemic and modal nonmonotonic logics, input/output and causal logics, argumentation theory, and semantics of general logic programs. | ||
| 650 | 0 | |a Nonmonotonic reasoning. |0 http://id.loc.gov/authorities/subjects/sh96004467 | |
| 650 | 6 | |a Raisonnement non-monotone. | |
| 650 | 7 | |a COMPUTERS |x Enterprise Applications |x Business Intelligence Tools. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Intelligence (AI) & Semantics. |2 bisacsh | |
| 650 | 7 | |a Nonmonotonic reasoning |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Bochman, Alexander, 1955- |t Explanatory nonmonotonic reasoning. |d Hackensack, NJ : World Scientific, ©2005 |z 9812561013 |w (OCoLC)60051194 |
| 830 | 0 | |a Advances in logic ; |v v. 4. |0 http://id.loc.gov/authorities/names/n2001114820 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBU |q FWS_PDA_EBU |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=148562 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24683718 | ||
| 938 | |a ebrary |b EBRY |n ebr10106580 | ||
| 938 | |a EBSCOhost |b EBSC |n 148562 | ||
| 938 | |a YBP Library Services |b YANK |n 2407743 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBU | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBU-ocm63201768 |
|---|---|
| _version_ | 1816796895448662016 |
| adam_text | |
| any_adam_object | |
| author | Bochman, Alexander, 1955- |
| author_GND | http://id.loc.gov/authorities/names/nb2002001063 |
| author_facet | Bochman, Alexander, 1955- |
| author_role | |
| author_sort | Bochman, Alexander, 1955- |
| author_variant | a b ab |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | Q339 |
| callnumber-raw | Q339.2 .B63 2005eb |
| callnumber-search | Q339.2 .B63 2005eb |
| callnumber-sort | Q 3339.2 B63 42005EB |
| callnumber-subject | Q - General Science |
| collection | ZDB-4-EBU |
| contents | Preface; Contents; Chapter 1 Introduction; Chapter 2 Scott Consequence Relations; Chapter 3 Biconsequence Relations; Chapter 4 Four-Valued Logics; Chapter 5 Nonmonotonic Semantics; Chapter 6 Default Consequence Relations; Chapter 7 Argumentation Theory; Chapter 8 Production and Causal Inference; Chapter 9 Epistemic Consequence Relations; Chapter 10 Modal Nonmonotonic Logics; Bibliography; Index. |
| ctrlnum | (OCoLC)63201768 |
| 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>03737cam a2200553 a 4500</leader><controlfield tag="001">ZDB-4-EBU-ocm63201768 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">060131s2005 nju ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TUU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UV0</subfield><subfield code="d">DKDLA</subfield><subfield code="d">ADU</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">LOA</subfield><subfield code="d">AGLDB</subfield><subfield code="d">COCUF</subfield><subfield code="d">CCO</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFBR</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WY@</subfield><subfield code="d">LUE</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LEAUB</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">228127826</subfield><subfield code="a">473076269</subfield><subfield code="a">475321637</subfield><subfield code="a">614849866</subfield><subfield code="a">647461298</subfield><subfield code="a">722426323</subfield><subfield code="a">888684660</subfield><subfield code="a">961565786</subfield><subfield code="a">962607013</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812567801</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812567802</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812561015</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812561013</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)63201768</subfield><subfield code="z">(OCoLC)228127826</subfield><subfield code="z">(OCoLC)473076269</subfield><subfield code="z">(OCoLC)475321637</subfield><subfield code="z">(OCoLC)614849866</subfield><subfield code="z">(OCoLC)647461298</subfield><subfield code="z">(OCoLC)722426323</subfield><subfield code="z">(OCoLC)888684660</subfield><subfield code="z">(OCoLC)961565786</subfield><subfield code="z">(OCoLC)962607013</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">Q339.2</subfield><subfield code="b">.B63 2005eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">005030</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">004000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bochman, Alexander,</subfield><subfield code="d">1955-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjCVVf48pbRTh4TPb76mHP</subfield><subfield code="0">http://id.loc.gov/authorities/names/nb2002001063</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Explanatory nonmonotonic reasoning /</subfield><subfield code="c">Alexander Bochman.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Hackensack, NJ :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">©2005.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiv, 408 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Advances in logic ;</subfield><subfield code="v">vol. 4</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 395-402) and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Preface; Contents; Chapter 1 Introduction; Chapter 2 Scott Consequence Relations; Chapter 3 Biconsequence Relations; Chapter 4 Four-Valued Logics; Chapter 5 Nonmonotonic Semantics; Chapter 6 Default Consequence Relations; Chapter 7 Argumentation Theory; Chapter 8 Production and Causal Inference; Chapter 9 Epistemic Consequence Relations; Chapter 10 Modal Nonmonotonic Logics; Bibliography; Index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Many approaches in the field of nonmonotonic and "commonsense" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of biconsequence relations, as well as derived systems of default, autoepistemic and causal inference, to cover in a single framework such diverse systems as default logic, autoepistemic and modal nonmonotonic logics, input/output and causal logics, argumentation theory, and semantics of general logic programs.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Nonmonotonic reasoning.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh96004467</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Raisonnement non-monotone.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Enterprise Applications</subfield><subfield code="x">Business Intelligence Tools.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Intelligence (AI) & Semantics.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Nonmonotonic reasoning</subfield><subfield code="2">fast</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Bochman, Alexander, 1955-</subfield><subfield code="t">Explanatory nonmonotonic reasoning.</subfield><subfield code="d">Hackensack, NJ : World Scientific, ©2005</subfield><subfield code="z">9812561013</subfield><subfield code="w">(OCoLC)60051194</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Advances in logic ;</subfield><subfield code="v">v. 4.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2001114820</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBU</subfield><subfield code="q">FWS_PDA_EBU</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=148562</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH24683718</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10106580</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">148562</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2407743</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBU</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBU-ocm63201768 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-26T14:48:57Z |
| institution | BVB |
| isbn | 9812567801 9789812567802 9789812561015 9812561013 |
| language | English |
| oclc_num | 63201768 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xiv, 408 pages) |
| psigel | ZDB-4-EBU |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | World Scientific, |
| record_format | marc |
| series | Advances in logic ; |
| series2 | Advances in logic ; |
| spelling | Bochman, Alexander, 1955- https://id.oclc.org/worldcat/entity/E39PCjCVVf48pbRTh4TPb76mHP http://id.loc.gov/authorities/names/nb2002001063 Explanatory nonmonotonic reasoning / Alexander Bochman. Hackensack, NJ : World Scientific, ©2005. 1 online resource (xiv, 408 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier data file Advances in logic ; vol. 4 Includes bibliographical references (pages 395-402) and index. Print version record. Preface; Contents; Chapter 1 Introduction; Chapter 2 Scott Consequence Relations; Chapter 3 Biconsequence Relations; Chapter 4 Four-Valued Logics; Chapter 5 Nonmonotonic Semantics; Chapter 6 Default Consequence Relations; Chapter 7 Argumentation Theory; Chapter 8 Production and Causal Inference; Chapter 9 Epistemic Consequence Relations; Chapter 10 Modal Nonmonotonic Logics; Bibliography; Index. Many approaches in the field of nonmonotonic and "commonsense" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of biconsequence relations, as well as derived systems of default, autoepistemic and causal inference, to cover in a single framework such diverse systems as default logic, autoepistemic and modal nonmonotonic logics, input/output and causal logics, argumentation theory, and semantics of general logic programs. Nonmonotonic reasoning. http://id.loc.gov/authorities/subjects/sh96004467 Raisonnement non-monotone. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Nonmonotonic reasoning fast Print version: Bochman, Alexander, 1955- Explanatory nonmonotonic reasoning. Hackensack, NJ : World Scientific, ©2005 9812561013 (OCoLC)60051194 Advances in logic ; v. 4. http://id.loc.gov/authorities/names/n2001114820 FWS01 ZDB-4-EBU FWS_PDA_EBU https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=148562 Volltext |
| spellingShingle | Bochman, Alexander, 1955- Explanatory nonmonotonic reasoning / Advances in logic ; Preface; Contents; Chapter 1 Introduction; Chapter 2 Scott Consequence Relations; Chapter 3 Biconsequence Relations; Chapter 4 Four-Valued Logics; Chapter 5 Nonmonotonic Semantics; Chapter 6 Default Consequence Relations; Chapter 7 Argumentation Theory; Chapter 8 Production and Causal Inference; Chapter 9 Epistemic Consequence Relations; Chapter 10 Modal Nonmonotonic Logics; Bibliography; Index. Nonmonotonic reasoning. http://id.loc.gov/authorities/subjects/sh96004467 Raisonnement non-monotone. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Nonmonotonic reasoning fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh96004467 |
| title | Explanatory nonmonotonic reasoning / |
| title_auth | Explanatory nonmonotonic reasoning / |
| title_exact_search | Explanatory nonmonotonic reasoning / |
| title_full | Explanatory nonmonotonic reasoning / Alexander Bochman. |
| title_fullStr | Explanatory nonmonotonic reasoning / Alexander Bochman. |
| title_full_unstemmed | Explanatory nonmonotonic reasoning / Alexander Bochman. |
| title_short | Explanatory nonmonotonic reasoning / |
| title_sort | explanatory nonmonotonic reasoning |
| topic | Nonmonotonic reasoning. http://id.loc.gov/authorities/subjects/sh96004467 Raisonnement non-monotone. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Nonmonotonic reasoning fast |
| topic_facet | Nonmonotonic reasoning. Raisonnement non-monotone. COMPUTERS Enterprise Applications Business Intelligence Tools. COMPUTERS Intelligence (AI) & Semantics. Nonmonotonic reasoning |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=148562 |
| work_keys_str_mv | AT bochmanalexander explanatorynonmonotonicreasoning |