Arrow decision logic

Abstract

In this paper, we propose arrow decision logic (ADL), which combines the main features of decision logic and arrow logic. Decision logic represents and reasons about knowledge extracted from decision tables based on rough set theory, while arrow logic is the basic modal logic of arrows. The semantic models of ADL are pairwise comparison tables, which are useful in rough set-based multicriteria analysis. Consequently, ADL can represent preference knowledge induced from multicriteria decision tables.