Ce mémoire propose un système permettant de suivre, à l'aide d'un ordinateur domestique et d'un microphone, une partition de musique jouée par un musicien. Le système utilise en entrée une partition de musique et le signal audio numérique monophonique de la partition de musique jouée par le musicien. Contrairement aux systèmes habituels, le système proposé donne la liberté au musicien de jouer différents segments de la partition de musique dans l'ordre qu'il le désire, et ce, sans préalablement informer le système de ses intentions. Pour ce faire, le système propose une variante de l'algorithme de la déformation dynamique du temps ( Dynamic Time Warping ) utilisant des notions musicales pour effectuer le suivi. Il est à noter que la complexité du système est suffisamment faible pour qu'un ordinateur domestique récent puisse suivre le musicien pendant que celui-ci joue la partition de musique, et ce, avec un délai constant de quelques notes de musique.

Le mémoire vise à dégager le lien entre la connaissance scientifique et les interactions politiques décrit par Otto Neurath à travers son oeuvre. Pour ce faire, il est nécessaire de présenter l'empirisme logique de Neurath dans certaines de ses spécificités, puis d'évaluer comment cette approche épistémique est indissociable de questions politiques et sociales. Après avoir explorés [i.e. exploré] certaines caractéristiques du modèle épistémique formulé par Neurath, on s'intéressera plus spécifiquement à la question de l'unité de la science, à travers laquelle on peut saisir plusieurs des préoccupations fondamentales de Neurath comme l'articulation de la connaissance à l'action, les limites de la connaissance relatives aux limites du langage et les limites de la connaissance relatives aux limites pratiques de l'action. Dans un deuxième temps, on pourra comprendre comment cette conception de la science et de la connaissance est élaborée dans la perspective d'une utilisation démocratique de la connaissance. L'intérêt de Neurath est de considérer l'utilité de la science dans l'espace public non seulement quant à l'apport d'informations qu'elle permet, mais aussi des outils discursifs utiles à un processus décisionnel rationnel, démocratique et transparent. Il faudra cependant considérer les limites de tels outils en rappelant les questions relatives aux limites de la science, les liens entre ces limites, la forme de pluralisme politique impliquée, et le caractère lui-même politique de l'activité scientifique. On pourra finalement évaluer le potentiel politique du langage empirique proposé par Neurath comme part constituante de la délibération démocratique. Si le verdict est positif, on pourra alors admettre la valeur éthique de la normativité épistémique pragmatiste proposée par Neurath.

Le nombre d'immigrants en emploi au Québec est appelé à s'accroitre de façon significative. Or, les différences culturelles peuvent occasionner des difficultés d'ajustement en entreprise, autant chez les immigrants que chez les non-immigrants. Une meilleure compréhension des orientations culturelles québécoises peut certainement faciliter cet ajustement mutuel. À travers l'expérience quotidienne de travailleurs migrants et de gestionnaires natifs du Québec travaillant avec des immigrants, des orientations culturelles québécoises plus prégnantes sont identifiées: participation, simplicité, autorité intériorisée, autonomie, consensus, féminité, individualisme, monochronie, court terme, action rapide, qualité du travail, communication explicite et peu émotionnelle, distance physique entre les interlocuteurs. Une tentative de compréhension et d'explication de ces orientations culturelles est menée à travers des éléments de nature historique de la culture nationale québécoise : une unité politique plutôt tenue en échec, une économie communautaire et libérale, une religion catholique majoritaire, une structure familiale qui privilégie un seul héritier, un courant culturel de type communautaire-tribal et national-marchand dominant. De là, sont proposées des réflexions pour la formation de personnes immigrantes et de gestionnaires québécois à l'influence de la culture nationale québécoise en emploi.

Les humains raisonnent souvent en présence d'informations contradictoires. Dans cette thèse, j'ébauche une axiomatisation du sens commun sous-jacent à ce raisonnement dit paraconsistant. L'implémentation de cette axiomatisation dans les ordinateurs autonomes sera essentielle si nous envisageons de leur déléguer des décisions critiques ; il faudra également vérifier formellement que leurs réactions soient sans risque en toute situation, même incertaine. Une situation incertaine est ici modélisée par une base de connaissances probabilistes éventuellement inconsistante ; c'est un multi-ensemble de contraintes éventuellement insatisfiable sur une distribution de probabilité de phrases d'un langage propositionnel, où un niveau de confiance peut être attribué à chaque contrainte. Le principal problème abordé est l'inférence de la distribution de probabilité qui représente au mieux le monde réel, d'après une base de connaissances donnée. Les réactions de l'ordinateur, préalablement programmées puis vérifiées, seront déterminées par cette distribution, modèle probabiliste du monde réel. J.B. Paris et al. ont énoncé un ensemble de sept principes, dit de sens commun, qui caractérise l'inférence dans les bases de connaissances probabilistes consistantes. Poursuivant leurs travaux de définition du sens commun, je suggère l'adhésion à de nouveaux principes régissant le raisonnement dans les bases inconsistantes. Ainsi, je définis les premiers outils théoriques fondés sur des principes pour raisonner de manière probabiliste en tolérant l'inconsistance. Cet ensemble d'outils comprend non seulement des mesures de dissimilarité, d'inconsistance, d'incohérence et de précision, mais aussi un processus d'inférence coïncidant avec celui de J.B. Paris dans le cas consistant. Ce processus d'inférence résout un problème de la théorie du vote, c'est-à-dire l'obtention d'un consensus parmi des opinions contradictoires à propos d'une distribution de probabilité telle que la répartition d'un investissement financier. Finalement, l'inconsistance n'est qu'une forme d'incertitude qui ne doit pas entraver notre raisonnement, ni celui des ordinateurs : peut-être qu'une plus grande confiance leur sera accordée s'ils fondent leurs décisions sur notre sens commun.

Cette thèse aborde des sujets liés à la théorie des automates, à la logique et à la théorie des jeux. Ces thèmes sont au cœur de l'informatique théorique depuis de nombreuses décennies. Les travaux de recherche dans ces domaines sont motivés entre autres par des questions de modélisation et de vérification de systèmes. La première partie de la thèse considère les automates finis et la logique temporelle sur des ordres linéaires arbitraires. On y donne une procédure (doublement exponentielle en espace) pour décider la satisfaisabilité d'une formule LTL, utilisant une étape de transformation d'une formule logique en un transducteur synchrone. La seconde partie s'intéresse à des jeux de longueur ordinale. On propose un modèle de jeux à deux joueurs sur des graphes finis, et on montre que la question du vainqueur pour ces jeux peut être résolue en espace polynomial. De plus, on montre qu'il existe des stratégies gagnantes à mémoire finie.

.

.

.

.

.