Cette dissertation se situe à l’intersection de la théorie des types de Per Martin-Löf, de l’approche dialogique et de la révision des croyances. Son objectif est de proposer une analyse dialogique de la théorie de la révision des croyances dans le contexte de la théorie des types de Martin-Löf. Autrement dit, il s’est agi pour nous de concevoir des systèmes de révision dans lesquels l’acquisition de connaissances et les aspects interactifs de la signification sont saisis comme un jeu de questions et de réponses par rapport à un ensemble initial d’hypothèses exprimé dans le langage-objet. Ce processus s’effectue par un déploiement progressif de contenus hypothétiques dans un contexte d’interaction en crédibilisant l’information que reçoit l’agent.Cette étude donne également la possibilité d’exprimer avec aisance les aspects interactifs de la signification dans les tableaux sémantiques. Et met ainsi en exergue les notions d’actes de langage par la connexion entre dialogues et tableaux dans le contexte de la révision des croyances. / This thesis is at the intersection of Per Matin-Löf’s type theory, the dialogical approach and the revision of beliefs. The objective is to propose a dialogical approach to the theory of revision of beliefs in the context of Matin- Löf’s type theory. In other words, we seek to conceive a belief system in which the acquisition of knowledge and the interactive aspects of meaning are perceived as a question-response game in respect to a set of initial hypotheses that are expressed in the object-language. This process is done by the progressive deployment of hypothetic content, in a context of interaction, where more credibility is given to the information that the agent receives.This study also enables us to express with ease the interactive aspects of meaning in semantic tableaux. And thus highlights the notion of speech acts through the connection between dialogues and tableaux in the context of belief revision.

Le recrutement des étudiants internationaux est devenu un enjeu pour peupler les universités nord-américaines en général, canadiennes et québécoises en particulier, confrontées à la réalité de la diminution de leur clientèle causée par la baisse démographique. Plusieurs moyens de communication sont déployés pour atteindre les candidats potentiels. Nous nous sommes intéressée [i.e. intéressés] à la brochure promotionnelle Étudiantes et étudiants internationaux. Guide d'admission que l'Université de Sherbrooke a produite pour joindre sa cible, car nous considérons que malgré la percée du numérique dans le monde actuel, l'imprimé demeure le moyen privilégié et efficace pour atteindre un public plus large. Nous questionnant sur l'apport de la révision et le degré de cohérence textuelle du contenu de deux versions de la même brochure publiées entre 2007 et 2009, nous nous sommes fixé [i.e. fixés] pour objectif d'évaluer le niveau de cohérence des textes et l'impact de la révision de la première brochure sur la deuxième. Dans cette perspective, nous avons appliqué au corpus trois indicateurs en ce qui concerne la cohérence : la stabilité énonciative, la continuité référentielle et la progression thématique. Les indices retenus sont issus des travaux de recherche de plusieurs auteurs en particulier M. Charolles, C. Beaudet, C. Kerbrat-Orecchioni. Et, pour analyser la révision, nous avons soumis le corpus à quatre opérations tirées du modèle proposé par Flower et Hayes : déplacement, ajout, substitution et suppression. Toute cette démarche avait pour but de vérifier nos deux hypothèses : celle qui affirme que les textes des deux brochures devaient renfermer des indices linguistiques qui garantissent la cohérence et celle qui suppose que le travail de réécriture de la première brochure devait contribuer à augmenter le degré de cohérence de la deuxième brochure. De ce fait, cette dernière devrait contenir plus d'indices de cohérence que la première. Nous appuyant sur l'analyse quantitative et qualitative, nous avons eu recours à la méthode comparative. À la lumière des résultats obtenus, il nous est difficile d'affirmer d'un bloc qu'une brochure est plus cohérente que l'autre. Cependant, l'étude nous a permis d'observer la présence de traces des indicateurs dans les deux brochures, ce qui amène à confirmer la première hypothèse. Pour ce qui est de l'impact de la révision, nous avons pu constater des changements importants dans la deuxième version de la brochure sur le fond et la forme. Et nous concluons que la révision a contribué à améliorer la présentation de la deuxième brochure.

