Archive

Voir une conférence au hasard

« Tu sais que je ne sais pas » (la logique de la connaissance ou logique épistémique)

par Pierre Lescanne
jeudi 18 novembre 2004

Conférencier

Pierre Lescanne Professeur au laboratoire d'informatique du parallélisme à  l'ENS Lyon professeur d'informatique

Résumé

La logique épistémique est une extension de la logique par des modalités qui formalisent le fait qu'un agent peut savoir ou ne pas savoir un fait. Autrement dit, c'est une logique qui manipule des propositions comme « l'agent A sait que p » ou « p est une connaissance commune d'un groupe d'agents ». Outre l'intérêt qu'elle a en soit, cette forme logique a de multiples applications dans des domaines où la façon dont les agents raisonnent et la manière dont ils intègrent leur savoir est importante.

Mots clés : logique épistémique