Advertisement

Rough Logics: A Survey with Further Directions

  • Mohua Banerjee
  • Mihir K. Chakraborty
Part of the Studies in Fuzziness and Soft Computing book series (STUDFUZZ, volume 13)

Abstract

This article surveys syntactic and semantic formalizations of various notions that have arisen in the course of development of rough set theory. To be more specific, the first order theories proposed so far in this connection have been brought into discussion. In the process, comparisons of these systems are made. Some new ideas in this regard have been offered at the end.

Keywords

Free Variable Predicate Logic Approximation Space Predicate Symbol Completeness Theorem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Bal]
    Banerjee, M.: A Categorial Approach to the Algebra and Logic of the Indiscernible. Ph.D. Thesis, University of Calcutta, India, (1995)Google Scholar
  2. [Ba2]
    Banerjee, M.: Rough predicate logics and a new system. In: Soft Computing, Proc. Int. Workshop on Rough Sets and Soft Computing (RSSC’94), San José, U.S.A., ( 1994 ), (eds.), Lin, T.Y. and Wildberger, A.M., The Society for Computer Simulation, San Diego, U.S.A., (1995), 48–50Google Scholar
  3. [BC1]
    Banerjee, M. and Chakraborty, M.K.: Rough algebra. Bull. Polish Acad. Sc. (Math.), 41, 4, (1993), 293–297MathSciNetMATHGoogle Scholar
  4. [BC2]
    Banerjee, M. and Chakraborty, M.K.: Logic of rough sets. In: Incompleteness and Uncertainty in Information Systems, Proc. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia Univ., Montreal, Canada, ( 1993 ), (ed.) Alagar, V.S., et. al., Springer-Verlag, (1994), 223–233Google Scholar
  5. [BC3]
    Banerjee, M. and Chakraborty, M.K.: Rough consequence and rough algebra. In: Rough Sets, Fuzzy Sets and Knowledge Discovery, Proc. Int. Workshop on Rough Sets and Knowledge Discovery (RSKD’93), Banff, Canada, (1993), (ed.), Ziarko, W.P., Springer-Verlag, 196–207Google Scholar
  6. [BC4]
    Banerjee, M. and Chakraborty, M.K.: Rough sets through algebraic logic. Fund. Inf., 3, 4, (1996), 211–221MathSciNetGoogle Scholar
  7. [CBI]
    Chakraborty, M.K. and Banerjee, M.: Rough consequence. Bull. Polish Acad. Sc. (Math.), 41, 4, (1993), 299–304MathSciNetMATHGoogle Scholar
  8. [CB2]
    Chakraborty, M.K. and Banerjee, M.: Rough logic with rough quantifiers. Bull. Polish Acad. Sc. (Math.), 41, 4, (1993), 305–315MathSciNetMATHGoogle Scholar
  9. [Enl]
    Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, (1972)Google Scholar
  10. [Krl]
    Krynicki, M.: A note on rough concepts logic. Fund. Inf., XIII, (1990), 227–235Google Scholar
  11. [KT1]
    Krynicki, M. and Tuschik, H-P.: An axiomatization of the logic with the rough quantifier. J. Symb. Logic, 56, 2, (1991), 608–617MathSciNetMATHCrossRefGoogle Scholar
  12. [LL1]
    Lin, T.Y. and Liu, Qing: First-order rough logic I: approximate reasoning via rough sets. Preprint, (1994)Google Scholar
  13. [Mal]
    Margaris, A.: First Order Mathematical Logic. Blaisdell Pub. Co., (1967)Google Scholar
  14. [Nal]
    Nakamura, A.: On a modal predicate logic based on rough concepts. Preprint, (1994)Google Scholar
  15. [NG1]
    Nakamura, A. and Gao, J.M.: A modal logic for similarity based data analysis. Tech. Report, Hirosima Univ., (1988)Google Scholar
  16. [Orl]
    Orlowska, E.: Semantics of vague concepts. In: Foundations of Logic and Linguistics. Problems and Solutions. Selected contributions to the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg 1983. (eds.) Dorn, G. and Weingartner, P., Plenum Press, 465–482Google Scholar
  17. [Or2]
    Orlowska, E.: Logic of indiscernibility relations. In: Computation Theory, (ed.), Skowron, A., LNCS, 208, (1985), 177–186Google Scholar
  18. [Or3]
    Orlowska, E.: Kripke semantics for knowledge representation logics. Studia Logica, XLIX, (1990), 255–272Google Scholar
  19. [Or4]
    Orlowska, E., Reasoning with incomplete information, rough set based information logics. In: Incompleteness and Uncertainty in Information Systems, Proc. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia Univ., Montreal, Canada, ( 1993 ), (ed.), Alagar, V.S., et. al., Springer-Verlag, (1994), 16–33Google Scholar
  20. [Pal]
    Pawlak, Z.: Rough sets. Int. J. Comp. Inf. Sci., 11, (1982), 341–356MathSciNetMATHCrossRefGoogle Scholar
  21. [Pa2]
    Pawlak, Z.: Rough logic. Bull. Polish Acad. Sc. (Tech. Sc.), 35, 5–6, (1987), 253–258MathSciNetGoogle Scholar
  22. [RSi1]
    Rasiowa, H. and Sikorski, R.: The Mathematics of Metamathematics. Warsaw, (1963)Google Scholar
  23. [RSk1]
    Rasiowa, H. and Skowron, A.: Rough concepts logic. In: Computation Theory, (ed.), Skowron, A., LNCS, 208, (1985), 288–297Google Scholar
  24. [Szl]
    Szczerba, L.W.: Rough quantifiers, Bull. Polish Acad. Sc. (Math.), 35, 3–4, (1987), 251–254Google Scholar
  25. [Val]
    Vakarelov, D.: A modal logic for similarity relations in Pawlak knowledge representation systems. Fund. Inf., XV, (1991), 61–79Google Scholar
  26. [WB1]
    Wasilewska, A. and Banerjee, M.: Rough sets and topological quasi-Boolean algebras. In: Proc. 23rd Ann. ACM CSC’95 Rough Sets and Database Mining, San José State Univ., U.S.A., (1995), (ed.), Lin, T.Y., 121–128Google Scholar
  27. [WV1]
    Wasilewska, A. and Vigneron, L.: Rough equality algebras. Proceedings of the Annual Joint Conference on Information Sciences, (1995), Wrightsville Beach, North Carolina, USA, 26–30Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Mohua Banerjee
    • 1
  • Mihir K. Chakraborty
    • 2
  1. 1.Indian Statistical InstituteMachine Intelligence UnitCalcuttaIndia
  2. 2.Department of Pure MathematicsUniversity of CalcuttaCalcuttaIndia

Personalised recommendations