Le raisonnement à partir de cas est un modèle de raisonnement dont le but est de résoudre des problèmes à partir de l'expérience de résolution de problèmes connus, appelés cas sources. Une solution tirée d'un cas source peut ne pas être applicable directement au problème traité, il faut alors l'adapter. Nous nous intéressons dans cette thèse à une approche de l'adaptation qui s'appuie sur la théorie de la révision des connaissances. La révision des connaissances consiste à modifier des connaissances initiales pour prendre en compte de nouvelles connaissances avec lesquelles elles peuvent être en contradiction. Comme pour l'adaptation, les modifications apportés aux connaissances sont minimales. Ce rapprochement entre adaptation et révision permet de s'appuyer sur la formalisation logique de la révision pour donner un cadre formel à l'adaptation. Dans ce but nous définissons des opérateurs de révision dans des formalismes utiles au raisonnement à partir de cas : dans un formalisme attributs-valeurs simples et dans une logique de descriptions expressive (ALC). Nous montrons aussi que plusieurs approches de l'adaptation précédemment définies peuvent être mises sous la forme d'adaptation par la révision. Nous considérons aussi une extension de l'adaptation par la révision à une combinaison de cas où ce n'est plus un seul mais plusieurs cas sources qui sont exploités pour résoudre un problème. Cette approche de combinaison de cas s'appuie sur la fusion contrainte de connaissances qui généralise la révision. Ces travaux ont été appliqués dans le système d'élaboration de recettes de cuisine Taaable pour l'adaptation des quantités d'ingrédients suivant le modèle de l'adaptation par la révision / Case-Based Reasoning is a reasoning model for problem resolution by reusing the experience of previously solved problems, called source cases. The solution given by a source case cannot always be applied directly to a target case, it may need to be adapted. We focus in this thesis on an adaptation approach defined thanks to belief revision. The belief revision theory deals with the changes to apply to some initial knowledge in order to integrate possibly conflicting new knowledge. For both adaptation and belief revision, the changes are minimal. This parallel between adaptation and revision enables the adaptation process to benefit from the logical formalisation of belief revision. The definition of adaptation by revision aims at providing a formal framework to adaptation. For this purpose, we define revision operators in useful formalisms for case-based reasoning : a revision operator in attributes-simple values and an operator in an expressive description logic (ALC ). We show as well that several adaptation approach previously defined could be expressed as adaptation by revision. In addition we consider generalising the adaptation by revision to a case combination that takes into account more than one source case to solve a problem. This approach to case combination is defined thanks to integrity constrains belief merging that generalises belief revision. These results were applied in the cooking recipe elaboration system Taaable for ingredient quantities adaptation

