Knowledge Assessment: A Modal Logic Approach

  • Vineet Padmanabhan
  • Guido Governatori
  • Subhasis Thakur
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5357)


The possible worlds semantics is a fruitful approach used in Artificial Intelligence (AI) for both modelling as well as reasoning about knowledge in agent systems via modal logics. In this work our main idea is not to model/reason about knowledge but to provide a theoretical framework for knowledge assessment (KA) with the help of Monatague-Scott (MS) semantics of modal logic. In KA questions asked and answers collected are the central elements and knowledge notions will be defined from these (i.e., possible states of knowledge of subjects in a population with respect to a field of information).


Modal & Epistemic Logics for Question Answering Systems Question processing Interpretation models 


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 (1995)zbMATHGoogle Scholar
  2. 2.
    Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2000)zbMATHGoogle Scholar
  3. 3.
    Hintikka, J.: Knowledge and Belief. Cornell University Press (1962)Google Scholar
  4. 4.
    Halpern, J.Y., Zuck, L.D.: A little knowledge goes a long way: Knowledge-based derivations and correctness proofs for a family of protocols. J. ACM 39(3), 449–478 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Su, K., Sattar, A., Wang, K., Luo, X., Governatori, G., Padmanabhan, V.: Observation-based model for bdi-agents. In: AAAI, pp. 190–195 (2005)Google Scholar
  6. 6.
    Doignon, J.P.: Probabilistic assessment of knowledge. In: Dietrich, A. (ed.) Knowledge Structures. Springer, Heidelberg (1994)Google Scholar
  7. 7.
    Albert, D., Lukas, J. (eds.): Knowledge Spaces. Lawrence Erlbaum Associates, Mahwah (1999)Google Scholar
  8. 8.
    Moreno, A.: Avoiding logical omniscience and perfect reasoning: A survey. AI commun. 11(2), 101–122 (1998)MathSciNetGoogle Scholar
  9. 9.
    Padmanabhan, V., Governatori, G., Su, K.: Knowledge assessment: A modal lgic approach. In: IJCAI Workshop on Knowledge Reasoning for Answering Questions (January 2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Vineet Padmanabhan
    • 1
  • Guido Governatori
    • 2
  • Subhasis Thakur
    • 2
  1. 1.Department of Computer & Information SciencesUniversity of HyderabadIndia
  2. 2.School of ITEEThe University of QueenslandBrisbaneAustralia

Personalised recommendations