Decision support system based on 4-valued logic with multi-interpretations
A. S. Kazimirov, V. I. Panteleyev, L. V. Riabets, S. Vinokurov · 2015
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.