Skip to main content
SpringerLink
Log in

A Belief Structure for Reasoning about Knowledge

  • Conference paper
Rough Set and Knowledge Technology (RSKT 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6401))

Included in the following conference series:

Abstract

A logic-based belief structure is proposed for knowledge representation and reasoning. This structure is semantically different from the standard Kripke structure. It is demonstrated that such a representation of knowledge is particularly useful in a multi-agent environment.

The proposed model is also suitable for dealing with inconsistent and incomplete information and provides a natural measure of uncertainty for the knowledge modal operators.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1996)

    Google Scholar 

  2. Halpern, J.Y.: An analysis of First-order logics of probability. Artificial Intelligence (46), 311–350 (1990)

    Google Scholar 

  3. Pawlak, Z.: Rough sets. International Journal of Computer and Information Sciences (1982)

    Google Scholar 

  4. Orlowska, E.: Logic for reasoning about knowledge. Mathematical Logic Quarterly (1989)

    Google Scholar 

  5. Yao, Y., Lin, T.: Generalization of rough sets using modal logic. Intelligent and Automation and Soft Computing, an International Journal 2(2), 103–120 (1996)

    Google Scholar 

  6. Shafer, G.: A mathematical Theory of Evidence. Princeton University Press, Princeton (1979)

    Google Scholar 

  7. Kripke, S.: A semantical analysis of modal logic I: Normal modal propositional calculi. Zeitschriftfür Mathematische Logik und Grundlagen der Mathematik (1963)

    Google Scholar 

  8. Aumann, R.: Agreeing to disagree. Annals of Statistics (1976)

    Google Scholar 

  9. Dempster, A.: Construction and local computational aspects of network belief functions. Technical Report S-125, Department of Statistics. Harvard University, Cambridge, MA (1988)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Regina, Regina, SK, Canada

    S. K. M. Wong

  2. Computer Science Department, Lakehead University, ON, Canada

    Nasser Noroozi

Authors
  1. S. K. M. Wong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nasser Noroozi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computer and Information Technology, Beijing Jiaotong University, 100044, Beijing, China

    Jian Yu

  2. Faculty of Economics, University of Catania, Corso Italia, 55, 95129, Catania, Italy

    Salvatore Greco

  3. Department of Mathematics and Computing Science, Saint Mary’s University, B3H 3C3, Halifax, Nova Scotia, Canada

    Pawan Lingras

  4. Institute of Computer Science and Technology, Chongqing University of Posts and Telecommunications, 400065, Chongqing, China

    Guoyin Wang

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

    Andrzej Skowron

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wong, S.K.M., Noroozi, N. (2010). A Belief Structure for Reasoning about Knowledge. In: Yu, J., Greco, S., Lingras, P., Wang, G., Skowron, A. (eds) Rough Set and Knowledge Technology. RSKT 2010. Lecture Notes in Computer Science(), vol 6401. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16248-0_43

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16248-0_43

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16247-3

  • Online ISBN: 978-3-642-16248-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation