Knowledge constructions for artificial intelligence

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationFoundations of Intelligent Systems - 13th International Symposium, ISMIS 2002, Proceedings
EditorsMohand-Said Hacid, Zbigniew W. Ras, Djamel A. Zighed, Yves Kodratoff
PublisherSpringer Verlag
Pages303-311
Number of pages9
ISBN (Print)3540437851, 9783540437857
DOIs
Publication statusPublished - Dec 1 2002
Event13th International Symposium on Methodologies for Intelligent Systems, ISMIS 2002 - Lyon, France
Duration: Jun 27 2002Jun 29 2002

Publication series

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

Conference

Conference13th International Symposium on Methodologies for Intelligent Systems, ISMIS 2002
CountryFrance
CityLyon
Period6/27/026/29/02

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

Cite this