PreC: A prototypical tool to deal with partial preference orders and qualitative uncertainty

Starting from an uniform declarative axiomatic treatment of qualitative uncertainty, we introduce a new tool that permits an user-friendly handling of uncertainty preference orders. The tool combines different programming paradigms by completing a declarative programming engine (based on Answer Set Programming) with a graphical interface.

[1]  C. Fox.  Strength of Evidence, Judged Probability, and Choice Under Uncertainty , 1999, Cognitive Psychology.

[2]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 1997, Proceedings of Computational Complexity. Twelfth Annual IEEE Conference.

[3]  Andrea Capotorti,et al.  Axiomatic characterization of partial ordinal relations , 2000, Int. J. Approx. Reason..

[4]  Didier Dubois,et al.  Qualitative decision theory with preference relations and comparative uncertainty: An axiomatic approach , 2003, Artif. Intell..

[5]  Ronen I. Brafman,et al.  Modeling Agents as Qualitative Decision Makers , 1997, Artif. Intell..

[6]  Andrea Capotorti,et al.  Qualitative Uncertainty Orderings Revised , 2007, LMCS.

[7]  Gert de Cooman.  Confidence Relations and Ordinal Information , 1998, Inf. Sci..

[8]  Andrea Capotorti,et al.  Management of uncertainty orderings through ASP , 2006, Modern Information Processing.

[9]  Giulianella Coletti,et al.  Representability of Ordinal Relations on a Set of Conditional Events , 2006 .

[10]  Pierre Hansen,et al.  Column Generation Methods for Probabilistic Logic , 1989, INFORMS J. Comput..

[11]  Alex M. Andrew,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .

[12]  T. Fine,et al.  Varieties of modal (classificatory) and comparative probability , 1979, Synthese.

[13]  Yiyu Yao,et al.  Axiomatization of qualitative belief structure , 1991, IEEE Trans. Syst. Man Cybern..

[14]  Andrea Capotorti,et al.  Non additive ordinal relations representable by lower or upper probabilities , 1998, Kybernetika.

[15]  Giulianella Coletti,et al.  Coherent qualitative probability , 1990 .