Abstract
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).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2000)
Hintikka, J.: Knowledge and Belief. Cornell University Press (1962)
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)
Su, K., Sattar, A., Wang, K., Luo, X., Governatori, G., Padmanabhan, V.: Observation-based model for bdi-agents. In: AAAI, pp. 190–195 (2005)
Doignon, J.P.: Probabilistic assessment of knowledge. In: Dietrich, A. (ed.) Knowledge Structures. Springer, Heidelberg (1994)
Albert, D., Lukas, J. (eds.): Knowledge Spaces. Lawrence Erlbaum Associates, Mahwah (1999)
Moreno, A.: Avoiding logical omniscience and perfect reasoning: A survey. AI commun. 11(2), 101–122 (1998)
Padmanabhan, V., Governatori, G., Su, K.: Knowledge assessment: A modal lgic approach. In: IJCAI Workshop on Knowledge Reasoning for Answering Questions (January 2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Padmanabhan, V., Governatori, G., Thakur, S. (2008). Knowledge Assessment: A Modal Logic Approach. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds) Intelligent Agents and Multi-Agent Systems. PRIMA 2008. Lecture Notes in Computer Science(), vol 5357. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89674-6_35
Download citation
DOI: https://doi.org/10.1007/978-3-540-89674-6_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89673-9
Online ISBN: 978-3-540-89674-6
eBook Packages: Computer ScienceComputer Science (R0)