Reference : Resource-origins of Nonmonotonicity
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/15879
Resource-origins of Nonmonotonicity
English
Gabbay, Dov M. [King’s College London, Department of Computer Science, London, UK]
Woods, John [> >]
2008
Studia Logica
Springer
88
1
85–112
Yes
0039-3215
1572-8730
Berlin
Germany
[en] Resource ; nonmonotonic logic ; psychologism
[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.
http://hdl.handle.net/10993/15879

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
art%3A10.1007%2Fs11225-008-9100-2.pdfPublisher postprint313.68 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.