Arrow decision logic for relational information systems

Tuan G. Fan*, Duen-Ren Liu, Gwo Hshiung Tzeng

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

8 Scopus citations


In this paper, we propose an arrow decision logic (ADL) for relational information systems (RIS). The logic combines the main features of decision logic (DL) and arrow logic (AL). DL represents and reasons about knowledge extracted from decision tables based on rough set theory, whereas AL is the basic modal logic of arrows. The semantic models of DL are functional information systems (FIS). ADL formulas, on the other hand, are interpreted in RIS. RIS, which not only specifies the properties of objects, but also the relationships between objects. We present a complete axiomatization of ADL and discuss its application to knowledge representation in multicriteria decision analysis.

Original languageEnglish
Title of host publicationTransactions on Rough Sets V
Number of pages23
StatePublished - 1 Dec 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4100 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


  • Arrow logic
  • Decision logic
  • Functional information systems
  • Multicriteria decision analysis
  • Relational information systems
  • Rough sets


Dive into the research topics of 'Arrow decision logic for relational information systems'. Together they form a unique fingerprint.

Cite this