Kovalchuk I. The problem of knowledge representation in epistemic logic (historical and logical aspect)

In the dissertation the formal tools and methods of epistemic logic that allow to analyze the knowledge of human agents and to simulate knowledge of artificial intelligence systems were investigated. An author systematizes the history of epistemic logic and analyses conditions of its origin and main periods of development. Conterminal branches of researches including epistemology and computer science were clarified. Much attention was paid to research the features of logical approach of knowledge analysis and to describe its properties, which are considered in axiomatic systems of epistemic logic. The thesis provides a justification for different systems of semantics of epistemic logic, pointing out problems that may arise at interpreting situations with knowledge. An author pays particular attention to analysis of formal tools and methods of public announcements logic and epistemic actions logic that are dynamic variants of epistemic logic. The possibilities of epistemic logics formal apparatus for knowledge analysis were demonstrated.