Made available in DSpace on 2016-04-27T17:27:04Z (GMT). No. of bitstreams: 1 Diogo Henrique Bispo Dias.pdf: 817652 bytes, checksum: a9c449589ddd37e8416ba66f62fb6285 (MD5) Previous issue date: 2013-06-07 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This master' s thesis comprehends the philosophical aspects of paraconsistent logic. It will analyze the history of the fundamental logical principles to this particular logic, namely: the law of non-contradiction and the principle of explosion, as well as the history of paraconsistency. Moreover, an interpretation of paraconsistency that defends the existence of true contradiction, known as dialetheism, will be discussed, as well as the criticism to' this position, and, in general, to paraconsistent logics. The philosophical character of this thesis does not mean that the text will be exempt from theorems, formulas, demonstrations and other formal questions. But this formal aspect will not be treated as a end in itself. The formalism will be used to present two proposicional paraconsistent systems, namely: paraclassicallogic and paraclassical logic with inclusion, and to compare them with classical logic. The theoretical framework built for such aim is philosophically relevant, for the discussion on central points in logic, such as the existence of logical laws, its a priori character, and even the very definition of logic. Finally, a method will be proposed in order to find, from a given logic, its paraconsistent version. Due to the multiplicity of paraconsistent systems,' I this study is important in order to explore the general features of paraconsistent logics, their specificities and, mainly, abstract methods for generation of paraconsisent logic / Este trabalho abordará os aspectos filosóficos das lógicas paraconsistentes. Analisaremos a história dos princípios lógicos fundamentais para esta lógica, a saber: a lei de não-contradição e o princípio de explosão, bem como a história do surgimento da paraconsistência. Ademais, discutiremos uma interpretação da paraconsistência que defende a existência de contradições verdadeiras, denominada dialeteismo, e as possíveis críticas ao dialeteismo e, de forma geral, às lógicas paraconsistentes. O caráter filosófico do trabalho não significa que o texto estará isento de teoremas, fórmulas, demonstrações e outras questões formais. Porém, este aspecto formal não será tratado como um fim em si mesmo. O formalismo será utilizado para apresentar dois sistemas proposicionais paraconsistentes - lógica para clássica e lógica para clássica com inclusão - e compará-los com a lógica proposicional clássica. O arcabouço teórico construído para tal fim é filosoficamente relevante para discutir questões centrais à lógica" como a existência de leis lógicas, seu caráter a priori e, até mesmo, a própria definição de lógica. Por fim, será apresentado um método para encontrar, a partir de uma lógica dada, sua versão paraconsistente. Face à multiplicidade, de sistemas lógicos paraconsistentes, este estudo é importante, pois permite explorar as possíveis características gerais das lógicas paraconsistentes, suas especificidades e, principalmente, métodos abstratos para gerar lógicas paraconsistentes

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.