TY - GEN
T1 - Games and logics of knowledge for multi-agent systems
AU - Pietarinen, Ahti
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2002.
PY - 2002/3/27
Y1 - 2002/3/27
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84942858427&partnerID=8YFLogxK
U2 - 10.1007/3-540-46016-0_23
DO - 10.1007/3-540-46016-0_23
M3 - Conference proceeding
AN - SCOPUS:84942858427
SN - 3540434755
SN - 9783540434757
T3 - Lecture Notes in Computer Science
SP - 214
EP - 223
BT - MICAI 2002 - Advances in Artificial Intelligence
A2 - Coello Coello, Carlos A.
A2 - Albornoz, Alvaro
A2 - Sucar, Luis Enrique
A2 - Battistutti, Osvaldo Cairó
PB - Springer Berlin Heidelberg
T2 - 2nd Mexican International Conference on Artificial Intelligence, MICAI 2002
Y2 - 22 April 2002 through 26 April 2002
ER -