Knowledge constructions for artificial intelligence

Ahti Pietarinen*

*Corresponding author for this work

    Research output: Chapter in book/report/conference proceedingConference proceedingpeer-review

    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 languageEnglish
    Title of host publicationFoundations of Intelligent Systems
    Subtitle of host publication13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002. Proceedings
    EditorsMohand-Saïd Hacid, Zbigniew W. Raś, Djamel A. Zighed, Yves Kodratoff
    PublisherSpringer Berlin Heidelberg
    Pages303-311
    Number of pages9
    Edition1st
    ISBN (Electronic)9783540480501
    ISBN (Print)3540437851, 9783540437857
    DOIs
    Publication statusPublished - 12 Jun 2002
    Event13th International Symposium on Methodologies for Intelligent Systems, ISMIS 2002 - Lyon, France
    Duration: 27 Jun 200229 Jun 2002
    https://link.springer.com/book/10.1007/3-540-48050-1

    Publication series

    NameLecture Notes in Computer Science
    Volume2366
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349
    NameLecture Notes in Artificial Intelligence
    NameISMIS: International Symposium on Methodologies for Intelligent Systems

    Conference

    Conference13th International Symposium on Methodologies for Intelligent Systems, ISMIS 2002
    Country/TerritoryFrance
    CityLyon
    Period27/06/0229/06/02
    Internet address

    Scopus Subject Areas

    • Theoretical Computer Science
    • Computer Science(all)

    User-Defined Keywords

    • Knowledge Construction
    • Imperfect Information
    • World Line
    • Winning Strategy
    • Epistemic Logic

    Fingerprint

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

    Cite this