標題: A LOGICAL FORMULATION OF ROUGH SET DEFINABILITY
作者: Fan, Tuan-Fang
Liau, Churn-Jung
Liu, Duen-Ren
資訊管理與財務金融系 註:原資管所+財金所
Department of Information Management and Finance
關鍵字: Data table;rough set theory;decision logic;first-order logic;definability
公開日期: 1-Feb-2011
摘要: In data mining problems, data is usually provided in the form of data tables. To represent knowledge discovered from data tables, a decision logic (DL) is proposed in rough set theory. DL, is an instance of propositional logic, but we can use other logical formalisms to describe data tables. In this paper, we propose two descriptions of data tables based on first-order data logic (FOUL) and attribute value-sorted logic (AVSL) respectively. In the context of FODL, we show that explicit, definability and implicit definability in classical logic implies the notion of definability in rough set theory. We also show that AVSL is particularly useful for the representation of properties of many-valued data tables.
URI: http://dx.doi.org/10.1142/S0218488511006861
http://hdl.handle.net/11536/25781
ISSN: 0218-4885
DOI: 10.1142/S0218488511006861
期刊: INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS
Volume: 19
Issue: 1
起始頁: 27
結束頁: 37
Appears in Collections:Articles