Reasoning about preferences is a major issue in many decision making problems. Recently, a new logic for handling preferences, called Qualitative Choice Logic (QCL), was presented. This logic adds to classical propositional logic a new connective, called ordered disjunction symbolized by . That new connective is used to express preferences between alternatives. QCL was not designed to handle conditional preferences, even if it is possible to express an implication with a preference on the left hand side, for instance "(Air France Virgin) Hotel Package".
Apr-17-2007, 01:04:42 GMT