UNIVERSITÉ NATIONALE DU VIETNAM Â HANOÏ INSTITUT FRANCOPIIONE INTERNATIONAL 16 VAN TEU UN SYSTEME DE SPECLEICATION DE SEMANTIQUES POUR L'ARGUMENTATION ABSTRAITE HE THONG DAC TA NGU NGHIA CHO LAP LUAN TRUU TƯỢNG Spécialité: Systémes intelligents et Multimédia Code: Programme pilote MEMOIRE DE FIN D’ETUDES DU MASTER INFORMATIQUE Sous la direction de: 4] ao Dr. Sylvie DOUTRE Sp Dr. Dominique LONGIN “> TIANOÏ — 2016 ATTESTATION SUR L-HONNEUR J’atteste sur Phonneur que ce mémoire a été réalisé par moi-méme et que les données et les résultats qui y sont présentés sont exacts et n’ont jamais été publiés ailleurs. La souree des informations cilées dans co mémuire a éle bien précisée.
LOLCAM DOAN Tôi cam doan dây lả công trình nghiên cứu của riêng tôi Các số liệu, kết quả nêu trong Luận văn là trung thực và chưa từng dược ai công bố trong bất kỳ công trình nào khác. Các thông tin trích dẫn trong 1.uận văn đã được chỉ rõ nguồn géc. Fait 4 Hanoi, le 15 Octobre 2016 lià Nội, ngày 15 tháng 10 năm 2016 Ue Table des matières Remerciements Résumé Abstract Table des figures Introduction 1 Présentation générale 1.1 Présentation de lếtablissement đ'aceueil.1 Présentation de l'Université Paul Sabatier - organisme d'accueil 1.2 Présentation de [IRIT - lieu de travail .2 COMME ALE ie aumawen waa ea OES Eom Bì g 2 Btat de Fart 9.1 Syste me d’argumentation 22 Extensions.4 Extensions de base 2.1 Méthode de codage 2.4 Prineipes d'encodage đes sémantique .5 Codage en logique propositionnelle. Résumé SESAME (SEmantics Specitication for Abstract arguMEntation - spécification de sémantiques pour l'argumentation abstraite), est un systéme qui permet 4 Ï'utilisa tour de spécifier une sémantique d'urgumeniution qui indique quels sont les types argument acceptables eb coumment a-t-on le droit de les combiner.
SESAME produit un codage logique sous la forme d'une formule propositionnelle paramétrée, Cetbe sémantique pent ensuite @tre instanciée par un graphe d’orgumentation (um graphe dont: les sommers représentent des arguments, et les liens orientés entre sommets la relation Vargument a attague Corgument y) afin de déterminer si un sons-ensemble des sommets du graphe constituent une extension ou uon de la sémentique {en d'autres termes, parmis tous les arguments présentés quels sont ceux qui respectent les régles imposées par la sémantique}. Cette derniére étape sera fournie par l'utilisation d’un solvcur SAT (Clape non cneore sulomativce), Lutilisation Mune sémantique argue imentative au sein d'un sysléme mulviagenls permet de déterminer qui a raison en vas de conflit entre ces agents lors d'ume discussion (par exemple, par rapport an chemin A snivre pour sortir dum Tien donné) Mols-clés : arguricutation abstruite, sGmantigue de Pargumeutation, codage lo gigue 3. Systéme proposé 24 BA Introduction.1 Principe de base 35 3.22 8 jémantique en langage naturel.3 Entrer une sẽmantiqne en langage naturel 26 Méthode de base 26 Modifier la sélection du prochain non-terminal a développer 2 3.3 Naviguer dans la construction de la sémantique .34 Sauvegarder expression développée 30 3.5 Importer une expression préalablement sauvegardée .4 Affichage de la formule logique générée oe 32 3.1 Modifier la taille descaraetœ .- 32 Modifier le nombre de ligne(s) pour afficher la formule 33 3.3 Apparier parenthése ouvrante et parenthése fermante. 34 4 Implémentation et expérimentation 4.1 Outils ct environnement d’implémentation .2 Structure du systéme 4.3 Tests effectués et résultats obtenus 443.
5 Conclusions et perspective 5. Systéme proposé 24 BA Introduction.1 Principe de base 35 3.22 8 jémantique en langage naturel.3 Entrer une sẽmantiqne en langage naturel 26 Méthode de base 26 Modifier la sélection du prochain non-terminal a développer 2 3.3 Naviguer dans la construction de la sémantique .34 Sauvegarder expression développée 30 3.5 Importer une expression préalablement sauvegardée .4 Affichage de la formule logique générée oe 32 3.1 Modifier la taille descaraetœ .- 32 Modifier le nombre de ligne(s) pour afficher la formule 33 3.3 Apparier parenthése ouvrante et parenthése fermante. 34 4 Implémentation et expérimentation 4.1 Outils ct environnement d’implémentation .2 Structure du systéme 4.3 Tests effectués et résultats obtenus 443. 5 Conclusions et perspective 5.
Systéme proposé 24 BA Introduction.1 Principe de base 35 3.22 8 jémantique en langage naturel.3 Entrer une sẽmantiqne en langage naturel 26 Méthode de base 26 Modifier la sélection du prochain non-terminal a développer 2 3.3 Naviguer dans la construction de la sémantique .34 Sauvegarder expression développée 30 3.5 Importer une expression préalablement sauvegardée .4 Affichage de la formule logique générée oe 32 3.1 Modifier la taille descaraetœ .- 32 Modifier le nombre de ligne(s) pour afficher la formule 33 3.3 Apparier parenthése ouvrante et parenthése fermante. 34 4 Implémentation et expérimentation 4.1 Outils ct environnement d’implémentation .2 Structure du systéme 4.3 Tests effectués et résultats obtenus 443. 5 Conclusions et perspective 5.2 Perspective Bibliographic Introduction A nos jours, le domaine de la modélisation et de fa sinmulation a base d’agents a pris beaucoup d’ampleur. En particulier, des besoins ont émergé dans le domaine de ba gestion de erie auquel sintéressent aujourd’Lui un cerlain nombre Pacteurs car Venjeu ext de taille : il agit de comprendre comment ameéliorer la survie de personnes présentes dans des lieux publics et dont la vie est mise en danger par une catastrophe.
Fores est de constater que les modéles d’agent utilises sont trés pauvres et ne permettent ni de comprendre, ni d’expliquer, le compartement des agents en sitnation d’nrgence. Nons sonhaitons enrichir ces modéles d'agents par des concepts largement étudiés dans le domaine de I Intelligence Artiticielle tels la notion de groupe. Vaction individeelle et collective, les liens sociaux, l’émotion, etc. Cependant, une difficulté particuliére réside dans la prise de décision collective quant & le dircetion ä prendre lors du processus d’évacuation d'un groupe cuufromté & une situation de crise meltaut leurs vies en péril, Des études montrent que si quelqu’un aim réle institntionnel bien identifié (1m agent de séenrité, un pompier, réc.) alors le gronpe obéit relativement bien; mais dans le cas contraire, le groupe.
perd beaneonp plus de rempa a délibérer, parfois pour prendre des décisions aléatoires. En vue de pouvoir prendre une décision, il est nécessaire de bien comprendre la maniére dont les agents raisonnent face 4 une situation d'urgence. En effet, méme si la situation est connue de tous, les conclusions qui peuvent en étre tirées peuvent différer d'un agent & autre. Dex modéles de raisonnemnt & bse de geaphes d‘erguiuentation ont é.
De multiples sémantiques pour Pacceptabilité des arguinerils ont été définies. Deux sémantiqnes différentes penvent retourner des acceptabilités différentes. Ces omtils prennent en entrée un codage dn graphe et de la sémantiqne, dans une certaine lngique. Cea sémantiques sont basées sur divers prineipes.
Un codage systématique en logique de ces principes et des sémantiques a été propasé. Le stage a pour objectif de développer un outil {logiciel} qui prendra en entrée une combinaison de principes et qui retournera le codage correspondant. “1 Remerciements Les plus grandes legons ne sont pas tirées des livres mais des professeurs tels que vous, tous les professeurs de I'Institut Lrancophone International (LF). Je souhaite exprimer om sineére gratitude & vous qui avez pris le temps de mẺsiđer au cours de ces trois années gi de navoir accompagué dans la maitrise de mes conmmaissanves.
Je biews & remercier vivement Mousieur Dominique Longin (Charyé de Recherche CNRS), Monsieur Philippe Mesnard (Directenr de Recherche CNIS}, Madame Sylvie Domtre (Mattre de conférences 4 Université Toulonse 1 Capitole), tous les cherchenrs AVTRIT, pour lenr ancadrement sans faille, le snivi qu‘ils ont apporté A mon stage, leure conseils, leurs corrections de ce mémoire, les nombreuses discussions que nous avons pu avoir tout au long de la réalisation de ce stage, et pour le temps qu’ils ont bien voulu me consacrer. Je tiens ex outre a remereier 'ANR, (Agence Nationale pour la Recherche) qui, au travers du projet AMANDE (contrat N¢ ANR-13-BS02-0004), a financé ce stage et sans qui rien n’aurait, été matériellement possible. Je remercie également. toute Péquipe TLaG et PTRIT pour leur accneil et lenr aide pendant mon stage, notamment pour m’awnir fait profiter un hurean et d'un ordinateur ainsi que de toutes les infrastructures assaciées de IRI Je tiens enfin 4 remercier sincérement Madame NGUYEN ‘hi Van ‘lu, Madame ‘TRAN ‘Lhi Quyen, secrétaires de P'LH'1, pour eur aide 4 plusieurs reprises.
Enlin, jadresse mes plus sincéres remercicenents & ma famille ol mes amis, qui an‘ont toujours soulenu eb envouragé au cours de le réalisation de ee mémoire Résumé SESAME (SEmantics Specitication for Abstract arguMEntation - spécification de sémantiques pour l'argumentation abstraite), est un systéme qui permet 4 Ï'utilisa tour de spécifier une sémantique d'urgumeniution qui indique quels sont les types argument acceptables eb coumment a-t-on le droit de les combiner. SESAME produit un codage logique sous la forme d'une formule propositionnelle paramétrée, Cetbe sémantique pent ensuite @tre instanciée par un graphe d’orgumentation (um graphe dont: les sommers représentent des arguments, et les liens orientés entre sommets la relation Vargument a attague Corgument y) afin de déterminer si un sons-ensemble des sommets du graphe constituent une extension ou uon de la sémentique {en d'autres termes, parmis tous les arguments présentés quels sont ceux qui respectent les régles imposées par la sémantique}. Cette derniére étape sera fournie par l'utilisation d’un solvcur SAT (Clape non cneore sulomativce), Lutilisation Mune sémantique argue imentative au sein d'un sysléme mulviagenls permet de déterminer qui a raison en vas de conflit entre ces agents lors d'ume discussion (par exemple, par rapport an chemin A snivre pour sortir dum Tien donné) Mols-clés : arguricutation abstruite, sGmantigue de Pargumeutation, codage lo gigue 3. Systéme proposé 24 BA Introduction.1 Principe de base 35 3.22 8 jémantique en langage naturel.3 Entrer une sẽmantiqne en langage naturel 26 Méthode de base 26 Modifier la sélection du prochain non-terminal a développer 2 3.3 Naviguer dans la construction de la sémantique .34 Sauvegarder expression développée 30 3.5 Importer une expression préalablement sauvegardée .4 Affichage de la formule logique générée oe 32 3.1 Modifier la taille descaraetœ .- 32 Modifier le nombre de ligne(s) pour afficher la formule 33 3.3 Apparier parenthése ouvrante et parenthése fermante.
34 4 Implémentation et expérimentation 4.1 Outils ct environnement d’implémentation .2 Structure du systéme 4.3 Tests effectués et résultats obtenus 443. 5 Conclusions et perspective 5.2 Perspective Bibliographic Table des figures 2. Le graphe d'argumentation (A, 9) de 'Exemple 1 .2 Le systéme d’argumentation Ở = (.4,9†) de l'Exemple 2 16 23 Le graphe d'argumentation (A,9) de 'Exemple 3 .1 Le fonetionnement global de SESAME. SESAME: éeran d'accueil.3 SESAME : le menu de principe .4 Exemple : Les mots non-terminaux 28 3.5 Les quatre boutons pour modifier la sélection du prochain non-terminal adévelopper .6 Les boutons « undo» et « redo».
30 Sĩ JHOHHỜNMSEHBEEW + tê niên kê nên D ETH EN ET TS HE 31 3.8 L'importation d’un fichier SESAME 31 3.9 Message du systéme quand il y a une erreur d’importation 32 3.11 Liutile pour changer la taille des caractér 33 4.1 La structure des packages du programme 37 Table des figures Introduction A nos jours, le domaine de la modélisation et de fa sinmulation a base d’agents a pris beaucoup d’ampleur. En particulier, des besoins ont émergé dans le domaine de ba gestion de erie auquel sintéressent aujourd’Lui un cerlain nombre Pacteurs car Venjeu ext de taille : il agit de comprendre comment ameéliorer la survie de personnes présentes dans des lieux publics et dont la vie est mise en danger par une catastrophe. Fores est de constater que les modéles d’agent utilises sont trés pauvres et ne permettent ni de comprendre, ni d’expliquer, le compartement des agents en sitnation d’nrgence. Nons sonhaitons enrichir ces modéles d'agents par des concepts largement étudiés dans le domaine de I Intelligence Artiticielle tels la notion de groupe.
Vaction individeelle et collective, les liens sociaux, l’émotion, etc.
