ISSN:
1573-7462
Keywords:
belief revision
;
commonsense reasoning
;
partial set inclusion
;
qualification problem
;
nonmonotonic reasoning
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract Ever since the publication of “Programs With Common Sense” by McCarthy, the problem of qualification has been a source of intense research and debate. While it is undoubtful that now the common sense research community knows a lot about default reasoning, non-monotonic logics, belief revision, multiple extensions, among related topics, it is undeniable that the problem of qualification remains unsolved. In the present paper, the problem of qualification is reframed and a different approach to it is presented. It is here suggested that a more powerful instrument for quantification (instead of the universal quantifier) can circumvent some of the problems raised by the traditional approaches. From a commonsensical point of view, sentences like men are mortal, elephants are grey, and birds fly suggest a kind of “partial set inclusion” to which decreasing grades of epistemic entrenchment of a certain agent can be associated. In order to illustrate the capabilities of the proposed approach, an exercise of belief revision, involving a mythical australian bird, named Tweety, which happens to be a flying ostrich, is presented.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1006500215741
Permalink