DIMACS TR: 2005-03

Modelling continuous positive and negative reasons in decision aiding



Authors: Meltem Ozturk and Alexis Tsoukias

ABSTRACT

The use of positive and negative reasons in inference and decision aiding is a recurrent issue of investigation. A language enabling us to explicitly take into account such reasons is Belnap's logic and the four valued logics derived from it. In this paper, we explore the interpretation of a continuous extension of a four-valued logic as a necessity degree (in possibility theory). It turns out that, in order to take full advantage of the four values, we have to consider "sub-normalized" necessity measures. Under such a hypothesis four-valued logics become the natural logical frame for such an approach.

Paper Available at: ftp://dimacs.rutgers.edu/pub/dimacs/TechnicalReports/TechReports/2005/2005-03.ps.gz
DIMACS Home Page