Nous présentons dans cette thèse les définitions et notations liées aux systèmes de fermeture et montrons leur relation avec les théories de Horn. Nous nous intéressons ensuite à trois opérations sur les systèmes de fermeture : la borne supérieure, la borne inférieure et la différence. Nous proposons une caractérisation de ces différentes opérations selon la représentation des systèmes de fermeture que nous considérons. On s'intéresse ensuite au problème de génération d'une base d'implications mixtes d'un contexte formel. Nous étudions ce problème lorsque la donnée prise en considération est constituée des bases d'implications génériques positives et négatives de ce contexte. Trois résultats majeurs sont présentés : l'apport de propriétés et de règles d'inférence pour déduire des implications mixtes, l'impossibilité de générer une base d'implications mixtes juste et complète à partir de ces données dans le cas général, et la faisabilité dans le cas où le contexte est considéré réduit.

Après une rapide présentation des systèmes d'assemblage et des différentes représentations des processus d'assemblage, ce travail de recherche présente plus précisément trois grands types de modélisation : les graphes d'assemblage, les graphes de précédence et les ASTD. Les graphes de précédence étant très utilisés avec les méthodes d'équilibrage ou de conception des lignes d'assemblage, l'objectif de ce travail est de proposer une méthode de génération des graphes de précédence simple et efficace à partir d'un ensemble de graphes d'assemblage préalablement établis. Deux méthodes de génération de graphe de précédence sont proposées dans ce travail : une par transformation de graphes et une directement basée sur la logique booléenne. La méthode par transformation de graphes permet d'obtenir un graphe de précédence si l'ensemble des séquences d'enchaînement peut être représenté par un unique graphe de précédence. Dans le cas contraire, avec les améliorations apportées à la méthode, il est possible d'obtenir soit un ensemble de graphes de précédence soit un hypergraphe de précédence. La deuxième de ces méthodes permet d'obtenir directement un ensembl e de graphes de précédence ou d'hypergraphes de précédence selon le niveau de complexité du problème. Un calcul des complexités des algorithmes respectifs montre qu'ils sont polynomiaux.

Le travail de thèse présenté dans ce document porte sur la conception d'un service de validation et d'enrichissement d'annotations pour un outil industriel de gestion des connaissances basé sur le langage des Topic Maps (TM). Un tel service nécessitant la mise en oeuvre de raisonnements sur les connaissances, il a été nécessaire de doter le langage des TM d'une sémantique formelle. Ceci a été réalisé par l'intermédiaire d'une transformation réversible des TM vers le formalisme logique des graphes conceptuels qui dispose d'une représentation graphique des connaissances (les TM pouvant facilement en être munie d'une). La solution a été mise en oeuvre dans deux applications, l'une conçue pour la veille médiatique et l'autre pour la promotion de ressources touristiques. Schématiquement, des annotations sont extraites automatiquement des documents selon le domaine concerné (actualité/économie ou tourisme) puis ajoutées à la base de connaissances. Elles sont ensuite fournies au service d'enrichissement et de validation qui les complète de nouvelles connaissances et décide de leur validité, puis retourne à la base de connaissance le résultat de l'enrichissement et de la validation.

Partant des travaux séminaux de Boole, Frege et Russell, le mémoire cherche à clarifier l‟enjeu du pluralisme logique à l‟ère de la prolifération des logiques non-classiques et des développements en informatique théorique et en théorie des preuves. Deux chapitres plus « historiques » sont à l‟ordre du jour : (1) le premier chapitre articule l‟absolutisme de Frege et Russell en prenant soin de montrer comment il exclut la possibilité d‟envisager des structures et des logiques alternatives; (2) le quatrième chapitre expose le chemin qui mena Carnap à l‟adoption de la méthode syntaxique et du principe de tolérance, pour ensuite dégager l‟instrumentalisme carnapien en philosophie de la Logique et des mathématiques. Passant par l‟analyse d‟une interprétation intuitive de la logique linéaire, le deuxième chapitre se tourne ensuite vers l‟établissement d‟une forme logico-mathématique de pluralisme logique à l‟aide de la théorie des relations d‟ordre et la théorie des catégories. Le troisième chapitre délimite le terrain de jeu des positions entourant le débat entre monisme et pluralisme puis offre un argument contre la thèse qui veut que le conflit entre logiques rivales soit apparent, le tout grâce à l‟utilisation du point de vue des logiques sous-structurelles. Enfin, le cinquième chapitre démontre que chacune des trois grandes approches au concept de conséquence logique (modèle-théorétique, preuve-théorétique et dialogique) forme un cadre suffisamment général pour établir un pluralisme. Bref, le mémoire est une défense du pluralisme logique. / Starting from the seminal work of Boole, Frege and Russell, the dissertation seeks to clarify the issue of logical pluralism in the era of the proliferation of non-classical logics and the developments in theoretical computer science and proof theory. Two “historical” chapters are scheduled: the first chapter articulate the absolutism of Frege and Russell, taking care to show how it condemns the possibility to consider alternative structures and logics; the fourth chapter describes the path that led Carnap from the adoption of the syntactic method to the formulation of the principle of tolerance, then goes on to display Carnap‟s instrumentalism in philosophy of Logic and mathematics. Opening with the analysis of an intuitive interpretation of linear logic, the second chapter then turns to the establishment of a form of logico-mathematical pluralism with the help of order theory and category theory. The third chapter delineates the playground of revisionism (philosophical positions surrounding the debate between monism and pluralism) and then provides an argument against the thesis that denies the reality of the conflict between rival logics, all this being done by adopting the substructural logic point of view. The fifth chapter shows that each of the three main approaches to the concept of logical consequence (model-theoretic, proof-theoretic and dialogical) supplies a framework sufficiently general to establish pluralism. In short, the dissertation is a defence of logical pluralism.

