Modeling and Reasoning with Paraconsistent Rough Sets

We present a language for defining paraconsistent rough sets and reasoning about them. Our framework relates and brings together two major fields: rough sets [23] and paraconsistent logic programming [9]. To model inconsistent and incomplete information we use a four-valued logic. The language discussed in this paper is based on ideas of our previous work [21,32,22] developing a four-valued framework for rough sets. In this approach membership function, set containment and set operations are four-valued, where logical values are t (true), f (false), i (inconsistent) and u (unknown). We investigate properties of paraconsistent rough sets as well as develop a paraconsistent rule language, providing basic computational machinery for our approach.

[1]  C. Damásio,et al.  A survey of paraconsistent semantics for logic programs , 1998 .

[2]  Melvin Fitting,et al.  Bilattices in logic programming , 1990, Proceedings of the Twentieth International Symposium on Multiple-Valued Logic.

[3]  Daniel Vanderpooten,et al.  A Generalized Definition of Rough Approximations Based on Similarity , 2000, IEEE Trans. Knowl. Data Eng..

[4]  Matthew L. Ginsberg,et al.  Multivalued logics: a uniform approach to reasoning in artificial intelligence , 1988, Comput. Intell..

[5]  Patrick Doherty,et al.  On the Correspondence between Approximations and Similarity , 2004, Rough Sets and Current Trends in Computing.

[6]  Luís Moniz Pereira,et al.  An encompassing framework for Paraconsistent Logic Programs , 2005, J. Appl. Log..

[7]  Andrzej Szalas,et al.  Paraconsistent Logic Programs with Four-Valued Rough Sets , 2008, RSCTC.

[8]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[9]  Andrzej Skowron,et al.  Knowledge Representation Techniques (Studies in Fuzziness and Soft Computing) , 2006 .

[10]  Andrzej Szalas,et al.  Four-Valued Extension of Rough Sets , 2008, RSKT.

[11]  Anthony G. Cohn.  Deep knowledge representation techniques , 1986 .

[12]  N. Rescher.  Many Valued Logic , 1969 .

[13]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[14]  Andrzej Skowron,et al.  Knowledge Representation Techniques - A Rough Set Approach , 2006, Studies in Fuzziness and Soft Computing.

[15]  Adam Grabowski.  Basic Properties of Rough Sets and Rough Membership Function 1 , 2000 .

[16]  Andrzej Skowron,et al.  Tolerance Approximation Spaces , 1996, Fundam. Informaticae.

[17]  L. Bolc,et al.  Many-Valued Logics , 1992 .

[18]  Jan Maluszynski,et al.  RoSy: A Rough Knowledge Base System , 2005, RSFDGrC.

[19]  Patrick Doherty,et al.  A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning , 2007, Fundam. Informaticae.

[20]  Rajshekhar Sunderraman,et al.  Paraconsistent Intuitionistic Fuzzy Relational Data Model , 2004, ArXiv.

[21]  Sandra de Amo,et al.  A paraconsistent logic programming approach for querying inconsistent databases , 2007, Int. J. Approx. Reason..

[22]  Aida Vitória,et al.  A Framework for Reasoning with Rough Sets , 2005, Trans. Rough Sets.

[23]  Melvin Fitting,et al.  Fixpoint Semantics for Logic Programming a Survey , 2001, Theor. Comput. Sci..

[24]  R. Słowiński.  Intelligent Decision Support: Handbook of Applications and Advances of the Rough Sets Theory , 1992 .

[25]  Anna Maria Radzikowska,et al.  A comparative study of fuzzy rough sets , 2002, Fuzzy Sets Syst..

[26]  Patrick Doherty,et al.  Tolerance Spaces and Approximative Representational Structures , 2003, KI.

[27]  Z. Pawlak.  Rough Sets: Theoretical Aspects of Reasoning about Data , 1991 .

[28]  Richard Zach,et al.  Leonard Bolc and Piotr Borowik: Many-valued logics: 1. Theoretical foundations, Berlin: Springer, 1991 , 1994 .

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

[30]  Andrzej Szalas,et al.  A Four-Valued Logic for Rough Set-Like Approximate Reasoning , 2007, Trans. Rough Sets.

[31]  Patrick Doherty,et al.  Communication between agents with heterogeneous perceptual capabilities , 2007, Inf. Fusion.

[32]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[33]  Arnon Avron,et al.  The Value of the Four Values , 1998, Artif. Intell..

[34]  Didier Dubois,et al.  Putting Rough Sets and Fuzzy Sets Together , 1992, Intelligent Decision Support.

[35]  J. Łoś.  Un théorème sur les superpositions des fonctions définies dans les ensembles arbitraires , 1950 .