Logique épistémique
La logique épistémique dynamique est un cadre logique traitant du changement des connaissances et de l'information. En règle générale, la logique épistémique dynamique se concentre sur les situations impliquant plusieurs agents et étudie comment leurs connaissances changent lorsque des événements se produisent.
Ces événements peuvent modifier les propriétés du monde réel (ils sont appelés événements ontiques): par exemple une carte rouge est peinte en bleu. Ils peuvent également entraîner des changements de connaissance sans changer les propriétés factuelles du monde (on les appelle événements épistémiques): par exemple, une carte est révélée publiquement (ou en privé) comme étant rouge. À l'origine, DEL se concentrait sur les événements épistémiques. Nous ne présentons dans cette entrée que certaines des idées de base du cadre DEL initial; plus de détails sur DEL en général peuvent être trouvés dans les références .
En raison de la nature de son objet d'une étude e son approche abstraite, DEL est associée et a des applications à de nombreux domaines de recherche, tels que la science informatique (intelligence artificielle), la philosophie (Epistemologie formelle), l’économie (théorie des jeux) et sciences cognitives . Dans l'informatique, DEL est par exemple très lié à SYST multi-agents ems, qui sont des systèmes où plusieurs intelligents ag ents interagissent et échangent des informations.
En combinant logique dynamique et logique épistémique, l’épistémique dynamique est un domaine de recherche jeune. Il a vraiment commencé en 1989 grâce à Plaza. Indépendamment, Gerbrandy et Groenevel ont proposé un système s’occupant en outre de la communication privée et s’inspirant du travail de Veltman . Un autre système a été proposé par van Ditmarsch dont le principal intérêt était le jeu Cluedo. Mais le système le plus influent et le plus original a été celui proposé par Baltag, Moss et Solecki Ce système peut traiter tous les types de situations étudiées dans les travaux ci-dessus et sa méthodologie sous-jacente est fondée sur le concept. Nous présenterons dans cette entrée certaines de ses idées de base.
De manière formelle, la logique épistémique dynamique étend la logique épistémique ordinaire en incluant des modèles d’événement pour décrire les actions et un opérateur de mise à jour du produit qui définit la façon dont les modèles épistémiques sont mis à jour en conséquence de l’exécution des actions décrites dans les modèles d’événement. La logique épistémique sera d'abord rappelée. Ensuite, des actions et des événements entreront dans l’image et nous présenterons le cadre de la logique épistémique dynamique.
