A Belief Structure for Reasoning about Knowledge

  • S. K. M. Wong
  • Nasser Noroozi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6401)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1996)Google Scholar
  2. 2.
    Halpern, J.Y.: An analysis of First-order logics of probability. Artificial Intelligence (46), 311–350 (1990)Google Scholar
  3. 3.
    Pawlak, Z.: Rough sets. International Journal of Computer and Information Sciences (1982)Google Scholar
  4. 4.
    Orlowska, E.: Logic for reasoning about knowledge. Mathematical Logic Quarterly (1989)Google Scholar
  5. 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. 6.
    Shafer, G.: A mathematical Theory of Evidence. Princeton University Press, Princeton (1979)Google Scholar
  7. 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. 8.
    Aumann, R.: Agreeing to disagree. Annals of Statistics (1976)Google Scholar
  9. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • S. K. M. Wong
    • 1
  • Nasser Noroozi
    • 2
  1. 1.Computer Science DepartmentUniversity of ReginaReginaCanada
  2. 2.Computer Science DepartmentLakehead UniversityCanada

Personalised recommendations