Résumé Le genre Bertiera appartient à la tribu monogénérique des Bertiereae. Les espèces de ce genre sont constituées d’arbrisseaux, d’arbustes, quelques fois de lianes, rarement de plantes herbacées. Dans cette étude, les caractères morphologiques sont détaillés, une attention est portée sur la morphologie des pollens et de l’exotesta, caractères taxonomiques importants dans la systématique des Rubiaceae. Le genre Bertiera est morphologiquement assez polymorphe au niveau du type biologique, de la forme et la taille des stipules, de la forme et la base du limbe, de l’architecture des inflorescences, de la forme du calice, la forme et la couleur du fruit à maturité. Malgré ce grand polymorphisme, la combinaison des caractères des stipules, des feuilles, des inflorescences et des fruits permet de reconnaître les individus appartenant à ce genre. L’étude sur la phylogénie du genre Bertiera est faite sur base du gène rbcL et des régions intergéniques psbA-trnH et trnC-ycf6. La position du genre Bertiera comme soeur de tous les autres genres de la tribu des Coffeeae est confirmé, il est maintenu au sein de la tribu monogénérique des Bertiereae. La monophylie du genre est fortement supportée par les données combinées. La monophylie des sous-genres est également fortement supportée. La faible résolution des arbres phylogéniques ne permet pas de déterminer les relations entre les espèces au sein des sous-genres. psbA-trnH et trnC-ycf6, bien qu’assez polymorphes, s’avèrent ne pas être de bons marqueurs pour la phylogénie des Bertiera. L’analyse de la distribution du genre Bertiera en Afrique montre qu’il est distribué principalement dans toute la Région Guinéo-Congolaise. Le Domaine Bas-Guinéen constitue le principal centre de diversité de ce genre en Afrique. Le Domaine Haut-Guinéen et le Domaine Congolais associé à la zone de Transition Guinéo-Congolaise/Zambézienne et la Mosaïque Régionale du Lac Victoria constituent des centres de diversités secondaires. L’endémisme des espèces est marqué dans les îles, et dans la zone de Transition Régionale Guinéo-Congolaise/Zambézienne. D’après l’analyse parcimonieuse de l’endémicité et du taux d’endémisme élevé (25 %), le Domaine Bas-Guinéen constitue le principal centre d’endémisme et probablement le centre de diversification de ce genre en Afrique. L’étude de l’écologie et de la phénologie des espèces du genre Bertiera montre que de manière générale, les espèces sont sympatriques et occupent les habitats variés. La période de floraison est liée au type biologique et à l’amplitude écologique. Les espèces à port arbuste de sous-bois ne fleurissent qu’une seule fois et à une période bien définie de l’année alors que les espèces à port arbuste à large amplitude écologique et les espèces à port arbrisseau fleurissent plusieurs fois au cours de l’année. Il n’existe pas de décalage de période de floraison et/ou de fructification entre les espèces. Des analyses morphométriques ont été réalisées en vue de préciser la délimitation taxonomique au sein du complexe d’espèces formé par B. annobonensis, B. batesi, B. laxa, B. pedicellata et B. thollonii. Il en ressort que B. annobonensis doit être considéré comme un synonyme de B. pedicellata et que B. thollonii devient une variété de B. batesii. La révision taxonomique des espèces du genre Bertiera est faite pour l’Afrique. Cette révision est exécutée suivant les méthodes de taxonomie classique. Deux sous-genres sont reconnus au sein du genre Bertiera. Au total 42 espèces sont acceptées. B. conferta, B. nimbae (non encore formellement publiés par leur auteurs) et B. lejolyana sont nouvelles pour la science. Une clé d’identification des espèces est donnée pour chaque sous-genre. Le traitement taxonomique complet de chaque espèce est donné (synonymie, description, habitat, distribution et carte de distribution, et enfin spécimens examinés). Abstract The genus Bertiera belongs to the monogeneric tribe Bertiereae. Species of this genus are shrubs, treelets, sometimes lianas, rarely herbaceous plants. In this study, morphological characters of the genus are reviewed, particularly those related to pollen and the seed-coat (exotesta), significant taxonomic characters in the systematics of the Rubiaceae. The genus Bertiera is morphologically rather polymorphic with regard to habit, form and size of the stipules, form and base on the limb, architecture of the inflorescences, shape and colour of the fruit in maturity. However, in spite of this great polymorphism, the combination of characters of stipules, leaves, inflorescences and fruits allows to recognize individuals to belong to this genus. The study of the phylogeny of the genus Bertiera is made on the basis of the gene rbcL and intergenic-spacer psbA-trnH et trnC-ycf6. The position of the genus as sister of all the other genera of the tribe of Coffeeae is confirmed, and it’s maintained within the monogeneric tribe Bertiereae. The monophyly of the genus is strongly supported by combined data. The monophyly of the two the subgenera is also strongly supported. The weak resolution of the phylogenic trees does not make it possible to determine the relations between the species within the subgenera. psbA-trnH et trnC-ycf6, although enough polymorphic, are no good markers for the phylogeny of Bertiera. The study of the distribution of the genus Bertiera in Africa shows that it’s distributed mainly in the Guineo-Congolian Region. The Lower-Guinea Domain constitutes the principal centre of diversity of this genus in Africa. The Upper-Guinea Domain and the Congolain Domain associated with the Guineo-Congolian/Zambezian Regional Transition zone and the Regional Mosaic of the Lake Victoria constitutes secondary centres of diversity. Endemism of the species is more appreciable in the islands, and in the Guineo-Congolian/Zambezian Regional Transition zone. According to the parsimonious analysis of the endemicity and the higher rate of endemism of species (25 %), the Lower-Guinea Domain constitutes the centre of endemism and probably the centre of diversification of this genus in Africa. The study of the ecology and the phenology of the species of the genus Bertiera shows that species are sympatric and occupy a variety of habitats. The flowering time is related to the habit and the ecological variation of the species. Species having treelet habit and living under wood flowers only once and at one well defined period of the year whereas species having treelet habit with broad ecological variation and the species having shrub habit flower several times during the year. There is not time difference of flowering and/or fructification period between species. Morphometrics analyses are carried out in order to specify the taxonomic delimitation within the complex of species formed by B. annobonensis, B. batesii B. lax B. pedicellata and B. thollonii. The results reveal that B. annobonensis must be regarded as a synonym of B. pedicellata and that B. thollonii becomes a variety of B. batesii. The taxonomic revision of the species of the genus Bertiera is carried out for Africa. This revision is executed according to the traditional methods of taxonomy. Two subgenera are recognized within this genus Bertiera. At all, 42 species are accepted. B conferta, B nimbae (not yet formally published by their authors) and B lejolyana are new for science. A key to identification of the species is given for each subgenus. The complete taxonomic treatment of each species is given (synonymy, description, habitat, distribution and distribution map, and finally the list of specimens observed).

