Epistemic Logic for AI and Computer Science J.-J. Ch. Meyer and W. van der Hoek are an English-language textbook on epistemic logic and its applications in computer science. The book provides an introduction to reasoning about the knowledge and beliefs of agents in artificial intelligence and distributed systems.
The authors cover the formal foundations, including Kripke semantics and modal logic K, T, S4, and S5. Important concepts are also addressed, such as common knowledge, distributed knowledge, explicit and implicit belief, and the relationship between knowledge and time. In addition, attention is given to the problem of logical omniscience and theories such as those of Halpern and Moses on honest formulae.
Practical applications in artificial intelligence and computer science are discussed in detail. The book contains various exercises with solutions and is based on university courses and summer schools. This reference work is suitable for professionals seeking a broad introduction to epistemic logic in relation to knowledge and reasoning in informatics.
Series: Cambridge Tracts in Theoretical Computer Science