Arrow decision logic for relational information systems

Authors:
Tuan-Fang Fan;Duen-Ren Liu;Gwo-Hshiung Tzeng
Affiliations:
Institute of Information Management, National Chiao-Tung University, Hsinchu, Taiwan;Institute of Information Management, National Chiao-Tung University, Hsinchu, Taiwan;Institute of Management of Technology, National Chiao-Tung University, Hsinchu, Taiwan
Venue:
Transactions on Rough Sets V
Year:
2006

Citing 15
Cited 1

Algebraic properties of knowledge representation systems

ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Categories, types, and structures: an introduction to category theory for the working computer scientist

Categories, types, and structures: an introduction to category theory for the working computer scientist
A crash course in arrow logic

Arrow logic and multi-modal logic
Data mining: concepts and techniques

Data mining: concepts and techniques
Rough Sets: Theoretical Aspects of Reasoning about Data

Rough Sets: Theoretical Aspects of Reasoning about Data
A Logical Approach to Fuzzy Data Analysis

PKDD '99 Proceedings of the Third European Conference on Principles of Data Mining and Knowledge Discovery
Fast Algorithms for Mining Association Rules in Large Databases

VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Decision Logics for Knowledge Representation in Data Mining

COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Rough Set Analysis of Preference-Ordered Data

TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
A Generalized Decision Logic in Interval-Set-Valued Information Tables

RSFDGrC '99 Proceedings of the 7th International Workshop on New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
Matrix representation of belief states: an algebraic semantics for belief logics

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
A Possibilistic Decision Logic with Applications

Fundamenta Informaticae
Complex Patterns

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Rough sets and higher order vagueness

RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Arrow decision logic

RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I

Rough set analysis of relational structures

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.