Une logique épistémique modeste basée sur les observations d’ordre supérieur
نویسندگان
چکیده
Nous présentons une logique épistémique dynamique basée sur ce qu’un agent peut observer, y compris les observations jointes et l’observation de ce que les autres observent, généralisant ainsi les logiques ECL-PC(PO) et LRC de van der Hoek, Wooldridge et al. où les variables propositionnelles que chaque agent observe sont connaissance commune. Dans notre logique, les propositions ainsi que la visibilité de ces propositions peuvent être modifiées par des programmes d’affectation. Nous montrons comment les opérateurs épistémiques peuvent alors être interprétés. Nous proposons une axiomatisation adéquate et complète et prouvons que le problème de satisfiabilité est PSpace-complet. Enfin, nous montrons comment les annonces publiques et privées peuvent être exprimées dans notre logique.
منابع مشابه
Une logique conflictuelle selon Carlos Derbez: La dialectique homme-machine
L'article qui suit termine l'exposé de Carlos Derbez sur une logique conflictuelle. Les parties traitées sont la double négation et devenir, puis la méthode de la logique conflictuelle. " Cette logique, synthèse de la logique mathématique et de la dialectique, permet d'établir pas à pas et pour nos situations conflictuelles quotidiennes, les choix clairs sur lesquels est fondée une construction...
متن کاملAn experimental Une étude expéri- investigation on the mentale de la distance angle inte- mesure de similarité grated similarity intégrée basée sur measure l'angle de distance
Résumé : Une étude expérimentale a été menée afin d'examiner et de tester les performances de repérage de la mesure de similarité intégrée basée sur l'angle de distance présentée dans un article antérieur. La performance de repérage de la nouvelle mesure de similarité basée sur l'angle, la distance, la conjonction, la disjonction, et les modèles elliptiques de repérage a été respectivement comp...
متن کاملInformal Logic ’ s Influence on Philosophy Instruction University of Windsor
Résumé: La logique non formelle a débuté dans les années 1970 comme une critique des suppositions théoriques acceptées à cette époque dans les départements de philosophie aux États Unis et au Canada. Il y a eu un développement significatif dans la logique non formelle et dans l’enseignement de la pensée critique durant les dernières 35 années. Cet article est une étude pilote de l’influence de ...
متن کاملMachines, Interprètes
Ceci est la version 3 de la troisième partie du cours de lambda-calcul, datant du 02 juin 2014. La version 2 datait du 28 janvier 2011. La première version datait du 15 avril 2002. Merci à Hang Zhou et à Arthur Milchior. Aucune machine réelle n’exécute directement la relation de β-réduction du λcalcul, ou même d’un langage fonctionnel plus pratique comme Caml ou Haskell. Il est donc nécessaire ...
متن کاملUne logique modale pour raisonner sur la cohérence et la complétude de réglementations
Nous nous intéressons dans ce papier aux réglementation qui peuvent exister dans des systèmes multi-agents pour réguler les comportements des agents. Plus précisément, nous travaillons sur deux propriétés des réglementations, la cohérence et la complétude. Après avoir donné une définition de ces deux notions, nous proposons un cadre permettant de compléter de façon cohérente une réglementation ...
متن کامل