Knowledge constructions for artificial intelligence

Ahti Pietarinen

doi:10.1007/3-540-48050-1_34

Knowledge constructions for artificial intelligence

Ahti Pietarinen

History, Philosophy and Religious Studies Department

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Foundations of Intelligent Systems - 13th International Symposium, ISMIS 2002, Proceedings
Editors	Mohand-Said Hacid, Zbigniew W. Ras, Djamel A. Zighed, Yves Kodratoff
Publisher	Springer Verlag
Pages	303-311
Number of pages	9
ISBN (Print)	3540437851, 9783540437857
DOIs	https://doi.org/10.1007/3-540-48050-1_34
Publication status	Published - Dec 1 2002
Event	13th International Symposium on Methodologies for Intelligent Systems, ISMIS 2002 - Lyon, France Duration: Jun 27 2002 → Jun 29 2002

Publication series

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

Conference

Conference	13th International Symposium on Methodologies for Intelligent Systems, ISMIS 2002
Country	France
City	Lyon
Period	6/27/02 → 6/29/02

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/3-540-48050-1_34

Fingerprint Dive into the research topics of 'Knowledge constructions for artificial intelligence'. Together they form a unique fingerprint.

Cite this

Pietarinen, A. (2002). Knowledge constructions for artificial intelligence. In M-S. Hacid, Z. W. Ras, D. A. Zighed, & Y. Kodratoff (Eds.), Foundations of Intelligent Systems - 13th International Symposium, ISMIS 2002, Proceedings (pp. 303-311). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2366 LNAI). Springer Verlag. https://doi.org/10.1007/3-540-48050-1_34

Knowledge constructions for artificial intelligence. / Pietarinen, Ahti.

Foundations of Intelligent Systems - 13th International Symposium, ISMIS 2002, Proceedings. ed. / Mohand-Said Hacid; Zbigniew W. Ras; Djamel A. Zighed; Yves Kodratoff. Springer Verlag, 2002. p. 303-311 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2366 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Pietarinen, A 2002, Knowledge constructions for artificial intelligence. in M-S Hacid, ZW Ras, DA Zighed & Y Kodratoff (eds), Foundations of Intelligent Systems - 13th International Symposium, ISMIS 2002, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2366 LNAI, Springer Verlag, pp. 303-311, 13th International Symposium on Methodologies for Intelligent Systems, ISMIS 2002, Lyon, France, 6/27/02. https://doi.org/10.1007/3-540-48050-1_34

Pietarinen A. Knowledge constructions for artificial intelligence. In Hacid M-S, Ras ZW, Zighed DA, Kodratoff Y, editors, Foundations of Intelligent Systems - 13th International Symposium, ISMIS 2002, Proceedings. Springer Verlag. 2002. p. 303-311. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-48050-1_34

Pietarinen, Ahti. / Knowledge constructions for artificial intelligence. Foundations of Intelligent Systems - 13th International Symposium, ISMIS 2002, Proceedings. editor / Mohand-Said Hacid ; Zbigniew W. Ras ; Djamel A. Zighed ; Yves Kodratoff. Springer Verlag, 2002. pp. 303-311 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{eb30474781684fe18e999e271ecfbe35,

title = "Knowledge constructions for artificial intelligence",

abstract = "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.",

author = "Ahti Pietarinen",

year = "2002",

month = dec,

day = "1",

doi = "10.1007/3-540-48050-1_34",

language = "English",

isbn = "3540437851",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "303--311",

editor = "Mohand-Said Hacid and Ras, {Zbigniew W.} and Zighed, {Djamel A.} and Yves Kodratoff",

booktitle = "Foundations of Intelligent Systems - 13th International Symposium, ISMIS 2002, Proceedings",

address = "Germany",

note = "13th International Symposium on Methodologies for Intelligent Systems, ISMIS 2002 ; Conference date: 27-06-2002 Through 29-06-2002",

}

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 -