mercredi 8 décembre 2010

Séance du 10 décembre (Attention : horaire et salle inhabituels)

La séance du GdT de cette semaine aura lieu
Vendredi 10 décembre, salle A3.325 (UFR de Philosophie) de 14h à 16h.

Cette semaine, Pierre Cardascia nous parlera de

La Logique des Catégories.



lundi 29 novembre 2010

Pas de séance le 3 décembre

Il n'y aura pas de séance du groupe de travail le 3 décembre prochain.
La prochaine séance aura lieu le vendredi 10 décembre.

mardi 23 novembre 2010

Séance du 26 novembre

Ce vendredi 26 novembre, Gildas Nzokou présentera

Archétypes Culturels Bantu et Modelisation Logique.


Comme d'habitude, la séance aura lieu de 13h à 15h en salle Corbin.

Pour rappel, Gildas soutiendra sa thèse le 3 décembre prochain (voir l'annonce sur le blog de Pragmadial).


Résumé :
Nous présenterons nos réflexions sur la pertinence d’une application de l’analyse logique à certains éléments des structures anthropologiques traditionnelles bantu, ce que nous appelons des « archétypes culturels ». Par ce terme générique nous entendons les modèles de représentation, les modèles de discursivité aussi bien que les modèles de pratiques langagières, le tout étant culturellement enraciné.
L’analyse logique dans l’étude de ces archétypes culturels consiste dans un essai de modélisation de ces derniers, de sorte à obtenir une forme générique abstraite de chacun d’eux, le but final étant ensuite d’interroger ces formes génériques abstraites pour en recueillir le fonds de rationalité qui les sous-tend. 
L’analyse logique que nous avons menée ici s’est attelée à modéliser  les trois types  suivant :
(1) une forme d’argumentation traditionnellement ancrée propre aux traditions orales Bantu
(2)une forme linguistique typique portant sur des « références vides »
(3) une forme traditionnelle de croyance relative au phénomène onirique en relation avec des considérations sur le temps.

jeudi 18 novembre 2010

Séance du 19 novembre

Cette semaine, ce sont Tiago de Lima et Sébastien Magnier qui nous présenteront leur travail sur

Dialogues (and tableaus) for Public Announcement Logic.


Vendredi, 13h-15h, salle Corbin.

mardi 9 novembre 2010

Séance du 12 novembre

Comme annoncé précédemment, nous recevrons Maxime Morge (SMAC-LIFL/Lille 1) pour cette première séance du GdT.

Lieu et horaire : Salle Corbin, 12/11/2010 - 13h-15h.


Dialectical Argumentation for Multiagent Technologies

Abstract :
Argumentation provides a powerful deliberative and dialectical model for interacting, decision-making agents to assess the validity of received information and to resolve conflicts and differences of opinion. It is an essential ingredient of decision-making, inter-agent communication and negotiation. Since they were introduced the computational models of argumentation are considered as suitable for representing and handling the conflicts in MAS. The aim of this seminar is to introduce the Dung's calculus of opposition and its recent extensions where agents have different preferences. Then, the seminar reviews assumption-based argumentation frameworks which are concrete frameworks built upon deductive systems. Finally, the course demonstrates some argumentation technologies as CaSAPI or MARGO.

mercredi 27 octobre 2010

Reprise du Groupe de travail

Le Groupe de Travail reprend ses activités. Les séances se dérouleront cette année le vendredi après-midi de 13h à 15h.
Cette année encore, certaines séances seront consacrées à la meta-théorie des dialogues. Mais rappelons que le Groupe de Travail ne se résume pas à ce thème.

La "saison" 2010-2011 commencera en novembre, avec trois séances programmées :

- Vendredi 12 novembre (13h-15h). Salle B4 146 (salle Danielle Corblin, Bât. B). Nous recevrons Maxime Morge, du laboratoire LIFL de Lille 1.

- Vendredi 19 novembre (13h-15h). Salle B4 146 (salle Danielle Corblin, Bât. B).

- Vendredi 26 novembre (13h-15h). Salle B4 146 (salle Danielle Corblin, Bât. B).


Plus d'informations sur ces séances, ainsi que sur les activités du GdT en général, seront bientôt mises en ligne.

mardi 1 juin 2010

séance du 2 juin

Au cours de la prochaine séance du groupe de travail « Dialogique » nous ecouterons Nicolas Clerbout.La séance aura lieu le 2 juin a 10h dans la salle D. Corbin B4 146.
Voici le résumé.

The purpose of metalogical meetings is to prove results (e.g. soundness and completeness) about Dialogues. Before doing so, however, we need to consider how Dialogues are to be formulated. Briefly: Dialogues will be formulated without the Branching and Shifting Rules, and with the 'No Delaying Tactics Rule' featuring ''repetition ranks''.
In this talk, I will discuss some of the expected advantages of this (not so) new formulation, and mention some of its (not so serious) drawbacks. Hopefully this discussion will provide strong enough reasons to choose this formulation. Moreover, this discussion will give an opportunity to identify clearly the difficulties we have to solve in order to work out proofs (at least for soundness and completeness). I will end the presentation with a proposal of formulation of Dialogical rules and I will suggest directions to prove first results.

mercredi 5 mai 2010

Séance du 7 mai

La prochaine séance du groupe de travail « Dialogique » aura lieu vendredi le 7 mai de 11h à 13h en salle 008 dans la Maison de la recherche.
Au cours de cette séance Nzokou Gildas fera une présentation sur "Usage des proverbes et inférences non-monotoniques. Essai de comparaison avec quelques systèmes d’argumentation défaisables".Vous trouverez le résumé ci-dessous

"L’essai de reconstruction des formes abstraites de l’argumentation propres aux traditions orales africaines nous révèle que cette argumentation est défaisable, au même titre que le sont certains systèmes notables tels que ceux computationnels de l’argumentation juridique et ceux aussi utilisés en intelligence artificielle. Ces différents systèmes d’argumentation défaisables sont sous-tendus par des logiques dites non-monotones : logique de l’abduction, logique des Défauts, logique des conditionnels préférentiels, etc. Cependant, dans tous ces systèmes d’argumentation, la défaisabilité est comprise en termes d’interactions entre groupes d’arguments conflictuels et non pas en termes d’interprétation d’une règle de défaut ou d’un conditionnel défaisable. Plus précisément, dans ces systèmes d’argumentation, la non-monotonicité ou défaisabilité vient du fait que des nouvelles prémisses peuvent donner lieu à des contre-arguments plus puissants et qui défont l’argument original. En somme, la non-monotonie n’est pas interne à chaque argument mais plutôt relative à l’interaction entre arguments conflictuels. Ce phénomène est assez différent de la défaisabilité propre au modèle d’argumentation usant de sentences proverbiales dans les traditions orales africaines, où la non-monotonie est interne même à chaque argument en plus d’être caractéristique du conflit des arguments.
Nous voulons donc discuter de la spécificité de ces différentes formes de la non-monotonicité, relativement aux différents systèmes d’argumentation défaisables considérés.


Mots-clés : Réfutation, Relation de Défection, Assignation de Statut, Undercutting, Attaque d’Hypothèse, Attaque de règle d’inférence, Argument défendable, Argument Rejeté, Argument Auto-Défaisant, Argument flottant, Argument zombi, Point Fixe, Rétablissement d’argument

mercredi 10 mars 2010

Séance du 12 mars

La prochaine séance du groupe de travail « Dialogique » aura lieu vendredi le 12 mars en salle 104 à la Maison de la Recherche,de 12h à 14h.

Dans cette séance Giuseppina Ronzitti (Helsinki) traitera le sujet "Proof and evidence".

jeudi 11 février 2010

Séance du 12 fevrier

Au cours de prochaine séance du groupe de travaill "Dialogique" Sebastien Magnier presentera son travaill sur la logique épistémique dialogique multi-agent des annonces publiques.Cette séance aura lieu vendredi 12/02 du 11h au 13h dans la salle 008,Maison de la recherche.Ci-joint le résumé:

"Le but de cette intervention est de présenter dans un cadre dialogique les différents opérateurs de la logique épistémique dynamique. Pour cela, les règles de particules des opérateurs de connaissance individuelle, partagée et commune sont définies. A ces règles de particules s'ajoutent celles de l'annonce publique et de son dual. Nous verrons que pour ce dernier couple d'opérateurs il est nécessaire de modifier la manière de désigner les contextes dialogiques. Suite à quoi les règles structurelles gouvernant l'ensemble de ces opérateurs seront exposées."

lundi 25 janvier 2010

Séance du 29 janvier

La premiere séance du groupe de travaille au second semestre aura lieu le 29 janvier de 11h a 13h,dans la salle 104.Au cours de cette séance Aude Popek continuera sa présentation sur "Les obligations".