Tolerance approximation spaces
Fundamenta Informaticae - Special issue: rough sets
Rough sets and 3-valued Lukasiewicz logic
Fundamenta Informaticae
Artificial Intelligence
A survey of paraconsistent semantics for logic programs
Handbook of defeasible reasoning and uncertainty management systems
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Fixpoint semantics for logic programming a survey
Theoretical Computer Science
A comparative study of fuzzy rough sets
Fuzzy Sets and Systems
A Generalized Definition of Rough Approximations Based on Similarity
IEEE Transactions on Knowledge and Data Engineering
Knowledge Representation Techniques (Studies in Fuzziness and Soft Computing)
Knowledge Representation Techniques (Studies in Fuzziness and Soft Computing)
Communication between agents with heterogeneous perceptual capabilities
Information Fusion
A paraconsistent logic programming approach for querying inconsistent databases
International Journal of Approximate Reasoning
Paraconsistent Logic Programs with Four-Valued Rough Sets
RSCTC '08 Proceedings of the 6th International Conference on Rough Sets and Current Trends in Computing
A four-valued logic for rough set-like approximate reasoning
Transactions on rough sets VI
Four-valued extension of rough sets
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
RoSy: a rough knowledge base system
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part II
A framework for reasoning with rough sets
Transactions on Rough Sets IV
A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Hi-index | 0.00 |
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.