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.