國立虎尾科技大學 |

Grounded consequence for defeasible logic /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Grounded consequence for defeasible logic // G. Aldo Antonelli.
作者:	Antonelli, G. Aldo,
面頁冊數:	1 online resource (xii, 118 pages) :digital, PDF file(s). :
附註:	Title from publisher's bibliographic system (viewed on 05 Oct 2015).
標題:	Defeasible reasoning. -
電子資源:	https://doi.org/10.1017/CBO9780511498411
ISBN:	9780511498411 (ebook)

Grounded consequence for defeasible logic /
Antonelli, G. Aldo,

Grounded consequence for defeasible logic /G. Aldo Antonelli. - 1 online resource (xii, 118 pages) :digital, PDF file(s).

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

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.

ISBN: 9780511498411 (ebook)Subjects--Topical Terms:

798921
Defeasible reasoning.

LC Class. No.: BC199.D38 / A58 2005

Dewey Class. No.: 160

Grounded consequence for defeasible logic /
LDR:02533nam a22003018i 4500 001 1126627
003 UkCbUP
005 20151005020623.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 240926s2005||||enk o ||1 0|eng|d
020 $a 9780511498411 (ebook)
020 $z 9780521842051 (hardback)
020 $z 9780521122634 (paperback)
035 $a CR9780511498411
040 $a UkCbUP $b eng $e rda $c UkCbUP
050 0 0 $a BC199.D38 $b A58 2005
082 0 0 $a 160 $2 22
100 1 $a Antonelli, G. Aldo, $e author. $3 1445571
245 1 0 $a Grounded consequence for defeasible logic / $c G. Aldo Antonelli.
264 1 $a Cambridge : $b Cambridge University Press, $c 2005.
300 $a 1 online resource (xii, 118 pages) : $b digital, PDF file(s).
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Title from publisher's bibliographic system (viewed on 05 Oct 2015).
505 0 $a 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.
520 $a 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.
650 0 $a Defeasible reasoning. $3 798921
776 0 8 $i Print version: $z 9780521842051
856 4 0 $u https://doi.org/10.1017/CBO9780511498411