Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teoremas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi. Listamos abaixo algumas das contribuições deste trabalho: * um sistema KE para mbC que é analítico, correto e completo; * um sistema KE para mCi que é correto e completo; * um provador de teoremas multi-estratégia com as seguintes características: - aceita problemas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi; - tem seis estratégias implementadas para lógica clássica proposicional, duas para mbC e duas para mCi; - tem treze ordenadores que são usados em conjunto com as estratégias; - implementa regras simplificadoras para lógica clássica proposicional; - possui uma interface gráfica que permite a visualização de provas; - é de código aberto e está disponível na Internet em http://kems.iv.fapesp.br; * benchmarks obtidos através da comparação das estratégias para lógica clássica proposicional resolvendo várias famílias de problemas; - sete famílias de problemas para avaliar provadores de teoremas paraconsistentes; * os primeiros benchmarks para as famílias de problemas para avaliar provadores de teoremas paraconsistentes. / In this thesis we present the design and implementation of KEMS, a multi-strategy theorem prover based on the KE tableau inference system. A multi-strategy theorem prover is a theorem prover where we can vary the strategy without modifying the core of the implementation. Besides being multi-strategy, KEMS is capable of proving theorems in three logical systems: classical propositional logic, mbC and mCi. We list below some of the contributions of this work: * an analytic, correct and complete KE system for mbC; * a correct and complete KE system for mCi; * a multi-strategy prover with the following characteristics: - accepts problems in three logical systems: classical propositional logic, mbC and mCi; - has 6 implemented strategies for classical propositional logic, 2 for mbC and 2 for mCi; - has 13 sorters to be used alongside with the strategies; - implements simplification rules of classical propositional logic; - provides a proof viewer with a graphical user interface; - it is open source and available on the internet at http://kems.iv.fapesp.br; * benchmark results obtained by KEMS comparing its classical propositional logic strategies with several problem families; * seven problem families designed to evaluate provers for logics of formal inconsistency; * the first benchmark results for the problem families designed to evaluate provers for logics of formal inconsistency.

As Lógicas de Descrição são usadas como base para a linguagem OWL, padrão para representação de ontologias na web. No entanto, conhecimento não é estático e, com tal dinamismo, o estudo de revisão de crenças e sua correta e adequada aplicação tornam-se muito importantes. Neste trabalho, pretendemos desenvolver uma ferramenta para revisão de ontologias como um plug-in para o Protégé, o editor de ontologias mais utilizado atualmente. / Description Logics are the basis for OWL language, which is the standard to represent ontologies on the web. However, knowledge is usually not satic and its dynamics brings the importance of belief revision and its correct and proper application. In this work, we intend to develop a tool for revising ontologies as a plug-in for Protégé, the most used ontology editor nowadays.

