Grounded Consequence for Defeasible Logic

Description

This is a monograph 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.

'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 Maryland, College Park '... accessible to an audience with no previous exposure to either defeasible inheritance or default reasoning.' Zentralblatt MATH