Cover Image

Grounded consequence for defeasible logic /

Bibliographic Details
Main Author: Antonelli, G. Aldo
Format: Book
Language:English
Published: Cambridge, UK ; New York : Cambridge University Press, 2005.
Subjects:
Defeasible reasoning.
Online Access:Table of contents
Table of Contents:
  • 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.