Partenaires
Home page > Research > Old seminars > T. de Lima (CRIL, Univesité d’Artois) - A tableaux method for public announcement logic
T. de Lima (CRIL, Univesité d’Artois) - A tableaux method for public announcement logic
Abstract: Public announcement logic extends multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. In this talk, I will present a labelled tableau calculus for this logic. It decides satisfiability of formulas in deterministic polynomial space. Since this problem is known to be PSPACE-complete, it follows that such proof method is optimal.
In the same section :
- Seminars (January to May 2007, in French)
- T. de Lima (CRIL, Univ. Artois) - Le problème du décor en logique modale (in French)
- Frédéric Koriche (LIRMM - Montpellier) - Apprentissage et raisonnement « online » (in French)
- Philippe Besnard (IRIT CNRS) - La formalisation de l’argumentation se réduirait à la théorie des graphes ? (in French)
- Monday, September 17th - Chattrakul Sombattheera (Mahasarakham University, Thailand)
- Elise Bonzon (IRIT) - Modélisation des interactions entre agents rationnels : les jeux booléens (in French)
- Ulrich Junker (ILOG) - Explications et Préférences pour l’Analyse des Règles de Metier (in French)
- Vincent Dubois - Espaces de versions et ensembles approximatifs : présentation des espaces de version approximatifs (in French)
- Didier Dubois (IRIT) - Incertitude en représentation des connaissances et raisonnement (in French)
- Salem Benferhat - Interventions et dynamique des croyances dans les réseaux causaux (in French)
- Mohand Ou Idir Khnemmoudj (LIPN - Paris 13) - Contributions à la résolution de CSP, Max-CSP et WCSP (in French)
- David Mercier (LGI2A - Bethune) - Fusion de décisions postales dans le cadre du modèle des croyances transférables (in Fench)
- Farid Nouioua (LIPN - Paris 13) - Quelle est la cause de l’accident ? : une approche non monotone à base de normes (in French)
- Denis Bouyssou (LAMSADE - Paris 9) - Doit-on croire le classement de Shanghai ? (in French)
- Olivier Roussel - Résultats de la compétition CSP 2008 et informations sur les compétitions SAT09 et PB09 (in French)
- Sébastien Konieczny - Opérateurs d’Amélioration (in French)
- Sylvie Coste - Oublier l’incohérence pour restaurer la cohérence (in French)
- Henri Prade - Pensons bipolaire! (in French)
- Guillaume Aucher (Université du Luxembourg) - Une perspective interne sur le changement de croyances (in French)
- H. Prade (IRIT, CNRS) - Donner une forme logique à l’analogie (in French)