Decision support system based on 4-valued logic with multi-interpretations

This paper concerns 4-valued logic as a basis for decision support system. We extend classic logic containing 2 values T, F with additional values C (contradiction) and U (uncertainty). This values are introduced for processing contradictory and incomplete information. We consider a generalized interpretation of arguments which determines predicate values for subsets. As a demonstration we consider the application of 4-valued logic for medical prescriptions.