Rough Contraction Through Partial Meets

  • Mohua Banerjee
  • Pankaj Singh
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3776)


The paper addresses the problem of constructing rough belief change functions. Contraction and revision postulates using the notion of rough consequence and rough consistency have been proposed in [2]. The base logic is a reasoning framework \(\mathcal{L}_{\mathcal{R}}\), that has a semantics of rough truth. We demonstrate here that functions satisfying the contraction postulates can be constructed through the method of partial meets [1]. As a result, a construction of rough revision functions is also obtained.


  1. 1.
    Alchourrón, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet functions for contraction and revision. J. Symb. Logic 50, 510–530 (1985)zbMATHCrossRefGoogle Scholar
  2. 2.
    Banerjee, M.: Rough truth, consequence, consistency and belief revision. In: Tsumoto, S., et al. (eds.) RSCTC 2004. LNCS (LNAI), vol. 3066, pp. 95–102. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    Banerjee, M., Chakraborty, M.K.: Rough consequence and rough algebra. In: Ziarko, W.P. (ed.) Rough Sets, Fuzzy Sets and Knowledge Discovery, Proc. Int. Workshop on Rough Sets and Knowledge Discovery (RSKD 1993), pp. 196–207. Springer, Heidelberg (1993)Google Scholar
  4. 4.
    Gärdenfors, P., Rott, H.: Belief revision. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in AI and Logic Programming, Clarendon. Epistemic and Temporal Reasoning, vol. 4, pp. 35–132 (1995)Google Scholar
  5. 5.
    Pawlak, Z.: Rough logic. Bull. Polish Acad. Sc. (Tech. Sc.) 35(5-6), 253–258 (1987)zbMATHMathSciNetGoogle Scholar
  6. 6.
    Priest, G.: Paraconsistent belief revision. Theoria 67, 214–228 (2001)CrossRefMathSciNetGoogle Scholar
  7. 7.
    Restall, G., Slaney, J.: Realistic belief revision. In: Proc. 1st World Congress in the Fundamentals of Artificial Intelligence, Paris, July 1995, pp. 367–378 (1995)Google Scholar
  8. 8.
    Singh, P.K.: Belief Revision in Non-classical Logics. Master’s Thesis, Indian Institute of Technology, Kanpur (2005)Google Scholar
  9. 9.
    Tanaka, K.: What does paraconsistency do? The case of belief revision. In: Childers, T. (ed.) The Logical Yearbook 1997, Filosophia, Praha, pp. 188–197 (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Mohua Banerjee
    • 1
  • Pankaj Singh
    • 1
  1. 1.Department of Mathematics and StatisticsIndian Institute of TechnologyKanpurIndia

Personalised recommendations