Skip to main content
SpringerLink
Log in

Rough Belief Change

  • Conference paper
Transactions on Rough Sets V

Part of the book series: Lecture Notes in Computer Science ((TRS,volume 4100))

Abstract

The article aims at re-visiting the notion of rough truth proposed by Pawlak in 1987 [15] and investigating some of its ‘logical’ consequences. We focus on the formal deductive apparatus \(\cal L_R\), that is sound and complete with respect to a semantics based on rough truth. \(\cal L_R\) turns out to be equivalent to the paraconsistent logic J due to Jaśkowski. A significant feature of rough truth is that, a proposition and its negation may well be roughly true together. Thus, in [5], rough consistency was introduced. Completeness of \(\cal L_R\) is proved with the help of this notion of consistency. The properties of \(\cal L_R\) motivate us to use it for a proposal of rough belief change. During change, the operative constraints on a system of beliefs are that of rough consistency preservation and deductive closure with respect to \(\cal L_R\). Following the AGM [1] line, eight basic postulates for defining rough revision and contraction functions are presented. Interrelationships of these functions are also proved. The proposal is, therefore, an example of paraconsistent belief change.

Part of work done while supported by Project No. BS/YSP/29/2477 of the Indian National Science Academy. Thanks are due to Pankaj Singh for discussions. I am grateful to the referees for their valuable comments.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Article  MATH  Google Scholar 

  2. Banerjee, M.: Rough truth, consequence, consistency and belief revision. In: Tsumoto, S., Słowiński, R., Komorowski, J., Grzymała-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol. 3066, pp. 95–102. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  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 (1994)

    Google Scholar 

  4. Banerjee, M., Chakraborty, M.K.: Rough logics: a survey with further directions. In: Orłowska, E. (ed.) Incomplete Information: Rough Set Analysis, pp. 579–600. Springer, Heidelberg (1998)

    Google Scholar 

  5. Chakraborty, M.K., Banerjee, M.: Rough consequence. Bull. Polish Acad. Sc (Math.) 41(4), 299–304 (1993)

    MATH  MathSciNet  Google Scholar 

  6. da Costa, N.C.A., Doria, F.A.: On Jaśkowski’s discussive logics. Studia Logica 54, 33–60 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  7. 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. Epistemic and Temporal Reasoning, vol. 4, pp. 35–132. Clarendon, Oxford (1995)

    Google Scholar 

  8. Gomolińska, A., Pearce, D.: Disbelief change. In: Halldén, S., et al. (eds.) Spinning Ideas: Electronic Essays Dedicated to Peter Gärdenfors on His Fiftieth Birthday (1999), http://www.lucs.lu.se/spinning/

  9. Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge (1996)

    Google Scholar 

  10. Jaśkowski, S.: Propositional calculus for contradictory deductive systems. Studia Logica 24, 143–157 (1969)

    Article  MATH  MathSciNet  Google Scholar 

  11. Komorowski, J., Pawlak, Z., Polkowski, L., Skowron, A.: Rough sets: a tutorial. In: Pal, S.K., Skowron, A. (eds.) Rough Fuzzy Hybridization: A New Trend in Decision-Making, pp. 3–98. Springer, Heidelberg (1999)

    Google Scholar 

  12. Lepage, F., Lapierre, S.: Partial logic and the dynamics of epistemic states. In: Halldén, S., et al. (eds.) Spinning Ideas: Electronic Essays Dedicated to Peter Gärdenfors on His Fiftieth Birthday (1999), http://www.lucs.lu.se/spinning/

  13. Mares, E.D.: A paraconsistent theory of belief revision. Erkenntnis 56, 229–246 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  14. Pawlak, Z.: Rough sets. Int. J. Comp. Inf. Sci. 11, 341–356 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  15. Pawlak, Z.: Rough logic. Bull. Polish Acad. Sc. (Tech. Sc.) 35(5-6), 253–258 (1987)

    MATH  MathSciNet  Google Scholar 

  16. Priest, G.: Paraconsistent belief revision. Theoria 67, 214–228 (2001)

    Article  MathSciNet  Google Scholar 

  17. 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 

  18. Rott, H.: Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning. Clarendon, Oxford (2001)

    MATH  Google Scholar 

  19. Halldén, S., et al. (eds.): Spinning Ideas: Electronic Essays Dedicated to Peter Gärdenfors on His Fiftieth Birthday (1999), http://www.lucs.lu.se/spinning/

  20. Studia Logica, Special Issue on Belief Revision  73 (2003)

    Google Scholar 

  21. 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 

  22. Wassermann, R.: Generalized change and the meaning of rationality postulates. Studia Logica 73, 299–319 (2003)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur, 208 016, India

    Mohua Banerjee

Authors
  1. Mohua Banerjee
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical and Computer Engineering, University of Manitoba, R3T 5V6, Winnipeg, Manitoba, Canada

    James F. Peters

  2. Institute of Mathematics, Warsaw University, Banacha 2, 02-097, Warsaw, Poland

    Andrzej Skowron

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Banerjee, M. (2006). Rough Belief Change . In: Peters, J.F., Skowron, A. (eds) Transactions on Rough Sets V. Lecture Notes in Computer Science, vol 4100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11847465_2

Download citation

  • DOI: https://doi.org/10.1007/11847465_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-39382-5

  • Online ISBN: 978-3-540-39383-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation