Dynamic epistemic logic [ Livre] / Hans van, Ditmarsch / Wiebe van der, Hoek / Barteld, Kooi

Auteur principal: Ditmarsch, Hans vanCo-auteur: Hoek, Wiebe van der;Kooi, Barteld PieterLangue: Anglais ; de l'oeuvre originale, Anglais.Publication : Dordrecht : Springer, 2008Description : 1 vol. (xi-282 p.) ; 24 cmISBN: 9781402069086.Collection: Synthese library, volume 337Classification: F 4 1 Logique mathématiqueRésumé: La logique Epistemic Dynamique est la logique de changement(monnaie) de connaissance. Ceci n'est pas environ un système logique, mais d'une famille entière de logiques qui nous permet de spécifier les aspects statiques et dynamiques de systèmes de multi-agent. Ce livre fournit des logiques diverses pour supporter(soutenir) un tel cahier des charges(spécifications) formel, y compris des systèmes de preuve. Des exemples concrets et des énigmes d'epistemic animent l'exposition. Le livre contient aussi des exercices incluant des réponses et est éminemment approprié pour des cours diplômés dans la logique..Sujet - Nom commun: Logique épistémique | Philosophie des sciences | Intelligence artificielle | Logique informatique | Epistémologie génétique
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 1 DIT (Browse shelf) Available F 4 1 Logique mathématique 028658

La logique Epistemic Dynamique est la logique de changement(monnaie) de connaissance. Ceci n'est pas environ un système logique, mais d'une famille entière de logiques qui nous permet de spécifier les aspects statiques et dynamiques de systèmes de multi-agent. Ce livre fournit des logiques diverses pour supporter(soutenir) un tel cahier des charges(spécifications) formel, y compris des systèmes de preuve. Des exemples concrets et des énigmes d'epistemic animent l'exposition. Le livre contient aussi des exercices incluant des réponses et est éminemment approprié pour des cours diplômés dans la logique.

Powered by Koha