Possibilistic uncertainty and fuzzy features in description logic. A preliminary discussion

Abstract This short paper intends first to emphasize the basic distinction between gradual truth and uncertainty, and its relevance when dealing with classification. Then, the representation capabilities of first-order possibilistic logic are pointed out, before briefly providing some hints, which may be of interest for dealing with uncertainty and handling some fuzzy features in description logic.

[1]  Didier Dubois,et al.  A HIERARCHICAL MODEL OF FUZZY CLASSES , 1997 .

[2]  T. P. Martin,et al.  Logic Programming and Soft Computing , 1998 .

[3]  B. Hollunder.  An alternative proof method for possibilistic logicand its application to terminological logics , 1994, UAI 1994.

[4]  L. Zadeh.  Fuzzy sets as a basis for a theory of possibility , 1999 .

[5]  D. Dubois,et al.  Fuzzy cardinality and the modeling of imprecise quantification , 1985 .

[6]  Didier Dubois,et al.  Semantics of quotient operators in fuzzy relational databases , 1996, Fuzzy Sets Syst..

[7]  Teresa Alsinet,et al.  A Complete Calcultis for Possibilistic Logic Programming with Fuzzy Propositional Variables , 2000, UAI.

[8]  Petr Hájek,et al.  Making fuzzy description logic more general , 2005, Fuzzy Sets Syst..

[9]  Andrew P. Sage,et al.  Uncertainty in Artificial Intelligence , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[10]  H. Prade,et al.  Possibilistic logic , 1994 .

[11]  J. Lang.  Possibilistic Logic: Complexity and Algorithms , 2000 .

[12]  Didier Dubois,et al.  Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification , 2001, Annals of Mathematics and Artificial Intelligence.

[13]  Umberto Straccia,et al.  A Fuzzy Description Logic , 1998, AAAI/IAAI.

[14]  Didier Dubois,et al.  Possibilistic logic : a retrospective and prospective view , 2003 .

[15]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[16]  Umberto Straccia,et al.  Reasoning within Fuzzy Description Logics , 2011, J. Artif. Intell. Res..

[17]  Elie Sanchez,et al.  Resolution of Composite Fuzzy Relation Equations , 1976, Inf. Control..

[18]  Jean Lieber,et al.  Étude de quelques logiques de descriptions floues et de formalismes apparentés , 2004 .

[19]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .

[20]  John Yen,et al.  Generalizing Term Subsumption Languages to Fuzzy Logic , 1991, IJCAI.

[21]  Didier Dubois,et al.  Upper and lower images of a fuzzy set induced by a fuzzy relation: Applications to fuzzy inference and diagnosis , 1992, Inf. Sci..

[22]  Didier Dubois,et al.  Qualitative reasoning with imprecise probabilities , 1993, Journal of Intelligent Information Systems.

[23]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[24]  Christopher Tresp,et al.  A Description Logic for Vague Knowledge , 1998, ECAI.

[25]  Maciej Wygralak.  Vaguely defined objects , 1995 .

[26]  D. Dubois,et al.  Vagueness, typicality, and uncertainty in class hierarchies , 1991 .

[27]  Umberto Straccia.  Uncertainty in Description Logics: a Lattice-based Approach , 2005 .

[28]  Didier Dubois,et al.  Representing Default Rules in Possibilistic Logic , 1992, KR.

[29]  Bernhard Hollunder.  An alternative proof method for possibilistic logic and its application to terminological logics , 1994, Int. J. Approx. Reason..

[30]  Didier Dubois,et al.  A Symbolic Approach to Reasoning with Linguistic Quantifiers , 1992, UAI.

[31]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[32]  Didier Dubois,et al.  A Logic of Graded Possibility and Certainty Coping with Partial Inconsistency , 1994, UAI.