On the structure of metric spaces related to pre-rough logic

The consideration of approximate reasoning merging rough approximation and formal deduction in pre-rough logic leads to three different types of metric spaces, which we call pre-rough logic metric space, pre-rough upper logic metric space and pre-rough lower logic metric space, respectively. In this paper, we investigate the structure of these three metric spaces mainly from the perspective of topology. It is shown that the three metric spaces have no isolated points. In addition, the continuity of logic connectives w.r.t. rough upper pseudo-metric and rough lower pseudo-metric is examined and the robust analysis of rough logic is also studied. Lastly, the notion of rough divergency degree of any logic theory is proposed and its topological characterization is presented.

[1]  Mohua Banerjee,et al.  Rough Sets and 3-Valued Lukasiewicz Logic , 1997, Fundam. Informaticae.

[2]  Mohua Banerjee,et al.  Some Rough Consequence Logics and their Interrelations , 2008, Trans. Rough Sets.

[3]  Jiye Liang,et al.  Ieee Transactions on Knowledge and Data Engineering 1 a Group Incremental Approach to Feature Selection Applying Rough Set Technique , 2022 .

[4]  Yanhong She,et al.  Rough approximation operators on R0-algebras (nilpotent minimum algebras) with an application in formal logic L* , 2014, Inf. Sci..

[5]  Zdzislaw Pawlak,et al.  Rough Set Theory and its Applications to Data Analysis , 1998, Cybern. Syst..

[6]  Yanhui Zhai,et al.  Decision implications: a logical point of view , 2013, International Journal of Machine Learning and Cybernetics.

[7]  Theresa Beaubouef,et al.  Rough Sets , 2019, Lecture Notes in Computer Science.

[8]  Gianpiero Cattaneo,et al.  Heyting Wajsberg Algebras as an Abstract Environment Linking Fuzzy and Rough Sets , 2002, Rough Sets and Current Trends in Computing.

[9]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[10]  Guojun Wang,et al.  Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic , 2011, Fundam. Informaticae.

[11]  Z. Pawlak,et al.  Rough sets and rough logic: a KDD perspective , 2000 .

[12]  Jianhui Lin,et al.  A Rough-Set-Based Incremental Approach for Updating Approximations under Dynamic Maintenance Environments , 2013, IEEE Transactions on Knowledge and Data Engineering.

[13]  Janusz Zalewski,et al.  Rough sets: Theoretical aspects of reasoning about data , 1996 .

[14]  Mihir K. Chakraborty,et al.  A Geometry of Approximation , 2009 .

[15]  Akira Nakamura,et al.  A rough logic based on incomplete information and its application , 1996, Int. J. Approx. Reason..

[16]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[17]  Xiao Zhang,et al.  On rule acquisition in decision formal contexts , 2013, Int. J. Mach. Learn. Cybern..

[18]  Z. Pawlak.  Rough set approach to knowledge-based decision support , 1997 .

[19]  Mihir K. Chakraborty,et al.  Approximation and Algebraic Logic , 2008 .

[20]  S. Gottwald.  A Treatise on Many-Valued Logics , 2001 .

[21]  Mihir K. Chakraborty,et al.  A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns , 2008 .

[22]  Stéphane Demri,et al.  Incomplete Information: Structure, Inference, Complexity , 2002, Monographs in Theoretical Computer Science An EATCS Series.

[23]  Mohua Banerjee,et al.  Rough Sets Through Algebraic Logic , 1996, Fundam. Informaticae.

[24]  Mihir K. Chakraborty,et al.  Algebraic structures in the vicinity of pre-rough algebra and their logics , 2014, Inf. Sci..

[25]  Melvin Fitting,et al.  First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.

[26]  Yanhong She,et al.  On the rough consistency measures of logic theories and approximate reasoning in rough logic , 2014, Int. J. Approx. Reason..

[27]  Ivo Düntsch,et al.  A Logic for Rough Sets , 1997, Theor. Comput. Sci..