Article (Scientific journals)
Resource-origins of Nonmonotonicity
Gabbay, Dov M.; Woods, John
2008In Studia Logica, 88 (1), p. 85–112
Peer reviewed
 

Files


Full Text
art%3A10.1007%2Fs11225-008-9100-2.pdf
Publisher postprint (321.21 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Resource; nonmonotonic logic; psychologism
Abstract :
[en] Formal nonmonotonic systems try to model the phenomenon that common sense reasoners are able to “jump” in their reasoning from assumptions ∆ to conclusions C without their being any deductive chain from ∆ to C. Such jumps are done by various mechanisms which are strongly dependent on context and knowledge of how the actual world functions. Our aim is to motivate these jump rules as inference rules designed to optimise survival in an environment with scant resources of effort and time. We begin with a general discussion and quickly move to Section 3 where we introduce five resource principles. We show that these principles lead to some well known nonmonotonic systems such as Nute’s defeasible logic. We also give several examples of practical reasoning situations to illustrate our principles.
Disciplines :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2009-260
Author, co-author :
Gabbay, Dov M. ;  King’s College London, Department of Computer Science, London, UK
Woods, John
Language :
English
Title :
Resource-origins of Nonmonotonicity
Publication date :
2008
Journal title :
Studia Logica
ISSN :
1572-8730
Publisher :
Springer, Berlin, Germany
Volume :
88
Issue :
1
Pages :
85–112
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 10 March 2014

Statistics


Number of views
72 (1 by Unilu)
Number of downloads
549 (1 by Unilu)

Scopus citations®
 
11
Scopus citations®
without self-citations
7
OpenCitations
 
8

Bibliography


Similar publications



Contact ORBilu