Logique épistémique pour l’IA et l’informatique van J.-J. Ch. Meyer et W. van der Hoek sont les auteurs d’un manuel en langue anglaise sur la logique épistémique et ses applications en informatique. Le livre offre une introduction au raisonnement sur la connaissance et les croyances des agents en intelligence artificielle et dans les systèmes distribués.
Les auteurs traitent la base formelle, notamment la sémantique de Kripke et la logique modale K, T, S4 et S5. En outre, des concepts importants sont abordés, tels que la connaissance commune, la connaissance distribuée, la croyance explicite et implicite, ainsi que la relation entre la connaissance et le temps. De plus, l’attention est portée au problème de l’omniscience logique et aux théories, comme celles de Halpern et Moses, sur les formules honnêtes.
Les applications pratiques en intelligence artificielle et en informatique sont longuement discutées. Le livre contient divers exercices avec leurs corrigés et est basé sur des cours universitaires et des écoles d’été. Cet ouvrage de référence convient aux professionnels qui recherchent une introduction générale à la logique épistémique en lien avec la connaissance et le raisonnement en informatique.
Série : Cambridge Tracts in Theoretical Computer Science