Definability in Logic and Rough Set Theory

被引：0

作者：

Fan, Tuan-Fang ^{[1
,2
]}

Liau, Churn-Jung ^{[3
]}

Liu, Duen-Ren ^{[2
]}

机构：

[1] Natl Penghu Univ, Dept Comp Sci & Informat Engn, Penghu 880, Taiwan

[2] Natl Chiao Tung Univ, Inst Informat Management, Hsinchu 300, Taiwan

[3] Acad Sinica, Inst Informat Sci, Taipei 115, Taiwan

来源：

ECAI 2008, PROCEEDINGS | 2008年 / 178卷

关键词：

D O I：

10.3233/978-1-58603-891-5-749

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Rough set theory is an effective tool for data mining. According to the theory, a concept is definable if it can be written as a Boolean combination of equivalence classes induced from classification attributes. On the other hand, definability in logic has been explicated by Beth's theorem. In this paper, we propose two data representation formalisms, called first-order data logic (FODL) and attribute value-sorted logic (AVSL), respectively. Based on these logics, we explore the relationship between logical definability and rough set definability.

引用

页码：749 / +

页数：2

共 50 条

[21] Generalization rough set theory
Xiao, Di
Zhang, Jun-Feng
Hu, Shou-Song
[J]. Journal of Donghua University (English Edition), 2008, 25 (06) : 654 - 658
[22] Generalization Rough Set Theory
肖迪
张军峰
胡寿松
[J]. Journal of Donghua University(English Edition), 2008, 25 (06) : 654 - 658
[23] Supervaluationism and Rough Set Theory
Fu, Hao Cheng
[J]. 2012 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING (GRC 2012), 2012,
[24] Intelligent Fault Diagnosis of Power Transformer based on Fuzzy Logic and Rough Set Theory
Zheng, Xiaoxia
[J]. 2008 7TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-23, 2008, : 6858 - 6862
[25] On the neutrosophic soft set with rough set theory
Minakhi Das
Debadutta Mohanty
Kedar Chandra Parida
[J]. Soft Computing, 2021, 25 : 13365 - 13376
[26] On the neutrosophic soft set with rough set theory
Das, Minakhi
Mohanty, Debadutta
Parida, Kedar Chandra
[J]. SOFT COMPUTING, 2021, 25 (21) : 13365 - 13376
[27] Heyting-Brouwer Rough Set Logic
Akama, Seiki
Murai, Tetsuya
Kudo, Yasuo
[J]. KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2013), VOL 2, 2014, 245 : 135 - 145
[28] Implementing algorithms of rough set theory and fuzzy rough set theory in the R package "RoughSets"
Septem Riza, Lala
Janusz, Andrzej
Bergmeir, Christoph
Cornelis, Chris
Herrera, Francisco
Slezak, Dominik
Manuel Benitez, Jose
[J]. INFORMATION SCIENCES, 2014, 287 : 68 - 89
[29] Rough set classification based on quantum logic
Hassan, Yasser F.
[J]. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2017, 29 (06) : 1325 - 1336
[30] DEFINABILITY IN DYNAMIC LOGIC
MEYER, AR
PARIKH, R
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1981, 23 (02) : 279 - 298

← 1 2 3 4 5 →