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 |
| 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 |
Fingerprint
ASJC Scopus subject areas
- Computer Science(all)
- Theoretical Computer Science
Cite this
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
}
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 -