On Modal and Fuzzy Decision Logics Based on Rough Set Theory

Article type: Research Article

Authors: Fan, Tuan-Fang | Liau, Churn-Jung | Yao, Yiyu

Affiliations: Department of Information Engineering, National Penghu Institute of Technology, Penghu, Taiwan | Institute of Information Science, Academia Sinica, Taipei, Taiwan | Department of Computer Science, University of Regina, Regina, Saskatchewan, Canada S4S 0A2

Abstract: Some modal decision logic languages are proposed for knowledge representation in data mining through the notions of models and satisfiability. The models are collections of data tables consisting of a finite set of objects described by a finite set of attributes. Some relationships may exist between data tables in a collection and the modalities of our languages are interpreted with respect to these relations in Kripkean style semantics. The notion of fuzzy decision logic is also reviewed and combined with the modal decision logic. The combined logic is shown to be useful in the representation of fuzzy sequential patterns.

Keywords: data table, decision logic, modal decision logic, fuzzy decision logic, rough set theory

Journal: Fundamenta Informaticae, vol. 52, no. 4, pp. 323-344, 2002