Grounded Consequence for Defeasible Logic [Paperback]

This book examines the foundations of defeasible logic, exploring the properties of everyday reasoning patterns.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, it contains sections that outline basic issues through intuitive and simple examples.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, it contains sections that outline basic issues through intuitive and simple examples.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 outline basic issues by means of intuitive and simple examples. This book is primarily targeted at philosophers interested in the foundations of defeasible logic, logicians, and specialists in artificial intelligence and theoretical computer science.1. The logic of defeasible inference; 2. Cyclic networks; 3. General extensions; 4. Defeasible consequence.Review of the hardback: 'Antonelli applies some of the techniques developed in Kripke's approach to the paradoxes to generalize some of the most popular formalisms for nonmonotonic reasoning, particularly Default Logic. The result is a complex and sophisticated theory that is technically solid and attractive from an intuitive standpoint.' John Horty, Committee on Philosophy and the Sciences, University of MarylandReview of the hardback: '& accessible to an audience with no previous exposure to either defeasible inheritance or default reasoning.' ZentrallS’