Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore :
World Scientific,
2005.
|
| Colección: | Advances in logic ;
v. 4. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mu 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn475965534 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr mn|---||||| | ||
| 008 | 091207s2005 si ob 001 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d OCLCQ |d MHW |d OCLCQ |d DEBSZ |d OCLCQ |d IDEBK |d OCLCQ |d ZCU |d OCLCQ |d MERUC |d U3W |d OCLCO |d OCLCF |d OCLCQ |d STF |d OCLCO |d ICG |d AU@ |d OCLCQ |d TKN |d UMR |d DKC |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 748527880 |a 815570760 | ||
| 020 | |a 9789812567802 |q (electronic bk.) | ||
| 020 | |a 9812567801 |q (electronic bk.) | ||
| 020 | |a 1281372544 | ||
| 020 | |a 9781281372543 | ||
| 020 | |z 9812561013 | ||
| 029 | 1 | |a AU@ |b 000048760410 | |
| 029 | 1 | |a DEBBG |b BV044082211 | |
| 029 | 1 | |a DEBSZ |b 396078567 | |
| 029 | 1 | |a DEBSZ |b 430318634 | |
| 035 | |a (OCoLC)475965534 |z (OCoLC)748527880 |z (OCoLC)815570760 | ||
| 050 | 4 | |a Q339.2 .B6288 2005eb | |
| 072 | 7 | |a UM |2 bicssc | |
| 082 | 0 | 4 | |a 005.115 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Bochman, Alexander, |d 1955- | |
| 245 | 1 | 0 | |a Explanatory Nonmonotonic Reasoning. |
| 260 | |a Singapore : |b World Scientific, |c 2005. | ||
| 300 | |a 1 online resource (424 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Advances in logic ; |v v. 4 | |
| 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. | ||
| 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. | |
| 504 | |a Includes bibliographical references (pages 395-402) and index. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Nonmonotonic reasoning. | |
| 650 | 2 | |a Artificial Intelligence | |
| 650 | 6 | |a Intelligence artificielle. | |
| 650 | 6 | |a Raisonnement non-monotone. | |
| 650 | 7 | |a artificial intelligence. |2 aat | |
| 650 | 7 | |a Artificial intelligence |2 fast | |
| 650 | 7 | |a Nonmonotonic reasoning |2 fast | |
| 776 | 1 | |z 9789812561015 | |
| 830 | 0 | |a Advances in logic ; |v v. 4. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=244548 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL244548 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 137254 | ||
| 994 | |a 92 |b IZTAP | ||