Games and Logics of Knowledge for Multi-agent Systems

Authors:
Ahti Pietarinen
Affiliations:
-
Venue:
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Year:
2002

Citing 3
Cited 0

Fundamentals of partial modal logic

Partiality, modality, and nonmonotonicity
Semantic Issues in the Verification of Agent Communication Languages

Autonomous Agents and Multi-Agent Systems
The Control of Synchronous Systems

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

New types of knowledge constructions in epistemic logic are defined, whose semantics is given by a combination of game-theoretic notions and modal semantics. A new notion of knowledge introduced in this framework is focussed knowledge, which arises from the game-theoretic phenomenon of imperfect information in quantified versions of epistemic logics. This notion is shown to be useful in knowledge representation of multi-agent systems with uncertainty. In general, imperfect information gives rise to partialised versions of these logics.