First-order rough logic I: approximate reasoning via rough sets
Fundamenta Informaticae - Special issue: rough sets
Fuzzy Logic and the Resolution Principle
Journal of the ACM (JACM)
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Logics Systems for Approximate Reasoning: Approximation via Rough Sets and Topological Spaces
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
The OI-Resolution of Operator Rough Logic
RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
The Resolution for Ruogh Propositional Logic with Lower (L) and Upper (h) Approximate Operators
RSFDGrC '99 Proceedings of the 7th International Workshop on New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
A Generalized Decision Logic in Interval-Set-Valued Information Tables
RSFDGrC '99 Proceedings of the 7th International Workshop on New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
Granular logic with closeness relation "∼λ" and its reasoning
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Hi-index | 0.01 |
In the paper, it defines a λ-level rough equality relation in rough logic and establishes a rough sets on real-valued information systems with it. We obtain some related properties and relative rough paramodulation inference rules. They will be used in the approximate reasoning and deductive resolutions of rough logic. Finally, it proves that λ-level rough paramodulant reasoning is sound.