书名: Grounded Consequence for Defeasible Logic
作者: Aldo Antonelli (Author)
出版社: Cambridge University Press (June 27, 2005)
语言: English
ISBN-10: 0521842050
ISBN-13: 978-0521842051
Book Description
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.
Review
'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
[thread=12333]论坛相关讨论主题[/thread]
作者: Aldo Antonelli (Author)
出版社: Cambridge University Press (June 27, 2005)
语言: English
ISBN-10: 0521842050
ISBN-13: 978-0521842051
Book Description
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.
Review
'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
[thread=12333]论坛相关讨论主题[/thread]