On the rough consistency measures of logic theories and approximate reasoning in rough logic

International Journal of Approximate Reasoning

Volumn 55, Issue 1 PART 4, 2014, Pages 486-499

  She, Yanhong ^a  

^a XI'AN SHIYOU UNIVERSITY   (China)

Author keywords

Graded reasoning; Rough consistency degree; Rough logic

Indexed keywords

ARTIFICIAL INTELLIGENCE; SOFTWARE ENGINEERING;

APPROXIMATE REASONING; CONSISTENCY DEGREE; CONSISTENCY MEASURES; GRADED REASONING; ROUGH APPROXIMATIONS; ROUGH LOGIC; ROUGH SIMILARITY DEGREES; UPPER AND LOWER APPROXIMATION;

COMPUTER CIRCUITS;

EID: 84889888708     PISSN: 0888613X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ijar.2013.10.001     Document Type: Article

References (30)

1. M. Banerjee, and M. Chakraborty Rough sets through algebraic logic Fundam. Inform. 28 1996 211 221
2. M. Banerjee Rough sets and 3-valued Lukasiewicz logic Fundam. Inform. 31 1997 213 220
3. M.W. Bunder, M. Banerjee, and M.K. Chakraborty Some rough consequence logics and their interrelations Transactions on Rough Sets vol. VIII 2008 Springer Berlin 1 20
4. M.K. Chakraborty Use of fuzzy set theory in introducing graded consequence in multiple valued logic M.M. Gupta, T. Yamakawa, Fuzzy Logic in Knowledge-Based Systems, Decision and Control 1988 Elsevier Science Publishers, B.V., North-Holland 247 257
5. M.K. Chakraborty, and S. Dutta Graded consequence revisited Fuzzy Sets Syst. 161 14 2010 1885 1905
6. D. Dubois, and H. Prade Possibility Theory 1988 Plenum Press New York
7. I. Graham, and P.L. Jones Expert Systems-Knowledge, Uncertainty and Decision 1998 Chapman and Hall Computing London
8. B. Konikowska A formal language for reasoning about indiscernibility Bull. Pol. Acad. Sci., Math. 35 1987 239 249
9. G. Klir, and B. Yuan Fuzzy Sets and Fuzzy Logic, Theory and Applications 1995 Prentice-Hall NJ
10. T. Lin, and N. Cercone Rough Sets and Data Mining-Analysis of Imprecise Data 1997 Kluwer Academic Publishers
11. H.X. Li, M.H. Wang, X.Z. Zhou, and J.B. Zhao An interval set model for learning rules from incomplete information table Int. J. Approx. Reason. 53 1 2012 24 37
12. J.Y. Liang, F. Wang, C.Y. Dang, and Y.H. Qian An efficient rough feature selection algorithm with a multi-granulation view Int. J. Approx. Reason. 53 6 2012 912 926
13. D. Liu, T.R. Li, and D.C. Liang Incorporating logistic regression to decision-theoretic rough sets for classifications Int. J. Approx. Reason. 2013 in press http://dx.doi.org/10.1016/j.ijar.2013.02.013
14. E. Orłowska Logic for reasoning about knowledge Z. Math. Log. Grundl. Math. 35 1989 559 572
15. E. Orłowska Kripke semantics for knowledge representation logics Stud. Log. XLIX 1990 255 272
16. Z. Pawlak Rough Sets: Theoretical Aspects of Reasoning about Data 1991 Kluwer Dordrecht
17. Z. Pawlak Rough sets Int. J. Comput. Inf. Sci. 11 5 1982 341 356
18. Z. Pawlak Rough sets and intelligent data analysis Inf. Sci. 147 2002 1 12
19. Z. Pawlak Rough logic Bull. Pol. Acad. Sci., Tech. Sci. 35 1987 253 258
20. Y.H. Qian, H. Zhang, Y.L. Zhang, and J.Y. Liang Multigranulation decision-theoretic rough sets Int. J. Approx. Reason. 2013 in press http://dx.doi.org/10.1016/j.ijar.2013.03.004
21. C. Rauszer Rough logic for multi-agent systems M. Masuch, L. Pólos, Knowledge Representation and Reasoning under Uncertainty Lect. Notes Comput. Sci. vol. 808 1994 Springer-Verlag Heidelberg 161 181
22. Y.H. She, X.L. He, and G.J. Wang Rough truth degrees of formulae and approximate reasoning in rough logic Fundam. Inform. 107 1 2011 67 83
23. Y.H. She, and X.L. He Accuracy and roughness measures for formulae in rough logic Proceedings of the Quantitative Logic and Soft Computing 2012 74 81
24. D. Vakarelov Modal logics for knowledge representation A. Meyer, M. Taitslin, Proceedings of Symposium on Logical Foundations of Computer Science Lect. Notes Comput. Sci. vol. 363 1989 Springer-Verlag 257 277
25. G. Wang, and H. Zhou Quantitative logic Inf. Sci. 179 3 2009 226 247
26. G. Xie, J. Zhang, K.K. Lai, and L. Yu Variable precision rough set for group decision-making: An application Int. J. Approx. Reason. 49 2 2008 331 343
27. L. Zadeh The concept of a linguistic variable and its application to approximate reasoning - I Inf. Sci. 8 3 1975 199 249
28. H.J. Zhou, and G.J. Wang A new theory consistency index based on deduction theorems in several logic systems Fuzzy Sets Syst. 157 3 2006 427 443
29. 0-logic (NM-logic) Int. J. Approx. Reason. 43 2 2006 117 132
30. X.H. Zhang, Y.Y. Yao, and H. Yu Rough implication operator based on strong topological rough algebras Inform. Sci. 180 19 2010 3764 3780