Comparative uncertainty: Theory and automation

  • Authors:
  • Andrea Capotorti;Andrea Formisano

  • Affiliations:
  • Dipartimento di matematica e informatica, università/ di perugia, via vanvitelli 1, i-06123 perugia, italy email: capotorti@dipmat.unipg.it/ formis@dipmat.unipg.it;Dipo. di matematica e informatica, università/ di perugia, via vanvitelli 1, i-06123 perugia, italy (capotorti@dipmat.unipg.it/ formis@dipmat.unipg.it) and dipo. di informatica, università ...

  • Venue:
  • Mathematical Structures in Computer Science
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

In recent decades, qualitative approaches to probabilistic uncertainty have received more and more attention. We propose a characterisation of partial preference orders through a uniform axiomatic treatment of a variety of qualitative uncertainty notions. To this end, we prove a representation result that connects qualitative notions of partial uncertainty to their numerical counterparts. We describe an executable specification, in the declarative framework of Answer Set Programming, that constitutes the core engine for qualitative management of uncertainty. Some basic reasoning tasks are also identified.