Grounded consequence for defeasible logic / G. Aldo Antonelli.

Format:

Book

Author/Creator:

Antonelli, G. Aldo, author.

Language:

English

Subjects (All):

Defeasible reasoning.

Physical Description:

1 online resource (xii, 118 pages) : digital, PDF file(s).

Edition:

1st ed.

Place of Publication:

Cambridge : Cambridge University Press, 2005.

Language Note:

English

Summary:

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.

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.

Notes:

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

Includes bibliographical references (p. 113-116) and index.

ISBN:

1-107-15160-0

1-280-54125-3

0-511-19133-2

0-511-16134-4

0-511-16006-2

0-511-29944-3

0-511-49841-1

0-511-16063-1

OCLC:

171138077

Publisher Number:

9780521842051