Notre recherche propose d’appréhender la « mise en dispositif », au sens de Foucault (1977), de projets de polarisation territoriale dans le champ de l’économie sociale et solidaire (ESS). Nous nous appuyons sur une analyse multi-niveaux qui se décline sous la forme d’une enquête qualitative nationale sur l’élaboration du dispositif Pôle Territorial de Coopération Economique (PTCE) et de deux études de cas. Nous mobilisons la grille d’analyse du travail institutionnel pour cerner les pratiques mises en œuvre par les pôles pour s’approprier le dispositif dans un contexte de pluralisme institutionnel. Deux niveaux de résultats sont proposés. Le premier revient à éclairer le phénomène de banalisation du dispositif PTCE, qui est d’abord caractérisé par une logique civique de développement territorial alternatif, qui se voit ensuite remplacée par une logique gestionnaire de normalisation de l’ESS. Le second consiste à caractériser les modalités d’appropriation de ce dispositif à l’échelle méso. Il en ressort que le PTCE qui parvient à survivre et à se développer est celui qui hybride les logiques civique et gestionnaire. Le second PTCE, très façonné par la logique civique, ne parvient pas à pérenniser son activité et suscite un rejet du dispositif, dont il ne partage aucunement l’intention stratégique. Conjuguer une posture critique à une analyse néo-institutionnaliste nous permet de dégager plusieurs apports théoriques. (1) La montée en généralité nous amène à dessiner les contours conceptuels d’un nouveau type de dispositif que nous qualifions de normalisateur. (2) Nous mettons en évidence un nouveau type de pratiques : celles qui ont trait à la résistance institutionnelle. / Our research focuses on the adoption of a dispositive (Foucault, 1977) destinated to territorial polarization projects in the field of social and solidarity economy. We build on a multi-scalar approach which consists in a qualitative national survey of the construction of the Territorial Cluster for Economic Cooperation policy and two case studies of two of these clusters. We build on the institutional work theory to characterize the practices deployed by the two TCECs in order to appropriate the dispositive in a context of institutional pluralism. Two levels of results are proposed. The first one sheds light on the banalisation process of the TCEC dispositive at the national level, which is first dominated by a civic logic of alternative territorial development that is then effaced by a a managerial logic of normalization of SSE. The second level of results consists in characterizing the modalities of appropriation of this dispositive at the meso scale of the two clusters analysed. It appears that the TCEC which manages to survive and develop is the one that hybridizes the civic and managerial logics. The other one, particularly shaped by the civic logic, doesn’t manage to perpetuate its activities and implies a reject of the dispositive, since it doesn’t share its strategic intention. Combining a critical approach and a neo-institutionalist analysis leads to several theoretical contributions. (1) We draw the outlines of a new type of dispositive that we conceptualize as a normalizing dispostive. (2) The analysis of institutional work in a context of institutional pluralism highlights a new type of practices : the ones which deal with institutional resistance.

