Reasoning About Knowledge
Generate an AI Snapshot to get a quick, structured summary of this paper.
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The logics presented in this chapter provide a means of representing imperfect knowledge of agents and reasoning with such a knowledge through the modal propositional connectives.
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.