Abstract

RésuméLes auteurs présentent le problème de l'omniscience logique qui entrave la formalisation de la connaissance et de la croyance dans la thhrie des mondes possibles. Ils étudient ensuite les solutions qui s'inspirent de la distinction entre croyance implicite et explicite proposée par Levesque, et celles qui se fondent sur la logique de la conscience de Fagin et Halpern. Pour remédier aux insuffisances de ces solutions, ils proposent de concevoir la croyance explicite à partir d'une fonction d'analyse logique qui filtre les propositions selon leur profondeur, ce qui permet de justifier logiquement et structurellement la limitation du pouvoir déductif des agents