Games and logics of knowledge for multi-agent systems

Ahti Pietarinen*

*Corresponding author for this work

Research output: Chapter in book/report/conference proceedingConference proceedingpeer-review

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 - Advances in Artificial Intelligence
Subtitle of host publicationSecond Mexican International Conference on Artificial Intelligence Merida, Yucatan, Mexico, April 22-26, 2002 Proceedings
EditorsCarlos A. Coello Coello, Alvaro Albornoz, Luis Enrique Sucar, Osvaldo Cairó Battistutti
PublisherSpringer Berlin Heidelberg
Pages214-223
Number of pages10
Edition1st
ISBN (Electronic)9783540460169
ISBN (Print)3540434755, 9783540434757
DOIs
Publication statusPublished - 27 Mar 2002
Event2nd Mexican International Conference on Artificial Intelligence, MICAI 2002 - Merida, Mexico
Duration: 22 Apr 200226 Apr 2002
https://link.springer.com/book/10.1007/3-540-46016-0

Publication series

NameLecture Notes in Computer Science
Volume2313
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameLecture Notes in Artificial Intelligence
NameMICAI: Mexican International Conference on Artificial Intelligence

Conference

Conference2nd Mexican International Conference on Artificial Intelligence, MICAI 2002
Country/TerritoryMexico
CityMerida
Period22/04/0226/04/02
Internet address

Scopus Subject Areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'Games and logics of knowledge for multi-agent systems'. Together they form a unique fingerprint.

Cite this