Grounded consequence for defeasible logic
This is a title on the foundations of defeasible logic, which explores the formal properties of everyday reasoning patterns whereby people jump to conclusions, reserving the right to retract them in the light of further information. Although technical in nature the book contains sections that outlin...
| Otros Autores: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Cambridge :
Cambridge University Press
2005.
|
| Colección: | CUP ebooks.
|
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b42036434*spi |
Tabla de Contenidos:
- 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.
