Explanatory nonmonotonic reasoning:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Hackensack, NJ
World Scientific
©2005
|
| Series: | Advances in logic
v. 4 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Includes bibliographical references (pages 395-402) and index 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 |
| Physical Description: | 1 Online-Ressource (xiv, 408 pages) |
| ISBN: | 9812567801 9789812567802 9789812561015 9812561013 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042964167 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151030s2005 |||| o||u| ||||||eng d | ||
| 020 | |a 9812567801 |9 981-256-780-1 | ||
| 020 | |a 9789812567802 |9 978-981-256-780-2 | ||
| 020 | |a 9789812561015 |9 978-981-256-101-5 | ||
| 020 | |a 9812561013 |9 981-256-101-3 | ||
| 035 | |a (OCoLC)63201768 | ||
| 035 | |a (DE-599)BVBBV042964167 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 006.3 |2 22 | |
| 100 | 1 | |a Bochman, Alexander |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Explanatory nonmonotonic reasoning |c Alexander Bochman |
| 264 | 1 | |a Hackensack, NJ |b World Scientific |c ©2005 | |
| 300 | |a 1 Online-Ressource (xiv, 408 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Advances in logic |v v. 4 | |
| 500 | |a Includes bibliographical references (pages 395-402) and index | ||
| 500 | |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 | ||
| 500 | |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 | 7 | |a COMPUTERS / Enterprise Applications / Business Intelligence Tools |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Intelligence (AI) & Semantics |2 bisacsh | |
| 650 | 7 | |a Nonmonotonic reasoning |2 fast | |
| 650 | 4 | |a Nonmonotonic reasoning | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=148562 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA |a ZDB-4-EBU | ||
| 940 | 1 | |q FAW_PDA_EBA | |
| 940 | 1 | |q FLA_PDA_EBU | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028390034 | ||
Record in the Search Index
| _version_ | 1804175288360239104 |
|---|---|
| any_adam_object | |
| author | Bochman, Alexander |
| author_facet | Bochman, Alexander |
| author_role | aut |
| author_sort | Bochman, Alexander |
| author_variant | a b ab |
| building | Verbundindex |
| bvnumber | BV042964167 |
| collection | ZDB-4-EBA ZDB-4-EBU |
| ctrlnum | (OCoLC)63201768 (DE-599)BVBBV042964167 |
| 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>02529nmm a2200445zcb4500</leader><controlfield tag="001">BV042964167</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151030s2005 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812567801</subfield><subfield code="9">981-256-780-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812567802</subfield><subfield code="9">978-981-256-780-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812561015</subfield><subfield code="9">978-981-256-101-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812561013</subfield><subfield code="9">981-256-101-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)63201768</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042964167</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><subfield code="a">DE-1047</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">Bochman, Alexander</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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="264" ind1=" " ind2="1"><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-Ressource (xiv, 408 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">Advances in logic</subfield><subfield code="v">v. 4</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 395-402) and index</subfield></datafield><datafield tag="500" ind1=" " 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="500" 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="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">Nonmonotonic reasoning</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonmonotonic reasoning</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=148562</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield><subfield code="a">ZDB-4-EBU</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_EBA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_EBU</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028390034</subfield></datafield></record></collection> |
| id | DE-604.BV042964167 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:13:54Z |
| institution | BVB |
| isbn | 9812567801 9789812567802 9789812561015 9812561013 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028390034 |
| oclc_num | 63201768 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xiv, 408 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBU FAW_PDA_EBA FLA_PDA_EBU |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | World Scientific |
| record_format | marc |
| series2 | Advances in logic |
| spelling | Bochman, Alexander Verfasser aut Explanatory nonmonotonic reasoning Alexander Bochman Hackensack, NJ World Scientific ©2005 1 Online-Ressource (xiv, 408 pages) txt rdacontent c rdamedia cr rdacarrier Advances in logic v. 4 Includes bibliographical references (pages 395-402) and index 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 COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Nonmonotonic reasoning fast Nonmonotonic reasoning http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=148562 Aggregator Volltext |
| spellingShingle | Bochman, Alexander Explanatory nonmonotonic reasoning COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Nonmonotonic reasoning fast Nonmonotonic reasoning |
| 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 | COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Nonmonotonic reasoning fast Nonmonotonic reasoning |
| topic_facet | COMPUTERS / Enterprise Applications / Business Intelligence Tools COMPUTERS / Intelligence (AI) & Semantics Nonmonotonic reasoning |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=148562 |
| work_keys_str_mv | AT bochmanalexander explanatorynonmonotonicreasoning |