Le but de cette recherche est de montrer comment se traduit la prise en compte du destinataire lors de la révision de textes faite par deux réviseurs professionnels. Peu de chercheurs se sont jusqu'à maintenant questionnés quant au rôle que peut jouer ce destinataire dans la révision. Plusieurs d'entre eux s'en sont cependant préoccupés en rédaction, de sorte que nous connaissons assez bien les différents moyens qui, théoriquement, peuvent contribuer à faciliter la compréhension. À l'aide d'une grille d'analyse qui intégrait les moyens identifiés par les chercheurs, nous avons donc traité les modifications apportées et les justifications qui y étaient liées. Les données recueillies nous ont permis de valider la théorie. Ainsi, c'est surtout en apportant des modifications à la langue que les deux réviseurs ont tenu compte du destinataire. Les modifications liées à l'information et à l'organisation du texte n'ont toutefois pas eu la même importance pour les deux.

Au cours de l’histoire constitutionnelle française, l’expression « pouvoir constituant » a toujours été ambivalente. Sous la plume des juristes et des théoriciens ou professée à la tribune des assemblées politiques, elle n’a cessé de désigner, indistinctement, l’organe constituant ou la fonction constituante. Si la diversité des situations offertes par le premier cas a été facilement et rapidement acceptée (exercice du pouvoir constituant par une assemblée, par une personne, par le corps électoral), le second a longtemps véhiculé une alternative passée sous silence entre la rédaction et la modification de la constitution. Malgré l’utilisation du vocable « pouvoir de révision » par Georges Burdeau en 1930 ou la distinction pérenne de Roger Bonnard entre un pouvoir constituant originaire et un pouvoir constituant dérivé, la vision unitaire de la fonction du pouvoir constituant s’est imposée jusqu’à nous. Cela étant, une autre acception de la fonction constituante, selon qu’elle instaure ou qu’elle modifie l’ordre juridique, permet une relecture de l’histoire constitutionnelle française, jamais entreprise sous cet angle. Celle où, d’une part, le « pouvoir constituant » est cantonné à, et ne désigne que, la fonction de fondation de l’ordre juridique, et où d’autre part, le « pouvoir de révision », prévu ou non par le texte constitutionnel, a pour fonction de protéger et d’améliorer la Constitution. / No abstract

Cette recherche-action a pour objectif de mesurer les impacts d'une expérimentation de la révision collaborative étayée en didactique de la production écrite en langues étrangères. Un dispositif d'enseignement de la révision collaborative a été élaboré et expérimenté pendant un semestre dans une classe de vingt-deux étudiants vietnamiens de français langue étrangère. Dans la classe expérimentale, les textes ont été révisés par le pair à l'aide d'une grille de révision collaborative, puis réécrits et corrigés par l'enseignant. Dans la classe de contrôle, les textes ont été écrits une fois et révisés par l'enseignant. Un corpus de textes et rétroactions, des interactions orales entre pairs, des tests, un questionnaire d'auto-évaluation, des entretiens semi-directifs ont été recueillis comme données. Les résultats montrent des impacts significatifs de la révision collaborative étayée sur les stratégies de révision, sur la qualité de la cohérence dans les textes et sur la relation entre le rédacteur et le lecteur. Ce nouveau mode d'apprentissage a été bien évalué par les étudiants.

