Games and logics of knowledge for multi-agent systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationMICAI 2002
Subtitle of host publicationAdvances in Artificial Intelligence - 2nd Mexican International Conference on Artificial Intelligence, Proceedings
EditorsOsvaldo Cairo Battistutti, Luis Enrique Sucar, Alvaro de Albornoz, Carlos A. Coello Coello
PublisherSpringer Verlag
Pages214-223
Number of pages10
ISBN (Print)3540434755, 9783540434757
Publication statusPublished - Jan 1 2002
Event2nd Mexican International Conference on Artificial Intelligence, MICAI 2002 - Merida, Mexico
Duration: Apr 22 2002Apr 26 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2313
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference2nd Mexican International Conference on Artificial Intelligence, MICAI 2002
CountryMexico
CityMerida
Period4/22/024/26/02

    Fingerprint

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Pietarinen, A. (2002). Games and logics of knowledge for multi-agent systems. In O. C. Battistutti, L. E. Sucar, A. de Albornoz, & C. A. Coello Coello (Eds.), MICAI 2002: Advances in Artificial Intelligence - 2nd Mexican International Conference on Artificial Intelligence, Proceedings (pp. 214-223). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2313). Springer Verlag.