Le vieillissement de la personne implique généralement un déclin des fonctions cognitives et physiques pouvant apporter des risques dans la vie de tous les jours. Les personnes âgées tendent à vouloir rester vivre chez elles le plus longtemps possible, afin de conserver un sentiment d’indépendance. Cependant, cette volonté peut nécessiter des aménagements au domicile de la personne, afin d’assurer sa sécurité et rassurer son entourage. Cette sécurité passe notamment par la cuisine, qui est un lieu à haut risque. Un incendie peut facilement se déclarer si la personne âgée n’est pas assez attentive à ce qu’elle cuisine, tout comme la personne peut se brûler ou être intoxiquée par les émanations de fumées. Pour pallier à cette problématique de l’utilisation de la cuisinière par une personne âgée, nous proposons Inovus, un système permettant la prévention des risques majeurs liés à l’utilisation de la cuisinière, ainsi que des méthodes d’interventions pour avertir et protéger la personne de ces risques. Inovus regroupe un ensemble de capteurs surveillant des paramètres critiques liés à l’utilisation d’une cuisinière, dans le but de prévenir efficacement les trois risques majeurs identifiés, à savoir les incendies, les brûlures et les intoxications. Pour ces trois risques, un niveau de dangerosité est défini grâce à un module de raisonnement et un ensemble de règles linguistiques. En se basant sur ces niveaux de risque, Inovus va déterminer quelles sont les interventions à effectuer auprès de la personne pour l’avertir des risques et la protéger le plus efficacement possible. Ces interventions sont déterminées grâce à module de raisonnement qui évalue le niveau de risque auquel la personne est confrontée et décide des interventions les plus appropriées. Les interventions développées sont sensibles au contexte et à l’activité de la personne. En fonction de la position de la personne dans son domicile et du niveau de risque déterminé, les interventions s’effectueront au niveau de la cuisinière ou bien dans le reste du domicile. Plusieurs méthodes d’interventions sont proposées afin de s’assurer que la personne soit efficacement avertie des risques. Des interventions d’ordre lumineuses et sonores servent principalement à avertir la personne des risques. De plus des interventions sur les appareils intelligents de la personne sont également proposées afin de l’informer de la situation.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Cette thèse se concentre autour du problème de l'évaluation des requêtes. Étant donné une requête q et une base de données D, l'objectif est de calculer l'ensemble q(D) des uplets résultant de l'évaluation de q sur D. Toutefois, l'ensemble q(D) peut être plus grand que la base de données elle-même car elle peut avoir une taille de la forme n^l où n est la taille de la base de données et l est l'arité de la requête. Calculer entièrement q(D) peut donc nécessiter plus que les ressources disponibles. L'objectif principal de cette thèse est une solution particulière à ce problème: une énumération de q(D) avec un délai constant. Intuitivement, cela signifie qu'il existe un algorithme avec deux phases: une phase de pré-traitement qui fonctionne en temps linéaire dans la taille de la base de données, suivie d'une phase d'énumération produisant un à un tous les éléments de q(D) avec un délai constant (indépendant de la taille de la base de données) entre deux éléments consécutifs. En outre, quatre autres problèmes sont considérés: le model-checking (où la requête q est un booléen), le comptage (où on veut calculer la taille |q(D)|), les tests (où on s'intéresse à un test efficace pour savoir si un uplet donné appartient au résultat de la requête) et la j-ième solution (où on veut accéder directement au j-ième élément de q(D)). Les résultats présentés dans cette thèse portent sur les problèmes ci-dessus concernant: - les requêtes du premier ordre sur les classes de structures de degré borné, - les requêtes du second ordre monadique sur les classes de structures de largeur d'arborescente bornée, - les requêtes du premier ordre sur les classes de structures avec expansion bornée. / This thesis is concentrated around the problem of query evaluation. Given a query q and a database D it is to compute the set q(D) of all tuples in the output of q on D. However, the set q(D) may be larger than the database itself as it can have a size of the form n^l where n is the size of the database and l the arity of the query. It can therefore require too many of the available resources to compute it entirely. The main focus of this thesis is a particular solution to this problem: a scenario where in stead of just computing, we are interested in enumerating q(D) with constant delay. Intuitively, this means that there is a two-phase algorithm working as follows: a preprocessing phase that works in time linear in the size of the database, followed by an enumeration phase outputting one by one all the elements of q(D) with a constant delay (which is independent from the size of the database) between any two consecutive outputs. Additionally, four more problems related to enumeration are also considered in the thesis. These are model-checking (where the query q is boolean), counting (where one wants to compute just the size |q(D)| of the output set), testing (where one is interested in an efficient test for whether a given tuple belongs to the output of the query or not) and j-th solution (where, one wants to be able to directly access the j-th element of q(D)). The results presented in the thesis address the above problems with respect to: - first-order queries over the classes of structures with bounded degree, - monadic second-order queries over the classes of structures with bounded treewidth, - first-order queries over the classes of structures with bounded expansion.

Notre projet de recherche consiste à analyser les relations étroites qu’entretiennent la logique juridique et le raisonnement probabiliste dans la constitution du calcul des probabilités, c’est à dire depuis son origine au XVIIe siècle jusqu’au siècle des Lumières.L’étude de la logique juridique pousse inévitablement à examiner les rapports entre logique et rhétorique, et à repenser la rhétorique à la lumière de son incontournable rôle logique et, de même, à montrer que toute étude sur la logique juridique doit passer inévitablement par l’étude de la logique de l’argumentation.J'ai montré, contre la thèse qui réduit le raisonnement juridique à une simple rhétorique, que celui-ci répond à une exigence de vérité, ce qui exige de repenser la relation essentielle entre logique et rhétorique dans le champ juridique. La logique ici mobilisée est une logique de la probabilité, laquelle est appropriée à la rationalité pragmatique.C’est du même coup la relation entre logique juridique et logique probabiliste qui se trouve interrogée, à la fois dans une perspective historique, mais surtout du point de vue de philosophie de la science, puisque ces éléments constituent un bon point de départ pour se poser la question de la signification de la gnoséologie et, plus largement, de la validité des théories gnoséologiques. Mais pas seulement : en effet, nombre de philosophes contemporains des sciences ont mis l’accent sur le rôle des métaphores humanistes et des « sciences humaines » dans le développement des théories scientifiques.C’est en quoi consistent l’actualité de ces études et l’utilité de ces questions qui sont intéressantes parce qu’elles se posent à la limite entre la philosophie des sciences et la philosophie morale, brisant ainsi l’ancien dualisme qui a fait écran à la théorie de la connaissance pendant des siècles et qui a encore ses défenseurs dans le monde de certains philosophes analytiques.Nous avons donc montré que logique juridique et logique probabiliste peuvent être considérées comme des paradigmes gnoséologiques tout à fait nouveaux. / When I started to study the relationship between legal logic and probabilistic logic, I immediately realized that this relationship could not really be understood without investigating more specifically the link logic-rhetoric included in it. A long philosophical tradition has accustomed us to consider the legal logic as essentially tied to the rhetoric and the latter as completely detached from the logic.With the word "rhetoric" we usually refers to the '"art of speaking well." But ρητορική τέχνη (retoriké tekne) that arises in the fifth century BC on empirical grounds of the art court has, from its birth, a practical purpose : it wants to be an instrument of persuasion, and the medium he uses is the εικός (eikόs), the plausible. One of the foundations of Greek logic is thus to be found on the empirical grounds of judicial logic. But even if the rhetoric was born with practical and not theoretical purposes, however, this fact requires a study of argumentation theory and its evidence, apart from the prejudice that, even if logic and rhetoric are both related to the argument, the logic should deal with the correct arguments while rhetoric deals with only persuasive arguments.Through historical and logical analysis drawn from Aristotle and which comes to consider the positions of prominent contemporary scholars such as Giuliani, Taruffo, Capozzi, Cellucci, Spranzi, etc., in this article I will show that, instead, logic and rhetoric have a strong bond which should be rethought so as to better understand the essence of legal logic, but also because the break of dualism logical-rhetoric can open much wider perspectives of reflection. Particularly I refer to the reflection of logical and moral relationship that, in turn, would lead us to reflect on the opposition between mind and body. In fact, when we turn a look at the history of logic, we will realize that, since ancient times, there were no sharp and radicals divisions between logical and rhetorical field and that, even in modern times, it is possible to draw a line of continuity between the field of rigorous proof and the field of demonstration of rhetoric, thanks to the recognizable theoretical role of metaphor.