L'acquisition et la représentation des connaissances est un aspect central dans le domaine de l'Intelligence Artificielle car une machine intelligente doit avant tout s'appuyer sur des informations représentant le monde de façon suffisamment précise. Cette difficulté à disposer d'une représentation correcte du monde est particulièrement importante lorsque l'on a à faire à un monde changeant ou à des informations provenant de sources multiples. Nous proposons dans cette thèse une méthode de fusion syntaxique de croyances dans le cas où les croyances sont représentées dans le cas où il n'existe pas de priorités explicites ni entre les agents, ni entre les croyances exprimées par les agents. Cette méthode, appelée fusion par R-ensembles, repose sur la recherche des sous-ensembles de formules à retirer afin de restaurer la cohérence. Nous avons réalisé une mise en œuvre de cette méthode basée sur la traduction du problème de fusion en un programme logique avec sémantique des modèles stables. Nous avons d'abord proposé deux implantations : une adaptation de l'algorithme smodels ainsi qu'une autre implantation basée sur les instructions fournies par Lparse/Gringo. Nous avons testé cette dernière implantation avec des expérimentations portant sur des profils de croyances générés aléatoirement ainsi que sur les données issues d'un projet européen portant sur le relevé en archéologie sous-marine. Dans un deuxième temps, cette thèse propose une extension de la fusion par R-ensembles dans deux directions. Nous nous sommes ainsi intéressés au cas où des préférences sont exprimées entre les agents ou entre les croyances exprimées par chaque agent. Nous nous sommes également penchés sur le cas où les croyances sont exprimées sous forme de programmes logiques.

L'essence de cette thèse est de produire des théorèmes de représentation et d'impossibilité pour des familles de relations de conséquence et d'opérateurs de révision. Dans un premier temps, on s'intéressera à des relations de conséquence préférentielles (au sens de Kraus, Lehmann et Magidor) et pivotantes (au sens de Makinson). Ce sont des relations plausibles (les premières ne sont pas monotones, les secondes si) conçues pour traiter des informations incomplètes. On les étudiera dans des cadres paraconsistants tels que celui de la logique de Belnap, ce qui les rendra aussi utiles pour traiter des informations incohérentes. En seconde partie, on s'intéressera à une approche à la révision des croyances introduite par Lehmann, Magidor et Schlechta. Elle est basée sur des distances entre interprétations et présente l'avantage de définir des opérateurs de révision qui se comportent bien en cas d'itération.

Ce travail s'inscrit dans le cadre de la formalisation des connaissances pour l'échange de données dans le domaine du Commerce Électronique. Cette formalisation basée sur la Logique de Description (LD) a pour objectif d'établir la transparence sémantique de l'échange de données entre des acteurs de profil différent. Lorsque les connaissances sont formalisées dans les ontologies des acteurs, la transparence sémantique de l'échange de données peut être assurée par la transformation des ontologies en question. Généralisées à partir des problèmes posés dans les modèles d'échanges en usage, deux instances du problème de transparence sémantique (PTS) sont formulées comme des inférences permettant de transformer des ontologies. La première instance du problème porte sur l'échange de données sans contexte entre deux acteurs qui utilisent deux ontologies représentées par deux langages LD différents. Cette instance peut se réduire au calcul d'équivalence ou d'approximation sémantique d'un terme défini dans l'ontologie de l'expéditeur et ce terme est inexprimable dans l'ontologie du destinataire. En se basant sur un algorithme existant pour ce calcul, un optimal algorithme qui améliore la performance de l'algorithme existant en terme d'espace, est introduit. La deuxième instance du problème porte sur l'échange de données dans lequel les informations contextuelles représentées comme les règles de contexte sont prises en compte. Afin de formaliser ces règles de contexte, la révision d'une ontologie et les règles de révision devraient être introduites dans les ontologies. Une partie importante de ce travail étudie la révision d'une ontologie basée sur la LD et développe les algorithmes pour les opérations de révision et pour la procédure d'extension de la base de connaissances déclenchée par les règles de révision. Enfin, le projet ONDIL (ONtology DesIgn Layers) est présenté comme un prototype qui implémente les algorithmes développés et dont un champs d'application est la conception et la maintenance des ontologies dans le secteur de la construction.