Knowledge Assessment: A Modal Logic Approach

Authors:
Vineet Padmanabhan;Guido Governatori;Subhasis Thakur
Affiliations:
Department of Computer & Information Sciences, University of Hyderabad, India;School of ITEE, The University of Queensland, Brisbane, Australia;School of ITEE, The University of Queensland, Brisbane, Australia
Venue:
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Year:
2008

Citing 5
Cited 0

A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols

Journal of the ACM (JACM)
Reasoning about knowledge

Reasoning about knowledge
Logic in computer science: modelling and reasoning about systems

Logic in computer science: modelling and reasoning about systems
Avoiding logical omniscience and perfect reasoning: a survey

AI Communications
Observation-based model for BDI-agents

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

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).