Approche logique de grammaires pour les langues naturelles

Les contributions majeures de cette thèse s’articulent autour des trois axes de base de la linguistique computationnelle, à savoir la logique, la linguistique et l’informatique. Nous proposons ainsi un nouveau système non-directionnel GLE permettant de simuler les opérations transformationnelles du Programme Minimaliste dans un cadre logique qui fait appel au raisonnement hypothétique de manière contrôlée. La pertinence de ce formalisme est soulignée en montrant sa capacité de prendre en charge des phénomènes linguistiques complexes, nécessitant un partage contraint de ressources, tels que le liage d’anaphores ou la résolution d’ellipse. En outre, nous présentons un atelier logique ICHARATE destiné à la recherche et l’enseignement de la linguistique computationnelle. Cet outil est composé de bibliothèques pour l’assistant à la démonstration Coq, qui comprennent la formalisation de systèmes logiques avancés dédiés au traitement des langues naturelles, dont la logique multimodale.The major contributions of this thesis are articulated around the three basic axes of computational linguistics, namely logic, linguistics and computer science. We propose a new undirected system GLE which allows to simulate the transformational operations of Minimalist Program within a logical setting. The relevance of this formalism is underlined by showing its ability to deal with complex linguistic phenomena, requiring constrained resource sharing, such as anaphora binding or ellipsis resolution. Moreover, we present a logical framework ICHARATE intended for the study of computational linguistics. This tool is composed of libraries, built upon the Coq proof assistant, which include the formalization of advanced logical systems dedicated to natural language analysis, such as multimodal logic

La botanique (adaptée) pour les femmes dans la Bibliothèque universelle des dames

In 1786 there appeared two volumes in the collection Bibliothèque universelle des dames which formed an elementary course of botany addressed to women. The course was based on Démonstrations élémentaires de botanique (Lyon, 1766), written by Marc-Antoine-Louis Claret of Flerieu de La Tourrette (in collaboration with François Rozier) for the use of students of the Royal Veterinary School. The purpose of this paper is to describe the way in which the authors adapted the botanical content for female readers.In 1786 there appeared two volumes in the collection Bibliothèque universelle des dames which formed an elementary course of botany addressed to women. The course was based on Démonstrations élémentaires de botanique (Lyon, 1766), written by Marc-Antoine-Louis Claret of Flerieu de La Tourrette (in collaboration with François Rozier) for the use of students of the Royal Veterinary School. The purpose of this paper is to describe the way in which the authors adapted the botanical content for female readers

Approche contrastive franco-comorienne : les séquences figées à caractère adjectival.

As in French, there are a significant number Comorian of fixed adjectival sequences that the use only oral. Adjectival these sequences have never been studied. They are remarkable subtype Prep N, Adj as Det N (the angels, thick as a brick…). These predicative adjectives to express a complex shape condition and the pronominalisables. They may be analyzed as predicative adjectives in that they have the same syntax as simple adjectives property they are compatible as well as the epithet that the attribute position. The morpho-syntactic analysis and semantic analysis of the adjectival sequences allow us to understand their fixed character meets two conditions congealing: polylexicaux and they have a certain degree of fossilization, the second condition can be demonstrated the fact that you can not replace a word with another word. In our study contrastive Franco-Comorian, we conducted an exhaustive survey of adjectival phrases from Comoros and established a typology of adjectival predicates using the same principles as for the French.Tout comme en français, il existe en comorien un nombre important de séquences adjectivales qui s’utilisent uniquement à l’oral. Ces adjectifs à forme complexe n’ont jamais fait l’objet d’études dans le milieu linguistique comorien. Ils sont remarquables du sous-type Prép N : harimwa ra narenga et A hama N : mudu hama izinga. Ils expriment un état et sont pronominalisables. Ils sont susceptibles d’être analysés comme des adjectifs prédicatifs par le fait qu’ils ont la même propriété syntaxique que les adjectifs simples : ils sont compatibles avec la position épithète aussi bien que la position attribut.L’analyse morphosyntaxique et l’analyse syntactico-sémantique de ces adjectifs complexes en emploi prédicatif permettent de comprendre que leur caractère figé répond aux deux conditions du figement : ils sont polylexicaux et sont dotés d’un certain degré de figement, la deuxième condition peut être mise en évidence du fait que, dans ra narenga, on ne peut pas substituer narenga par un autre élément. Ali nge harimwa ra narenga, *Ali nge harimwa ra nauvura.Dans cette étude contrastive franco-comorienne, nous avons procédé à un recensement exhaustif des locutions adjectivales du comorien et établi une typologie de ces prédicats adjectivaux en utilisant les mêmes principes que pour le français

