| Popis: |
Resume Les auteurs presentent le probleme de l'omniscience logique qui entrave la formalisation de la connaissance et de la croyance dans la thhrie des mondes possibles. Ils etudient ensuite les solutions qui s'inspirent de la distinction entre croyance implicite et explicite proposee par Levesque, et celles qui se fondent sur la logique de la conscience (awareness) de Fagin et Halpern. Pour remedier aux insuffisances de ces solutions, ils proposent de concevoir la croyance explicite a 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 deductif des agents. |
Plný text