Reasoning About Knowledge
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.
KeywordsEquivalence Relation Induction Hypothesis Modal Logic Proof System Deductive System
Unable to display preview. Download preview PDF.