Games and logics of knowledge for multi-agent systems

Ahti Pietarinen

doi:10.1007/3-540-46016-0_23

Games and logics of knowledge for multi-agent systems

Ahti Pietarinen

History, Philosophy and Religious Studies Department

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	MICAI 2002
Subtitle of host publication	Advances in Artificial Intelligence - 2nd Mexican International Conference on Artificial Intelligence, Proceedings
Editors	Osvaldo Cairo Battistutti, Luis Enrique Sucar, Alvaro de Albornoz, Carlos A. Coello Coello
Publisher	Springer Verlag
Pages	214-223
Number of pages	10
ISBN (Print)	3540434755, 9783540434757
DOIs	https://doi.org/10.1007/3-540-46016-0_23
Publication status	Published - Jan 1 2002
Event	2nd Mexican International Conference on Artificial Intelligence, MICAI 2002 - Merida, Mexico Duration: Apr 22 2002 → Apr 26 2002

Publication series

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

Conference

Conference	2nd Mexican International Conference on Artificial Intelligence, MICAI 2002
Country	Mexico
City	Merida
Period	4/22/02 → 4/26/02

ASJC Scopus subject areas

Computer Science(all)
Theoretical Computer Science

Access to Document

10.1007/3-540-46016-0_23

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

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. https://doi.org/10.1007/3-540-46016-0_23

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 proceeding › Conference 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. https://doi.org/10.1007/3-540-46016-0_23

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)). https://doi.org/10.1007/3-540-46016-0_23

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 = jan,

day = "1",

doi = "10.1007/3-540-46016-0_23",

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",

note = "2nd Mexican International Conference on Artificial Intelligence, MICAI 2002 ; Conference date: 22-04-2002 Through 26-04-2002",

}

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

U2 - 10.1007/3-540-46016-0_23

DO - 10.1007/3-540-46016-0_23

M3 - Conference contribution

AN - SCOPUS:84942858427

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

T2 - 2nd Mexican International Conference on Artificial Intelligence, MICAI 2002

Y2 - 22 April 2002 through 26 April 2002

ER -

Games and logics of knowledge for multi-agent systems

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this