Grounded consequence for defeasible logic.

Antonelli, G. Aldo.

ISBN 10: 0521842050 / ISBN 13: 9780521842051

Published by Cambridge University Press, 2005

About this Item

Cambridge : Cambridge University Press, 2005. Hardcover. Dustjacket. 118 pp. Includes bibliographical references (p. 113-116) and index. English text. Condition : as new. - 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. - 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. Condition : as new copy. ISBN 9780521842051. Keywords : PHILOSOPHY, philosophy.

Seller Inventory # 272669

Bibliographic Details

• Title: Grounded consequence for defeasible logic.
• Publisher: Cambridge University Press
• Publication Date: 2005
• Language: English
• ISBN 10: 0521842050
• ISBN 13: 9780521842051
• Binding: Hardcover
• Condition: as new
• Dust Jacket Condition: Dust Jacket Included

About this title

Synopsis

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.

Book Description

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.