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

Multi agent systems
Multi-agent Systems
Epistemic Logic
Semantics
Game
Logic
Imperfect
Knowledge representation
Knowledge Representation
Uncertainty
Knowledge

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.

Games and logics of knowledge for multi-agent systems. / Pietarinen, Ahti.

MICAI 2002: Advances in Artificial Intelligence - 2nd Mexican International Conference on Artificial Intelligence, Proceedings. ed. / Osvaldo Cairo Battistutti; Luis Enrique Sucar; Alvaro de Albornoz; Carlos A. Coello Coello. Springer Verlag, 2002. p. 214-223 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2313).

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

Pietarinen, A 2002, Games and logics of knowledge for multi-agent systems. in OC Battistutti, LE Sucar, A de Albornoz & CA Coello Coello (eds), MICAI 2002: Advances in Artificial Intelligence - 2nd Mexican International Conference on Artificial Intelligence, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2313, Springer Verlag, pp. 214-223, 2nd Mexican International Conference on Artificial Intelligence, MICAI 2002, Merida, Mexico, 4/22/02.
Pietarinen A. Games and logics of knowledge for multi-agent systems. In Battistutti OC, Sucar LE, de Albornoz A, Coello Coello CA, editors, MICAI 2002: Advances in Artificial Intelligence - 2nd Mexican International Conference on Artificial Intelligence, Proceedings. Springer Verlag. 2002. p. 214-223. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Pietarinen, Ahti. / Games and logics of knowledge for multi-agent systems. MICAI 2002: Advances in Artificial Intelligence - 2nd Mexican International Conference on Artificial Intelligence, Proceedings. editor / Osvaldo Cairo Battistutti ; Luis Enrique Sucar ; Alvaro de Albornoz ; Carlos A. Coello Coello. Springer Verlag, 2002. pp. 214-223 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{12bfbfc9c8164397ac1d01e03f2fe57a,
title = "Games and logics of knowledge for multi-agent systems",
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.",
author = "Ahti Pietarinen",
year = "2002",
month = "1",
day = "1",
language = "English",
isbn = "3540434755",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "214--223",
editor = "Battistutti, {Osvaldo Cairo} and Sucar, {Luis Enrique} and {de Albornoz}, Alvaro and {Coello Coello}, {Carlos A.}",
booktitle = "MICAI 2002",
address = "Germany",

}

TY - GEN

T1 - Games and logics of knowledge for multi-agent systems

AU - Pietarinen, Ahti

PY - 2002/1/1

Y1 - 2002/1/1

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

UR - http://www.scopus.com/inward/citedby.url?scp=84942858427&partnerID=8YFLogxK

M3 - Conference contribution

SN - 3540434755

SN - 9783540434757

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 214

EP - 223

BT - MICAI 2002

A2 - Battistutti, Osvaldo Cairo

A2 - Sucar, Luis Enrique

A2 - de Albornoz, Alvaro

A2 - Coello Coello, Carlos A.

PB - Springer Verlag

ER -