Balise : Éditeur de wikicode 2017 |
Balise : Éditeur de wikicode 2017 |
| Ligne 1 : |
Ligne 1 : |
| ==en construction==
| | [[Category:Vocabulaire]] |
| [[Catégorie:Vocabulaire]] | | [[Catégorie:Scotty]] |
| [[Catégorie:Intelligence artificielle]] | |
| [[Catégorie:24pm]]
| |
| | |
| | |
| ==Définition== | | ==Définition== |
| 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. | | La logique épistémique est une logique modale qui permet de raisonner à propos de la connaissance d'un ou plusieurs agents. Elle permet aussi de raisonner sur les connaissances des connaissances des autres agents etc. Son nom est tiré du nom grec epistḗmē qui signifie « connaissance » (du verbe epístamai « savoir »), d'où vient aussi le mot épistémologie. L'application de la logique épistémique à l'économie a été promue par Robert Aumann, Prix Nobel d'économie 2005. |
| | |
| 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.
| |
|
| |
|
| ==Français== | | ==Français== |
| '''Logique épistémique''' <small> loc. nominale. masc. </small> | | '''Logique épistémique''' <small> loc. nominale. fém. </small> |
| | | |
| ==Anglais== | | ==Anglais== |
| '''XXXXXXX''' | | '''epistemic logic''' |
| | |
|
| |
|
|
| |
|
| Ligne 27 : |
Ligne 14 : |
|
| |
|
| [https://www.24pm.com/117-definitions/341-logique-epistemique Source : 24pm academie] | | [https://www.24pm.com/117-definitions/341-logique-epistemique Source : 24pm academie] |
| | |
| | https://fr.wikipedia.org/wiki/Logique_%C3%A9pist%C3%A9mique |
Définition
La logique épistémique est une logique modale qui permet de raisonner à propos de la connaissance d'un ou plusieurs agents. Elle permet aussi de raisonner sur les connaissances des connaissances des autres agents etc. Son nom est tiré du nom grec epistḗmē qui signifie « connaissance » (du verbe epístamai « savoir »), d'où vient aussi le mot épistémologie. L'application de la logique épistémique à l'économie a été promue par Robert Aumann, Prix Nobel d'économie 2005.
Français
Logique épistémique loc. nominale. fém.
Anglais
epistemic logic
Source : 24pm academie
https://fr.wikipedia.org/wiki/Logique_%C3%A9pist%C3%A9mique
