Reasoning About Knowledge

  • Stéphane P. Demri
  • Ewa S. Orłowska
Part of the Monographs in Theoretical Computer Science An EATCS Series book series (EATCS)

Abstract

The logics presented in this chapter provide a means of representing imperfect knowledge of agents and reasoning with such a knowledge. The modal propositional connectives in these logics are the abstract counterparts of knowledge operators derived from information systems (Sect. 4.6). The underlying knowledge is determined up to indiscernibility relations associated with agents. Consequently, their knowledge depends on a degree of certainty with which they perceive objects from a given domain.

Keywords

Val88 Dition 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Stéphane P. Demri
    • 1
    • 2
  • Ewa S. Orłowska
    • 3
  1. 1.Laboratoire Spécification et VérificationCNRS UMR 8643, ENS de CachanCachan CedexFrance
  2. 2.Laboratoire LeibnizGrenobleFrance
  3. 3.National Institute of TelecommunicationsWarszawaPoland

Personalised recommendations