L’objet de cette thèse est l’analyse de l’interface entre, d’une part l’offre technologique d’assainissement et de latrinisation au Burkina Faso, qui se traduit en grand partie par la mise en place de latrine dans les concessions et dans lieux publics, et d’autre part la dimension sociétale à travers les représentations sociales des individus et des communautés et leurs logiques d’action dans le rapport à la latrine. La confrontation des deux dimensions aborde en effet un champ d’étude qui analyse l’équipement « latrine » à l’épreuve des représentations sociales qui y sont associées et des contraintes objectives de son implémentation. La thèse aborde ainsi une sociologie de l’assainissement qui questionne plus spécifiquement le processus de latrinisation au Burkina Faso, à travers les dimensions représentationnelles, notamment les représentations du propre et du sale et la symbolique de la latrine, les logiques d’action des usagers, leurs pratiques subséquentes, de la sphère domestique à la sphère publique. Dans un contexte national du Burkina Faso marqué par un faible taux d’accès à l’assainissement et avec des municipalités en construction dans un processus de décentralisation, l’étude de la latrinisation dans les villes moyennes étudiées (Ouahigouya, Dori, Houndé et Pouytenga) interroge par ailleurs les dispositifs effectifs de gestion des latrines pour comprendre la problématique globale de la diffusion et de la durabilité des ouvrage d’assainissement. / The purpose of this thesis is to analyze the interface between, on the one hand, the technological supply of sanitation and latrinization in Burkina Faso, which is largely reflected in the setting up of latrines in concessions and in public places, and on the other hand, the social dimension through the social representations of individuals and communities and their action logics in relation to the latrine. The confrontation between the two dimensions involves a field of study that analyzes the “latrine” equipment through social representations associated and objective constraints of its implementation. The thesis addresses sociology of sanitation that more specifically questions about the process of latrinization in Burkina Faso, througt the representational dimensions, including the representations of the clean and the dirty and the symbolism of the latrine, the logics of action of users, their subsequent practices, from the domestic sphere to the public sphere. In a national context of Burkina Faso marked by a low rate of access to sanitation and where, in a process of decentralization, the municipalities are under construction, the study of latrinization in tne medium-sized cities (Ouahigouya, Dori, Houndé and Pouytenga hemps in understanding the overall problem of sanitation facilities, through the effective latrine management systems.

Die vorliegende Dissertation besteht aus zwei Teilen, deren gemeinsames Thema in der Frage besteht, wie mächtig Zufall als Berechnungsressource ist. Im ersten Teil beschäftigen wir uns mit zufälligen Strukturen, die -- mit hoher Wahrscheinlichkeit -- Eigenschaften haben können, die von Computeralgorithmen genutzt werden können. In zwei konkreten Fällen geben wir bis dahin unbekannte deterministische Konstruktionen solcher Strukturen: Wir derandomisieren eine randomisierte Reduktion von Alekhnovich und Razborov, indem wir bestimmte unbalancierte bipartite Expandergraphen konstruieren, und wir geben eine Reduktion von einem Problem über bipartite Graphen auf das Problem, den minmax-Wert in Dreipersonenspielen zu berechnen. Im zweiten Teil untersuchen wir die Ausdrucksstärke verschiedener Logiken, wenn sie durch zufällige Relationssymbole angereichert werden. Unser Ziel ist es, Techniken aus der deskriptiven Komplexitätstheorie für die Untersuchung randomisierter Komplexitätsklassen nutzbar zu machen, und tatsächlich können wir zeigen, dass unsere randomisierten Logiken randomisierte Komlexitätsklassen einfangen, die in der Komplexitätstheorie untersucht werden. Unter Benutzung starker Ergebnisse über die Logik erster Stufe und die Berechnungsstärke von Schaltkreisen beschränkter Tiefe geben wir sowohl positive als auch negative Derandomisierungsergebnisse für unsere Logiken. Auf der negativen Seite zeigen wir, dass randomisierte erststufige Logik gegenüber normaler erststufiger Logik an Ausdrucksstärke gewinnt, sogar auf Strukturen mit einer eingebauten Additionsrelation. Außerdem ist sie nicht auf geordneten Strukturen in monadischer zweitstufiger Logik enthalten, und auch nicht in infinitärer Zähllogik auf beliebigen Strukturen. Auf der positiven Seite zeigen wir, dass randomisierte erststufige Logik auf Strukturen mit einem unären Vokabular derandomisiert werden kann und auf additiven Strukturen in monadischer Logik zweiter Stufe enthalten ist. / This thesis is comprised of two main parts whose common theme is the question of how powerful randomness as a computational resource is. In the first part we deal with random structures which possess -- with high probability -- properties than can be exploited by computer algorithms. We then give two new deterministic constructions for such structures: We derandomise a randomised reduction due to Alekhnovich and Razborov by constructing certain unbalanced bipartite expander graphs, and we give a reduction from a problem concerning bipartite graphs to the problem of computing the minmax-value in three-player games. In the second part we study the expressive power of various logics when they are enriched by random relation symbols. Our goal is to bridge techniques from descriptive complexity with the study of randomised complexity classes, and indeed we show that our randomised logics do capture complexity classes under study in complexity theory. Using strong results on the expressive power of first-order logic and the computational power of bounded-depth circuits, we give both positive and negative derandomisation results for our logics. On the negative side, we show that randomised first-order logic gains expressive power over standard first-order logic even on structures with a built-in addition relation. Furthermore, it is not contained in monadic second-order logic on ordered structures, nor in infinitary counting logic on arbitrary structures. On the positive side, we show that randomised first-order logic can be derandomised on structures with a unary vocabulary and is contained in monadic second-order logic on additive structures.

Dans un contexte de changement technologique, d'organisations matricielles ou en réseaux, les entreprises recherchent aujourd'hui les moyens d'harmoniser, de structurer et de fluidifier leurs processus et leurs systèmes de management. Entre autres moyens, elles recourent de façon croissante aux Progiciels de Gestion Intégrés (PGI), systèmes destinés à traiter les informations de gestion en temps réel et en réseau au sein de l'entreprise, dans l'espoir d'en améliorer la performance. Cependant l'investissement en PGI ne se traduit pas forcément par une performance organisationnelle. Le retour sur investissement s'avère parfois bien en deçà des espérances, ce qui provoque déceptions et interrogations des décideurs quant à la pertinence des choix technologiques effectués. Fondée sur une approche structurationniste, cette thèse s'interroge sur l'appropriation de cette technologie au sein de l'entreprise. Elle analyse de manière approfondie les liens entre gestion de processus, logique de formation et appropriation d'un PGI par les utilisateurs. La formation, organisée en appui à l'implantation d'un PGI est considérée comme un construit social, pouvant s'inscrire dans une approche instrumentale ou intégrative (selon le processus de changement initié par le management). Cette formation est ainsi susceptible de structurer des formes contrastées d'appropriation. Réalisée, au sein d'entreprises implantées en Belgique, cette recherche permet de montrer, au-delà de tout déterminisme technologique, que le processus selon lequel le changement est conduit est déterminant quant aux résultats obtenus. Différents choix sont ouverts aux gestionnaires en matière d'implication des utilisateurs du PGI, d'objectifs et de méthodes de formation, d'organisation de la formation. Ces choix, s'ils sont parfois peu pesés dans la relative urgence du changement, ont cependant un poids déterminant quant au degré d'appropriation du PGI par les utilisateurs et, en conséquence, quant aux résultats finaux. / In a context of technological change, of matrix organizations and networks, companies strive to harmonize, structure and improve their management processes and systems. One means for this is to implement an ERP, that is a system intended to process management information instantly within the organizational network, with the hope to improve performance. However, investments in ERPs do not bring out automatically organizational performance. Sometimes, the return on investment is far below expectations, which causes managers disappointment and questioning about the relevance of technological choices carried out. Based on theories analyzing interactions between technology and organization, this thesis questions “appropriation processes” of an ERP within companies. It analyses the links between process management, training logic and appropriation of an ERP by users within the firm. Training organized on the ERP for personnel in the firm is considered as a social construction that can adopt very different types of approach, either instrumental or integrative (according to the process of change management conducted within the company). As a result, contrasted types of appropriation can occur, related to what type training logic has been put in place. Carried out within firms set up in Belgium, this research shows that, beyond all technological determinism, the change process is the determining factor regarding outcomes. Managers have various choices as regards the degree of involvement of ERP users in change and in training. However, if those choices are sometimes slightly weighed up because of short deadlines in the implementation of the ERP, they have a determining role in the final appropriation of the ERP within an organization and consequently in its final outcomes.

This dissertation is focused on an algebraic approach of some many-valued generalizations of modal logics. The starting point is the definition of the [0,1]-valued and the Ł_n-valued Kripke models, where [0,1] denotes the well known MV-algebra and Ł_n its finite subalgebra {0, 1/n, ... , (n-1)/n,1} for any positive integer n. Two types of structures are used to define validity of formulas: the class of L-frames and the class of Ł_n-valued L-frames. The latter structures are L-frames in which we specify in each world u the set Ł_m (where m is a divisor of n) of the possible truth values of the formulas in u. These two classes of structures define two distinct notions of validity. We use these notions to study the problem of definability of classes of structures with modal formulas. We obtain for these two classes an equivalent of the Goldblatt-Thomason theorem. We are able to consider completeness problems with respect to these relational semantics thanks to the connections between relational and algebraic semantics. Our strongest results are about Ł_n-valued logics. We are indeed able to apply and develop algebraic tools (namely, canonical and strong canonical extensions) that allow to generate complete Ł_n-valued logics. / Nous consacrons cette dissertation à une étude algébrique de certaines généralisations multivaluées des logiques modales. Notre point de départ est la définition des modèle de Kripke [0,1]-valués et Ł_n-valués, où [0,1] désigne la MV-algèbre bien connue et Ł_n sa sous-algèbre {0, 1/n, ... , (n-1)/n,1} pour tout naturel non nul n. Nous utilisons deux types de structures pour définir une relation de validité: la classe des L-structures et celles des L-structures Ł_n-valuées. Ces dernières sont des L-structures dans lesquelles nous précisons pour chaque monde u l'ensemble Ł_m (où m est un diviseur de n) des valeurs de vérité que les formules sont autorisées à prendre en u. Ces deux classes de structures définissent deux notions distinctes de validité. Nous les utilisons pour étudier le problème de la définissabilité des classes de structures à l'aide du langage modal. Nous obtenons dans les deux cas l'équivalent du théorème de Goldblatt-Thomason. Nous considérons aussi les problèmes de complétude vis-à-vis de ces sémantiques relationnelles à l'aide des liens qui les lient à la sémantique algébrique. Les résultats les plus forts que nous obtenons concernent les logiques modales Ł_n-valuées. En effet, dans ce cas, nous pouvons appliquer et développer des outils algébriques (à savoir, les extensions canoniques et les extensions canoniques fortes) qui permettent de générer des logiques complètes.

No description available.

El objetivo de esta tesis es proponer mejoras en modelos existentes de razonamiento espacial cualitativo con relaciones cardinales, y proponer nuevos modelos y técnicas de razonamiento utilizando algunos resultados previos del razonamiento temporal cualitativo. Los modelos propuestos se basan en dos formalismos muy utilizados para razonamiento cualitativo: los Problemas de Satisfacción de Restricciones y las Lógicas Modales. / The main goal of this PhD Thesis is to propose improvements to existing models for qualitative spatial reasoning with cardinal direction relations, and to propose new models and reasoning techniques using some previous results from qualitative temporal reasoning. The proposed models are based on two widely used formalisms for Qualitative Reasoning: Constraint Satisfaction Problems and Modal Logics.

Although educational content in electronic form is increasing dramatically, its usage in an educational environment is poor, mainly due to the fact that there is too much of (unreliable) redundant, and not relevant information. Finding appropriate answers is a rather difficult task being reliant on the user filtering of the pertinent information from the noise. Turning knowledge bases like the online tele-TASK archive into useful educational resources requires identifying correct, reliable, and "machine-understandable" information, as well as developing simple but efficient search tools with the ability to reason over this information. Our vision is to create an E-Librarian Service, which is able to retrieve multimedia resources from a knowledge base in a more efficient way than by browsing through an index, or by using a simple keyword search. In our E-Librarian Service, the user can enter his question in a very simple and human way; in natural language (NL). Our premise is that more pertinent results would be retrieved if the search engine understood the sense of the user's query. The returned results are then logical consequences of an inference rather than of keyword matchings. Our E-Librarian Service does not return the answer to the user's question, but it retrieves the most pertinent document(s), in which the user finds the answer to his/her question. Among all the documents that have some common information with the user query, our E-Librarian Service identifies the most pertinent match(es), keeping in mind that the user expects an exhaustive answer while preferring a concise answer with only little or no information overhead. Also, our E-Librarian Service always proposes a solution to the user, even if the system concludes that there is no exhaustive answer. Our E-Librarian Service was implemented prototypically in three different educational tools. A first prototype is CHESt (Computer History Expert System); it has a knowledge base with 300 multimedia clips that cover the main events in computer history. A second prototype is MatES (Mathematics Expert System); it has a knowledge base with 115 clips that cover the topic of fractions in mathematics for secondary school w.r.t. the official school programme. All clips were recorded mainly by pupils. The third and most advanced prototype is the "Lecture Butler's E-Librarain Service"; it has a Web service interface to respect a service oriented architecture (SOA), and was developed in the context of the Web-University project at the Hasso-Plattner-Institute (HPI). Two major experiments in an educational environment - at the Lycée Technique Esch/Alzette in Luxembourg - were made to test the pertinence and reliability of our E-Librarian Service as a complement to traditional courses. The first experiment (in 2005) was made with CHESt in different classes, and covered a single lesson. The second experiment (in 2006) covered a period of 6 weeks of intensive use of MatES in one class. There was no classical mathematics lesson where the teacher gave explanations, but the students had to learn in an autonomous and exploratory way. They had to ask questions to the E-Librarian Service just the way they would if there was a human teacher. / Obwohl sich die Verfügbarkeit von pädagogischen Inhalten in elektronischer Form stetig erhöht, ist deren Nutzen in einem schulischen Umfeld recht gering. Die Hauptursache dessen ist, dass es zu viele unzuverlässige, redundante und nicht relevante Informationen gibt. Das Finden von passenden Lernobjekten ist eine schwierige Aufgabe, die vom benutzerbasierten Filtern der passenden Informationen abhängig ist. Damit Wissensbanken wie das online Tele-TASK Archiv zu nützlichen, pädagogischen Ressourcen werden, müssen Lernobjekte korrekt, zuverlässig und in maschinenverständlicher Form identifiziert werden, sowie effiziente Suchwerkzeuge entwickelt werden. Unser Ziel ist es, einen E-Bibliothekar-Dienst zu schaffen, der multimediale Ressourcen in einer Wissensbank auf effizientere Art und Weise findet als mittels Navigieren durch ein Inhaltsverzeichnis oder mithilfe einer einfachen Stichwortsuche. Unsere Prämisse ist, dass passendere Ergebnisse gefunden werden könnten, wenn die semantische Suchmaschine den Sinn der Benutzeranfrage verstehen würde. In diesem Fall wären die gelieferten Antworten logische Konsequenzen einer Inferenz und nicht die einer Schlüsselwortsuche. Tests haben gezeigt, dass unser E-Bibliothekar-Dienst unter allen Dokumenten in einer gegebenen Wissensbank diejenigen findet, die semantisch am besten zur Anfrage des Benutzers passen. Dabei gilt, dass der Benutzer eine vollständige und präzise Antwort erwartet, die keine oder nur wenige Zusatzinformationen enthält. Außerdem ist unser System in der Lage, dem Benutzer die Qualität und Pertinenz der gelieferten Antworten zu quantifizieren und zu veranschaulichen. Schlussendlich liefert unser E-Bibliothekar-Dienst dem Benutzer immer eine Antwort, selbst wenn das System feststellt, dass es keine vollständige Antwort auf die Frage gibt. Unser E-Bibliothekar-Dienst ermöglicht es dem Benutzer, seine Fragen in einer sehr einfachen und menschlichen Art und Weise auszudrücken, nämlich in natürlicher Sprache. Linguistische Informationen und ein gegebener Kontext in Form einer Ontologie werden für die semantische Übersetzung der Benutzereingabe in eine logische Form benutzt. Unser E-Bibliothekar-Dienst wurde prototypisch in drei unterschiedliche pädagogische Werkzeuge umgesetzt. In zwei Experimenten wurde in einem pädagogischen Umfeld die Angemessenheit und die Zuverlässigkeit dieser Werkzeuge als Komplement zum klassischen Unterricht geprüft. Die Hauptergebnisse sind folgende: Erstens wurde festgestellt, dass Schüler generell akzeptieren, ganze Fragen einzugeben - anstelle von Stichwörtern - wenn dies ihnen hilft, bessere Suchresultate zu erhalten. Zweitens, das wichtigste Resultat aus den Experimenten ist die Erkenntnis, dass Schuleresultate verbessert werden können, wenn Schüler unseren E-Bibliothekar-Dienst verwenden. Wir haben eine generelle Verbesserung von 5% der Schulresultate gemessen. 50% der Schüler haben ihre Schulnoten verbessert, 41% von ihnen sogar maßgeblich. Einer der Hauptgründe für diese positiven Resultate ist, dass die Schüler motivierter waren und folglich bereit waren, mehr Einsatz und Fleiß in das Lernen und in das Erwerben von neuem Wissen zu investieren.