> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Grounded consequence for defeasible logic Enthält: The logic of defeasible inference. First-order logicConsequence relations -- Nonmonotonic logics -- Skeptical vs. credulous reasoning -- Floating conclusions -- Conflicts and modularity -- Assessment -- Cyclic networks. Background and motivation -- Graph-theoretical preliminaries -- Constructing extensions -- Non-well-founded networks -- Extensions and comparisons. Decoupling ; Zombie paths ; Infinite networks -- Proofs of selected thorems -- General extensions for default logic. Introductory remarks -- Categorical default theories -- Examples -- Grounded extensions -- Examples, continued -- Proofs of selected theorems -- Defeasible consequence relations. Defeasible consequence -- Alternative developments. Seminormal theories ; Optimal extensions ; Circumspect extensions -- Conclusions and comparisons. Existence of extensions ; Defeasible consequence, again ; Floating conclusions, conflicts, and modularity -- Infinitely many defaults -- Proofs of selected theorems. The logic of defeasible inference. First-order logic -- Consequence relations -- Nonmonotonic logics -- Skeptical vs. credulous reasoning -- Floating conclusions -- Conflicts and modularity -- Assessment -- Cyclic networks. Background and motivation -- Graph-theoretical preliminaries -- Constructing extensions -- Non-well-founded networks -- Extensions and comparisons. Decoupling ; Zombie paths ; Infinite networks -- Proofs of selected thorems -- General extensions for default logic. Introductory remarks -- Categorical default theories -- Examples -- Grounded extensions -- Examples, continued -- Proofs of selected theorems -- Defeasible consequence relations. Defeasible consequence -- Alternative developments. Seminormal theories ; Optimal extensions ; Circumspect extensions -- Conclusions and comparisons. Existence of extensions ; Defeasible consequence, again ; Floating conclusions, conflicts, and modularity -- Infinitely many defaults -- Proofs of selected theorems Beteiligte: Antonelli, G. Aldo [VerfasserIn] Erschienen: Cambridge [u.a.]: Cambridge University Press, c 2005 Ausgabe: 1. publ. Umfang: XII, 118 S.; graph. Darst; 23 cm Sprache: Englisch ISBN: 0521842050; 9780521842051 RVK-Notation: CC 2500 : Philosophische Logik Schlagwörter: Nichtmonotone Logik Default-Logik Logik Entstehung: Anmerkungen: Includes bibliographical references (p. 113-116) and index
Zentralbibliothek – Magazin Signatur: R2017 8 16623 Barcode: 31346132 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden