REPRESENTING DEFAULTS IN THE FRAMEWORK OF POSSIBILITY THEORY∗ (Q3130057)

It is well known that possibility theory has been introduced as an alternative (a supplement) to probability theory in order to deal with vague, imprecise information. On the other hand we have default logics to deal with incomplete information, i.e., to draw plausible conclusions from rules that are not universally valid. Default logics provide no way to reason with vague information as in Zadeh's dispositions, such as ``icy roads are slippery''. In this paper, an integrated formalism is introduced to handle simultaneously default and vague information. Its relation with earlier attempts of Yager has been established and it is shown that Brewka's prioritized default logic can be embedded into a possibilistic default theory. At the end the author lists some hints for further extensions.