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.

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.

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.

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.

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.

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.

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.