Explanatory nonmonotonic reasoning [[electronic resource] /] / Alexander Bochman
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Bochman Alexander <1955->
|
| Titolo: |
Explanatory nonmonotonic reasoning [[electronic resource] /] / Alexander Bochman
|
| Pubblicazione: | Hackensack, NJ, : World Scientific, c2005 |
| Descrizione fisica: | 1 online resource (424 p.) |
| Disciplina: | 005.115 |
| Soggetto topico: | Nonmonotonic reasoning |
| Artificial intelligence | |
| Soggetto genere / forma: | Electronic books. |
| Note generali: | Description based upon print version of record. |
| Nota di bibliografia: | Includes bibliographical references (p. 395-402) and index. |
| Nota di contenuto: | 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 |
| Sommario/riassunto: | 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 program |
| Titolo autorizzato: | Explanatory nonmonotonic reasoning |
| ISBN: | 1-281-37254-4 |
| 9786611372545 | |
| 981-256-780-1 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910450429603321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Advances in logic ; ; v. 4.