Ibn al-Baytār et ses apports à la botanique et à la pharmacologie dans le Kitāb al-Ğāmï.

"Traduit de l'espagnol par Claude Lanly"Couronnement de la littérature botanique et pharmacologique arabe, le Kitāb al-Gami' fut composé par Ibn al-Baytār, originaire de Malaga et mort en 1248. Conservé dans plus de 80 manuscrits (dont la liste est donnée en annexe), ce dictionnaire alphabétique des aliments et des médicaments d'origine végétale, animale et minérale compile, de manière méthodique et critique, des sources grecques, persanes et arabes, tout en intégrant la riche expérience pratique de l'auteur, qui parcourut tout le monde musulman et y a herborisé en compagnie de disciples. La richesse du matériau rassemblé par Ibn al-Baytār se révèle notamment dans les parties initiales de ses notices, qui sont ici longuement analysées.Ibn al-Baytār and his Contributions to Botany and Pharmacology in the Kitāb al-Gami' - The crowning achievement of Arab botanical and pharmacological literature, the Kitāb al-Gami' was composed by Ibn al-Baytār, a native of Malaga who died in 1248. Conserved in over 80 manuscripts (listed here in the annex), this alphabetical dictionary of foods and medicines of vegetable, mineral or animal origin, compiles, in a methodical and critical manner, Greek, Persian and Arab sources, and at the same time integrates the author's wealth of practical experience. He travelled the entire Moslem world and gathered herbs in the company of his followers. The wealth of material assembled by Ibn al-Baytâr is revealed notably in the initial parts of his entries, which are analyzed here at length

Regards scientifiques croisés sur le changement global et le développement: Langue, environnement, culture : Actes du Colloque international de Ouagadougou (8-10 mars 2012)

International audienceLes thèmes de la langue, de l'environnement et de la culture sont fréquemment abordés de manière distincte et séparée pour montrer comment ils structurent les territoires et les communautés humaines. Entièrement consacré aux liens et interactions qui peuvent exister entre les différents champs des sciences de l'homme, de la société et de l'environnement, le Colloque international de Ouagadougou interrogeait les notions de culture et de développement dans le contexte du changement global en croisant le regard de plusieurs disciplines. Dans une visée plus appliquée, il avait aussi l'ambition de fournir des pistes utiles à ceux qui, s'engageant dans des actions de développement, souhaitent pouvoir s'appuyer sur des données scientifiques relatives à la culture et au changement global. Sous le titre Langue, environnement et culture : les enjeux de la recherche pluridisciplinaire pour un développement durable des territoires, un appel avait été lancé sur trois grandes thématiques : (i) diverses mosaïques à l'aune des changements globaux, (ii) pratiques locales et chemins de traverse entre disciplines et (iii) le culturel : de la recherche à l'action. Ce colloque était ouvert à des études véritablement pluridisciplinaires, à des études de disciplines différentes portant sur un même objet et à des travaux qui, n'ayant pas été conçus au départ dans une optique interdisciplinaire, portaient un intérêt marqué pour un champ autre que celui que l'auteur pratique principalement. Enfin, à un niveau supérieur, il avait l'ambition de rechercher les connexions entre sciences, aide au développement et/ou politiques linguistiques