(LUẬN văn THẠC sĩ) hệ thống đặc tả ngữ nghĩa cho lập luận trừu tượng luận văn ths hệ thống thông minh và đa phương tiện(chương trình đào tạo thí điểm)

UNIVERSITÉ NATIONALE DU VIETNAM À HANOÏ INSTITUT FRANCOPHONE INTERNATIONAL HỒ VĂN HIẾU UN SYSTÈME DE SPÉCIFICATION DE SÉMANTIQUES POUR L'ARGUMENTATION ABSTRAITE HỆ THỐNG ĐẶC TẢ NGỮ NGHĨA CHO LẬP LUẬN TRỪU TƯỢNG MEMOIRE DE FIN D’ETUDES DU MASTER INFORMATIQUE HANOÏ – 2016 TIEU LUAN MOI download : skknchat@gmail.com UNIVERSITÉ NATIONALE DU VIETNAM À HANOÏ INSTITUT FRANCOPHONE INTERNATIONAL HỒ VĂN HIẾU UN SYSTÈME DE SPÉCIFICATION DE SÉMANTIQUES POUR L'ARGUMENTATION ABSTRAITE HỆ THỐNG ĐẶC TẢ NGỮ NGHĨA CHO LẬP LUẬN TRỪU 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: Dr Sylvie DOUTRE Dr Dominique LONGIN HANOÏ – 2016 TIEU LUAN MOI download : skknchat@gmail.com ATTESTATION SUR L’HONNEUR J’atteste sur l’honneur 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 source des informations citées dans ce mémoire a été bien précisée LỜI CAM ĐOAN Tơi cam đoan cơng trình nghiên cứu riêng Các số liệu, kết nêu Luận văn trung thực chưa cơng bố cơng trình khác Các thơng tin trích dẫn Luận văn rõ nguồn gốc Fait Hanoï, le 15 Octobre 2016 Hà Nội, ngày 15 tháng 10 năm 2016 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) Table des matières Remerciements Résumé Abstract Table des figures Introduction Présentation générale 1.1 Présentation de l’établissement d’accueil 1.1.1 Présentation de l’Université Paul Sabatier - organisme d’accueil 1.1.2 Présentation de l’IRIT - lieu de travail 1.2 Contexte du sujet 10 État de l’art 2.1 Système d’argumentation 2.2 Extensions 2.2.1 Extensions préférées 2.2.2 Extensions stables 2.2.3 Extensions complètes 2.2.4 Extensions de base 2.3 Codage en logique 2.3.1 Méthode de codage 2.3.2 Les ingrédients 2.4 Principes d’encodage des sémantiques 2.5 Codage en logique propositionnelle 12 12 14 14 14 14 15 16 17 18 20 22 (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) Système proposé 3.1 Introduction 3.2 Généralités 3.2.1 Principe de base 3.2.2 Sémantique en langage naturel 3.3 Entrer une sémantique en langage naturel 3.3.1 Méthode de base 3.3.2 Modifier la sélection du prochain non-terminal développer 3.3.3 Naviguer dans la construction de la sémantique 3.3.4 Sauvegarder l’expression développée 3.3.5 Importer une expression préalablement sauvegardée 3.4 Affichage de la formule logique générée 3.4.1 Modifier la taille des caractères 3.4.2 Modifier le nombre de ligne(s) pour afficher la formule 3.4.3 Apparier parenthèse ouvrante et parenthèse fermante 24 24 25 25 26 26 26 29 30 30 31 32 32 33 34 36 36 37 38 38 39 40 Conclusions et perspective 5.1 Conclusion 5.2 Perspective 42 42 43 Bibliographie 45 Implémentation et expérimentation 4.1 Outils et environnement d’implémentation 4.2 Structure du système 4.3 Tests effectués et résultats obtenus 4.3.1 Objectif a priori 4.3.2 Objectif atteint 4.3.3 Desiderata (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) Remerciements Les plus grandes leỗons ne sont pas tirộes des livres mais des professeurs tels que vous, tous les professeurs de l’Institut Francophone International (IFI) Je souhaite exprimer ma sincère gratitude vous qui avez pris le temps de m’aider au cours de ces trois années et de m’avoir accompagné dans la mtrise de mes connaissances Je tiens remercier vivement Monsieur Dominique Longin (Chargé de Recherche CNRS), Monsieur Philippe Besnard (Directeur de Recherche CNRS), Madame Sylvie Doutre (Mtre de conférences l’Université Toulouse Capitole), tous les chercheurs l’IRIT, pour leur encadrement sans faille, le suivi qu’ils ont apporté mon stage, leurs 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 en outre remercier l’ANR (Agence Nationale pour la Recherche) qui, au travers du projet AMANDE (contrat No ANR-13-BS02-0004), a financé ce stage et sans qui rien n’aurait été matériellement possible Je remercie également toute l’équipe LILaC et l’IRIT pour leur accueil et leur aide pendant mon stage, notamment pour m’avoir fait profiter d’un bureau et d’un ordinateur ainsi que de toutes les infrastructures associées de l’IRIT Je tiens enfin remercier sincèrement Madame NGUYEN Thi Van Tu, Madame TRAN Thi Quyen, secrétaires de l’IFI, pour leur aide plusieurs reprises Enfin, j’adresse mes plus sincères remerciements ma famille et mes amis, qui m’ont toujours soutenu et encouragé au cours de la réalisation de ce mémoire (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) Résumé sesame (SEmantics Specification for Abstract arguMEntation - spécification de sémantiques pour l’argumentation abstraite), est un système qui permet l’utilisateur de spécifier une sémantique d’argumentation qui indique quels sont les types d’argument acceptables et comment a-t-on le droit de les combiner sesame produit un codage logique sous la forme d’une formule propositionnelle paramétrée Cette sémantique peut ensuite être instanciée par un graphe d’argumentation (un graphe dont les sommets représentent des arguments, et les liens orientés entre sommets la relation l’argument x attaque l’argument y) afin de déterminer si un sous-ensemble des sommets du graphe constituent une extension ou non de la sémantique (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 solveur SAT (étape non encore automatisée) L’utilisation d’une sémantique argumentative au sein d’un système multiagents permet de déterminer qui a raison en cas de conflit entre ces agents lors d’une discussion (par exemple, par rapport au chemin suivre pour sortir d’un lieu donné) Mots-clés : argumentation abstraite, sémantique de l’argumentation, codage logique (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) Abstract sesame (SEmantics Specification for Abstract arguMEntation), is a system allowing the user to specify an argumentation semantics that says what are the acceptable argument types and how is it allowed to combine them sesame returns a logical encoding in the form of a parameterized propositional formula This semantics can be then instanciated by an argumentation graph (a graph where the nodes are arguments and the oriented links between nodes are relations of the type the argument x attacks the argument y) in the aim to determine if a subset of the graph nodes is or not an extension of the semantics (In other words, among all the arguments, what are those that respect the given semantics ?) This last step is allowed by the use of a SAT solver (this step is non automatized yet) The use of an argumentative semantics in a multiagents system allow to determine who has right in case of a conflict between theses agents about a debatable point (for instance, what is the correct path allowing to escape from a given area ?) Keywords : Abstract argumentation, argumentation semantics, logical encoding (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) Table des figures Le graphe d’argumentation (A, R) de l’Exemple Le système d’argumentation G = (A, R) de l’Exemple Le graphe d’argumentation (A, R) de l’Exemple 13 16 23 Le fonctionnement global de sesame sesame : écran d’accueil sesame : le menu de principe Exemple : Les mots non-terminaux Les quatre boutons pour modifier la sélection du prochain non-terminal développer 3.6 Les boutons « undo » et « redo » 3.7 Le bouton « clear » 3.8 L’importation d’un fichier sesame 3.9 Message du système quand il y a une erreur d’importation 3.10 Exemple d’affichage 3.11 L’utile pour changer la taille des caractères 25 27 28 28 30 30 31 31 32 32 33 4.1 37 2.1 2.2 2.3 3.1 3.2 3.3 3.4 3.5 La structure des packages du programme Table des figures (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) Introduction À nos jours, le domaine de la modélisation et de la simulation base d’agents a pris beaucoup d’ampleur En particulier, des besoins ont émergé dans le domaine de la gestion de crise auquel s’intéressent aujourd’hui un certain nombre d’acteurs car l’enjeu est de taille : il s’agit de comprendre comment améliorer la survie de personnes présentes dans des lieux publics et dont la vie est mise en danger par une catastrophe Force est de constater que les modèles d’agent utilisés sont très pauvres et ne permettent ni de comprendre, ni d’expliquer, le comportement des agents en situation d’urgence Nous souhaitons enrichir ces modèles d’agents par des concepts largement étudiés dans le domaine de l’Intelligence Artificielle tels la notion de groupe, l’action individuelle et collective, les liens sociaux, l’émotion, etc Cependant, une difficulté particulière réside dans la prise de décision collective quant la direction prendre lors du processus d’évacuation d’un groupe confronté une situation de crise mettant leurs vies en péril Des études montrent que si quelqu’un a un rôle institutionnel bien identifié (un agent de sécurité, un pompier, etc.) alors le groupe obéit relativement bien ; mais dans le cas contraire, le groupe perd beaucoup plus de temps 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 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 l’autre Des modèles de raisonnement base de graphes d’argumentation ont été proposés De multiples sémantiques pour l’acceptabilité des arguments ont été définies Deux sémantiques différentes peuvent retourner des acceptabilités différentes Ces outils prennent en entrée un codage du graphe et de la sémantique, dans une certaine logique Ces sémantiques sont basées sur divers principes Un codage systématique en logique de ces principes et des sémantiques a été proposé 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 (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) Figure 3.7 – Le bouton « clear » 3.3.5 Importer une expression préalablement sauvegardée L’utilisateur peut importer une sémantique (éventuellement incomplètement développée) préalablement sauvegardée dans un fichier de suffixe sesame (Figure 3.8) Figure 3.8 – L’importation d’un fichier sesame sesame effectue une vérification syntaxique sur l’expression importée S’il y a une erreur, le message suivant de la Figure 3.9 s’affiche Si besoin, sesame surligne en bleu (vidéo inverse) le premier non-terminal apparaissant dans l’expression importée, ce sera la prochain non-terminal développer 31 (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) Figure 3.9 – Message du système quand il y a une erreur d’importation 3.4 Affichage de la formule logique générée sesame affiche en permanence, en zone 2, une pseudo-formule reflétant l’état actuel de spécification de la sémantique argumentative qu’est en train de soumettre l’utilisateur La Figure 3.10 donne un exemple d’affichage Figure 3.10 – Exemple d’affichage 3.4.1 Modifier la taille des caractères Pour augmenter ou diminuer la taille des caractères dans la formule, l’utilisateur fournit une valeur pour « font size » : 32 (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) Figure 3.11 – L’utile pour changer la taille des caractères Le table suivant presente quelques exemples : Taille de formule caractère taille = taille = Attention La taille minimale est 3.4.2 Modifier le nombre de ligne(s) pour afficher la formule Dans le cas où l’utilisateur veut que la formule soit présentée en plusieurs lignes, il peut choisir le nombre de lignes grâce « number of lines » : 33 (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) Exemple : nombre de lignes formule nombre = nombre = 3.4.3 Apparier parenthèse ouvrante et parenthèse fermante Lorsque la formule est très longue, l’utilisateur peut vouloir distinguer facilement les différentes paires de parenthèses sesame dispose d’une option qui permet d’étiqueter avec un exposant commun chaque parenthèse d’une même paire (l’utilisateur doit préciser quels niveaux de parenthésage sont étiqueter mais attention une étiquette n’est pas nécessairement égale au niveau ó elle appart) Exemple : 34 (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) liste de niveaux formule [] [1, 2, 3] [1, 2, 3, 4] La liste des niveaux de parenthèses qui doivent être étiquetés est donné par l’utilisateur : Cette liste est constituée de séries, dont chacune peut être soit un nombre isolé, soit un intervalle noté avec un tiret (3-6 par exemple) Les séries peuvent être séparées soit par une virgule, soit un point-virgule, soit un espace Par exemple, 1, ; est valide, de même que 1, 3-6, et chacune des deux listes fait que les parenthèses des niveaux [1, 3, 4, 5, 6] vont s’afficher avec une étiquette Il est aussi possible de taper le mot-clef « all » de sorte que toutes les parenthèses vont s’afficher avec une étiquette 35 (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) Chapitre Implémentation et expérimentation 4.1 Outils et environnement d’implémentation sesame est développé en langage de programmation Java grâce l’environnement de développement intégré Eclipse Java La particularité et l’objectif central de Java sont que les logiciels écrits dans ce langage doivent être très facilement portables sur plusieurs systèmes d’exploitation tels que UNIX, Windows, Mac OS ou GNU/Linux, avec peu ou pas de modifications Eclipse Eclipse est un projet, décliné et organisé en un ensemble de sous-projets de développements logiciels, de la fondation Eclipse visant développer un environnement de production de logiciels libre qui soit extensible, universel et polyvalent, en s’appuyant principalement sur Java Son objectif est de produire et fournir des outils pour la réalisation de logiciels, englobant les activités de programmation Parmi les librairies utilisées on présente deux librairies très importants, qui facilitent beaucoup notre implémentation : — SWT (Standard Widget Toolkit) est une bibliothèque graphique libre pour Java, initiée par IBM Cette bibliothèque se compose d’une bibliothèque de composants graphiques (texte, label, bouton, panel), des utilitaires nécessaires pour développer une interface graphique en Java, et d’une implémentation native spécifique chaque système d’exploitation qui sera utilisée l’exécution du programme 36 (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) — JLATEXMath est une API Java Son utilisation est simple, efficace et robuste Cette librairie permet de construire les formules en LATEX 4.2 Structure du système Le — — — système est structuré en quatre packages : interface : permet de gérer l’interface du programme support : permet de traiter les données utilisées dans le programme tree : gère la définition, la construction, et l’utilisation de l’arbre binaire qui représente une formule en logique propositionnelle — touIST : permet de produire des fichiers destiné au solveur TouIST Figure 4.1 – La structure des packages du programme On va présenter les classes importantes dans chaque package du système grâce la table suivante : Classe Rôle Dans le package interface InterfaceSupport permet de gérer la coordination du fonctionnement du programme sesame permet d’organiser les éléments (les boutons, combobox, lable) dans l’interface du logiciel Dans le package support Vocabulary permet de définir les termes, les opérateurs dans la grammaire, les formules en LATEX, les formulesstandard, les formules-naturelles 37 (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) NatationPolandSupport permet de transformer une formule-infix-standard en formule-préfix-standard LatexSupport permet de construire la formule en LATEXà partir d’un arbre binaire (tree.BinaryTree.java) CheckArgumentSet permet de vérifier qu’un argument (set) existe dans le quantifieur qui contient cet argument (set) SetArgumentPoint permet d’identifier les et dans un quantifieur (par leur position dans la formule) Parenthesis permet de supprimer les paires de parenthèses (« bigg( » et « bigg) ») superflues IndexParenthes permet de faire l’indexation des parenthèses ( «bigg(» , «bigg)» ) Point définit une structure deux éléments de type « integer » Par exemple, un point peut représenter un mot, avec la position, dans la chne, des première et dernière lettre PointAndLevel permet de représenter une paire de parenthèses StackOfPoint permet de créer une pile dont chaque élément est un Point FileSupport permet de travailler avec des fichiers Dans le package tree BinaryTree définit un arbre binaire BinaryTreeNode définit un nœud dans l’arbre binaire MainTree définit des fonctions qui permettent de construire l’arbre partir d’une formule-standard et de lire un arbre 4.3 Tests effectués et résultats obtenus 4.3.1 Objectif a priori L’objectif initial du stage était d’implanter un système permettant l’utilisateur de spécifier, sur la base d’une grammaire sans contexte, une sémantique argumentative pour lequel le système générerait une formule propositionnelle paramétrée caractéristique de cette sémantique Cela comportait deux niveaux D’une part, il s’agissait 38 (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem)(LUAN.van.THAC.si).he.thong.dac.ta.ngu.nghia.cho.lap.luan.truu.tuong.luan.van.ths.he.thong.thong.minh.va.da.phuong.tien(chuong.trinh.dao.tao.thi.diem) d’implanter une méthode par laquelle l’utilisateur pouvait exprimer une sémantique argumentative D’autre part, il s’agissait d’implanter une technique pour transformer ce que l’utilisateur a soumis en une formule propositionnelle apropriée 4.3.2 Objectif atteint Le système sesame fournit la possibilité, pour un utilisateur, d’exprimer diverses sémantiques argumentatives sans se limiter des sémantiques argumentatives connues Le choix a été fait d’imposer l’utilisateur de spécifier une sémantique seulement par l’usage de boutons reflétant une grammaire sans contexte ; ainsi, il y a une garantie sur la syntaxe de ce que soumet l’utilisateur ; par contre, cela peut sembler assez lourd en comparaison d’une approche en texte libre où l’utilisateur pourrait spécifier directement une sémantique (par exemple, l’utilisateur taperait une phrase en langage naturel et c’est tout) mais cette seconde méthode nécessiterait un très lourd processus de vérification Il y a aussi la question de la limite d’expressivité (la section suivante sur les desiderata traite en particulier de ce sujet) Point positif, la limite d’expressivité est bien cernée de par l’existence même de la grammaire Le système sesame permet, cela a été vérifié, l’utilisateur de spécifier les sémantiques argumentatives les plus connues : basique, complète, préférée, stable, semistable, idéal, « stage » La capacité de sesame capturer de nouvelles sémantiques argumentatives a aussi été vérifiée, par exemple : ? For all b