Granulations Based on Semantics of Rough Logical Formulas and Its Reasoning

Authors:
Qing Liu;Hui Sun;Ying Wang
Affiliations:
Department of Computer Science & Technology, Nanchang Institute of Technology, Nanchang 330099, China and Department of Computer Science & Technology, Nanchang University, Nanchang 330031, China;Department of Computer Science & Technology, Nanchang Institute of Technology, Nanchang 330099, China;Department of Computer Science & Technology, Nanchang Institute of Technology, Nanchang 330099, China
Venue:
RSFDGrC '07 Proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
Year:
2009

Citing 10
Cited 2

First-order rough logic I: approximate reasoning via rough sets

Fundamenta Informaticae - Special issue: rough sets
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
The OI-Resolution of Operator Rough Logic

RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
Induction of Classification Rules by Granular Computing

TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in 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
Design and implement for diagnosis systems of hemorheology on blood viscosity syndrome based on GrC

RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
A roadmap from rough set theory to granular computing

RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Theoretical study of granular computing

RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
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

Two basic double-quantitative rough set models of precision and grade and their investigation using granular computing

International Journal of Approximate Reasoning
Quantitative information architecture, granular computing and rough set models in the double-quantitative approximation space of precision and grade

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this article, the granulation based on the meaning of rough logical formula in a given information system IS= (U,A) is proposed. Which is considered the granular formulas of form m(F), where Fis a rough logical formula on IS. Relative properties of the granulations are discussed. Deductive reasoning of the granulations and λ-granular resolution strategies are also studied in this article. The practicability of the granulations will offer the new idea for studying meaning of classical logic and the meaning of other nonstandard logic. It could also be a theoretical development for granular computing.