TY - GEN
T1 - Knowledge constructions for artificial intelligence
AU - Pietarinen, Ahti
PY - 2002/12/1
Y1 - 2002/12/1
N2 - Some new types of knowledge constructions in epistemic logic are defined, and semantics given by combining game-theoretic notions with modal models. One such notion introduced is focussed knowledge, which arises from imperfect information in quantified epistemic logics. This notion is useful in knowledge representation schemes in artificial intelligence and multi-agent systems with uncertainty. In general, in all the logics considered here, the imperfect information is seen to give rise to partiality, including partial common and partial distributed knowledge. A game-theoretic method of creating non-monotonicity will then be suggested, based on the partialised notion of 'only knowing' and inaccessible possible worlds. The overall purpose is to show the extent in which games combine with a given variety of knowledge constructions.
AB - Some new types of knowledge constructions in epistemic logic are defined, and semantics given by combining game-theoretic notions with modal models. One such notion introduced is focussed knowledge, which arises from imperfect information in quantified epistemic logics. This notion is useful in knowledge representation schemes in artificial intelligence and multi-agent systems with uncertainty. In general, in all the logics considered here, the imperfect information is seen to give rise to partiality, including partial common and partial distributed knowledge. A game-theoretic method of creating non-monotonicity will then be suggested, based on the partialised notion of 'only knowing' and inaccessible possible worlds. The overall purpose is to show the extent in which games combine with a given variety of knowledge constructions.
UR - http://www.scopus.com/inward/record.url?scp=84884667069&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84884667069&partnerID=8YFLogxK
U2 - 10.1007/3-540-48050-1_34
DO - 10.1007/3-540-48050-1_34
M3 - Conference contribution
AN - SCOPUS:84884667069
SN - 3540437851
SN - 9783540437857
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 303
EP - 311
BT - Foundations of Intelligent Systems - 13th International Symposium, ISMIS 2002, Proceedings
A2 - Hacid, Mohand-Said
A2 - Ras, Zbigniew W.
A2 - Zighed, Djamel A.
A2 - Kodratoff, Yves
PB - Springer Verlag
T2 - 13th International Symposium on Methodologies for Intelligent Systems, ISMIS 2002
Y2 - 27 June 2002 through 29 June 2002
ER -