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). © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Padmanabhan, V., Governatori, G., & Thakur, S. (2008). Knowledge assessment: A modal logic approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5357 LNAI, pp. 315–322). https://doi.org/10.1007/978-3-540-89674-6_35
Mendeley helps you to discover research relevant for your work.