Saturation, nonmonotonic reasoning and the closed-world assumption
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Artificial Intelligence
Inscription - A Rule of Conjecture
EPIA 89 Proceedings of the 4th Portuguese Conference on Artificial Intelligence
Agreement: A Logical Approach to Approximate Reasoning
EPIA '95 Proceedings of the 7th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
TINLAP '78 Proceedings of the 1978 workshop on Theoretical issues in natural language processing
Epistemological problems of artificial intelligence
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
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.