Orientador: Hércules de Araújo Feitosa / Banca: Maria Cláudia Cabrini Grácio / Banca: Ítala Maria Loffredo D’Ottaviano / Resumo: Em 1999, Grácio introduziu a Lógica do Plausível como uma particularização de uma família de sistemas lógicos, caracterizados pela inclusão de um quantificador generalizado na sintaxe da lógica clássica de predicados, a saber, as Lógicas Moduladas, cuja formalização semântica é dada por um subconjunto do conjunto das partes do universo. Nesta particularização de lógica modulada, é incluído o quantificador do Plausível P, que engendra a formalização de um raciocínio indutivo de maneira que "uma 'boa parte' dos indivíduos possui determinada propriedade". O presente trabalho introduz um novo sistema dedutivo para a Lógica do Plausível, denominado TLP, construído seguindo os princípios de tableaux semânticos clássicos. Na elaboração do sistema de tableaux TLP, há uma forma original de localizar pontos nos ramos de um dado tableau. Ademais, por meio do raciocínio indutivo engendrado por esta lógica, discussões sucederam acerca da indução ser considerada um processo genuinamente lógico, tendo por ponto de partida o problema epistemológico da indução. / Abstract: The Logic of the Plausible was introduced in 1999 by Grácio as a particularization of a family of logical systems characterized by the inclusion of a generalized quantifier in the syntax of the classical logic of predicates, denominated the Modulated Logics, whose semantical interpretation is given by a subset of the power set of the universe. In this particularization of modulated logics, it is included the quantifier of Plausible P that engenders the formalization of a type of inductive reasoning so that "a 'good' number of individuals possesses certain property ". This work introduces a new deductive system for the Logic of the Plausible, denominated TLP, built according to the principles of the classical semantical tableaux. In the construction of the tableaux system TLP, an original form of locating points in the branches of any tableaux is presented. Besides, through the inductive reasoning engendered by this logic, the work also promotes discussions concerning the consideration of the induction as a genuinely logical process, beginning from the epistemological problem of the induction. / Mestre

Ce travail analyse l'internationalisation de la protection environnementale sur cinq zones humides majeures d'Albanie. De par leur géographie et leur situation sur des corridors biologiques, ces zones accueillent une importante biodiversité. Trois d'entre elles sont inscrites à la convention Ramsar. Les grandes plaines littorales d'Albanie étaient naguère très marécageuses, favorables au développement de la biodiversité, d'autant plus qu'elles étaient peu peuplées, car le peuple albanais vivait d'élevage dans les montagnes. L'arrivée des communistes au pouvoir a provoqué un bouleversement des valeurs, exaltant les vertus de ces plaines littorales délaissées. Leur assèchement et leur mise en culture provoqua la disparition des espaces-tampons et des bouleversements des équilibres physico-chimiques des eaux des zones humides, notamment de la salinité de l'eau. L'introduction d'espèces allochtones pour la pêche, les pollutions agricoles et industrielles, le colmatage de chenaux par l'afflux de sédiments liés à la mise à nu des sols, furent autant de conséquences des pratiques agraires durant le communisme. L'ouverture au monde en 1991 provoque la multiplication des acteurs sur les zones humides, et la formation de systèmes géographiques singuliers nés de ces jeux d'acteurs. Les pressions agricoles sont en recul, mais les acteurs locaux exploitent les ressources sauvages parfois sans contrôle. Les acteurs globaux jouent à la fois sur l'attrait de l'Albanie comme pays à faible taux de main-d'oeuvre et à la situation stratégique sur les chemins énergétiques. Les institutions internationales poussent à la création de zones protégées sur les wetlands afin de s'approprier les questions de biodiversité et réunir des segments cassés de corridors biologiques, que l'Etat encourage comme autant de manières d'avancer ses pions sur l'échiquier diplomatique. [etc.] / This paper analyzes the internationalization of environmental protection on five major wetlands of Albania. By geography and location of biological corridors, these areas are hot spot of biodiversity. Three of them are listed on the Ramsar convention. Large coastal plains of Albania were once very swampy, favorable to the development of biodiversity, especially as they were sparsely populated, because the Albanian people living in the mountains. The Communists came to power led to a shift in values, extolling the virtues of these coastal plains neglected. Their drying and cultivation led to the disappearance of buffer spaces and changes of physico-chemical equilibria of water from wetlands, including the salinity of the water. The introduction of species for fishing, agricultural and industrial pollution, clogging of channels by the influx of sediments related to the exposure of the soil, were all consequences of agricultural practices during communism. The openenig of Albania in 1991 caused the multiplication of actors on Wetlands, and the formation of unique geographic systems born of these games players. Agricultural pressures are declining, but local actors exploit wild resources sometimes without control. Global players play on both the attractiveness of Albania as a country with low rates of labor and strategic location on energy paths. International institutions to push the creation of protected wetlands to the appropriate biodiversity issues and gather broken segments of biological corridors, areas that the state encourages as many ways to advance his pawns on the diplomatic chessboard. These strategies built on a nested territory form a particular geography that we map in the last part. They determine the axes, areas and points of national or local comprehensive, and strategic value political, economic or environmental. [etc.]

La coopération entre l’Union européenne et les pays d’Afrique, des Caraïbes et du Pacifique (ACP) n’a pas permis aux Pays ACP d’atteindre leurs objectifs de développement et la fin des Accords de Cotonou prévue pour 2020 arrive à grand pas. Cette thèse s’est donné pour ambition d’aller au-delà de l’analyse des programmes européens de développement pour montrer les logiques, les processus, les contradictions en oeuvre dans le champ de la coopération ainsi que les représentations des acteurs. Ce travail s’inscrit dans une perspective d’anthropologie politique pour apporter de nouveaux éléments à la compréhension de la coopération entre l’Union européenne et les pays ACP. / The cooperation between European Union and the African, Caribbean and the Pacific (ACP) countries did not allow the ACP countries to reach their development goals and the end of Cotonou agreements in 2020 is fast approaching. The aim of this thesis is to go beyond the analysis of European development programs to show the logics, processes, contradictions at play in the field of cooperation as well as the representations of the actors. This work falls within the framework of a political anthropology perspective in order to bring forth new elements for a better understanding of the cooperation between European Union and the ACP countries.

Esta tese tem como objetivo estudar a paraconsistentização de lógicas, que consiste em encontrar, para uma dada lógica, sua contraparte paraconsistente. A estratégia geral utilizada para tal tarefa é: ao encontrar premissas inconsistentes, faça inferências a partir de seus subconjuntos consistentes. Para isso, foram desenvolvidos dois métodos de paraconsistentização. O primeiro consiste na utilização do arcabouço teórico da Teoria de Categorias, enquanto que o segundo faz uso da teoria da prova e da noção de estruturas valorativas. Após a apresentação dos métodos, algumas propriedades formais de ambas as propostas foram investigadas. Em particular, provou-se que a paraconsistentização preserva correção e completude, isto é, se a lógica inicial for correta e completa, sua contraparte paraconsistente também o será. Também foram estabelecidas as condições suficientes que uma lógica deve satisfazer para poder ser paraconsistentizada. A partir destes resultados, os dois métodos propostos foram comparados com outras abordagens desenvolvidas para raciocinar a partir de conjuntos inconsistentes. Por fim, a tese analisa o debate entre pluralismo e monismo lógico investigando, especificamente, as contribuições da paraconsistentização para tal discussão. / This thesis aims to study the paraconsistentization of logics, which consists in finding, for a given logic, its paraconsistent counterpart. The general strategy used for this task is the following: when finding inconsistent premises, one must draw inferences from its consistent subsets. For this, two methods of paraconsistentization were developed. The first consists in using the framework of Category Theory, while the second one makes use of proof theory and the notion of valuation structure. After their presentation, some formal properties of both proposals were investigated. In particular, it was proved that paraconsistentization preserves soundness and completeness, that is, if the initial logic is sound and complete, its paraconsistent counterpart will also be. The sufficient conditions that a logic must satisfy in order for it to be paraconsistentized were also established. From these results, the two proposed methods were compared with other approaches developed to reason from inconsistent sets. Finally, the thesis analyses the debate between pluralism and logical monism investigating, specifically, the contributions of paraconsistentization to this discussion.

<p>In this dissertation, a qualitative research project has been conducted focusing on two theatres for persons with intellectual disabilities. The aim of the dissertation was to analyze the ideological tension between artistic practises and the institutional setting in which they are arranged. The aim of the thesis was answered through the following questions:</p><p>What happens when a new and innovative logic is introduced on a well established organisational field?</p><p>How do Rebellerna and Ållateatern translate and manage the institutional setting under which they are working?</p><p>How do Rebellerna and Ållateatern relate to the surrounding environment?</p><p>The analysis is based on a qualitative research project conducted over a period of two years on Ållateatern and six mounts on Rebellerna. Theoretically, the analysis has been inspired by disability theory and neo-institutional theory. In the dissertation I argue that Rebellerna and Ållateatern, in their formal structure, reflect two different logics, which have influenced their relationship with the institutional environment as well as with the actors working at the theatres. These logics have been interpreted as a consequence of the need for human service organizations to obtain legitimacy from the institutional environment. However, on an individual level the tension between an artistic logic and a therapeutic logic has had a social meaning for the actors working at Rebellerna and Ållateatern. It has generated a selfunderstanding which besides the role of a client to the welfare state also includes the role of an actor. These experiences have generated a stronger belief in their own capabilities and a sense of pride. It has also challenged established social meanings on intellectual disabilities. However, one conclusion in the thesis is that both Ållateatern and Rebellerna have had an impact in influence the organisational field of daily activities. Another conclusion is that the tension between therapy and art on an individual level represents an important building block to generate a formation of identity and sub-cultural belonging.</p>

Enrollment management is an organizational phenomenon that emerged in the mid-1970s and has since developed into a pervasive structure and practice at colleges and universities. The purpose of this study is to identify and trace the development of the underlying organizing principles (enrollment logics) that institutionalize enrollment management practices and professionalize the chief enrollment manager position. This study focuses on how discourses among members of a prominent professional association establish, diffuse, and sustain knowledge that promotes certain expertise, assumptions, beliefs, and shared understandings of enrollment management. This is qualitative study that uses first-person accounts of 18 chief enrollment managers, authoethnographic reflections, and historical texts to reveal the regulative, normative, and cultural-cognitive elements (symbols, relations, routines, and artifacts) that signify enrollment management as an institutionalized and professionalized phenomenon. Crystallization is used as the analytical approach for discourse analysis. Institutional Theory and Structuration Theory form the theoretical and analytical frameworks for this study. Study results suggest that enrollment management is an institutionalized organizational field and an emerging profession.

Les experiències prèvies en l'àmbit dels magatzems de dades (o data warehouse), mostren que l'esquema multidimensional del data warehouse ha de ser fruit d'un enfocament híbrid; això és, una proposta que consideri tant els requeriments d'usuari com les fonts de dades durant el procés de disseny.Com a qualsevol altre sistema, els requeriments són necessaris per garantir que el sistema desenvolupat satisfà les necessitats de l'usuari. A més, essent aquest un procés de reenginyeria, les fonts de dades s'han de tenir en compte per: (i) garantir que el magatzem de dades resultant pot ésser poblat amb dades de l'organització, i, a més, (ii) descobrir capacitats d'anàlisis no evidents o no conegudes per l'usuari.Actualment, a la literatura s'han presentat diversos mètodes per donar suport al procés de modelatge del magatzem de dades. No obstant això, les propostes basades en un anàlisi dels requeriments assumeixen que aquestos són exhaustius, i no consideren que pot haver-hi informació rellevant amagada a les fonts de dades. Contràriament, les propostes basades en un anàlisi exhaustiu de les fonts de dades maximitzen aquest enfocament, i proposen tot el coneixement multidimensional que es pot derivar des de les fonts de dades i, conseqüentment, generen massa resultats. En aquest escenari, l'automatització del disseny del magatzem de dades és essencial per evitar que tot el pes de la tasca recaigui en el dissenyador (d'aquesta forma, no hem de confiar únicament en la seva habilitat i coneixement per aplicar el mètode de disseny elegit). A més, l'automatització de la tasca allibera al dissenyador del sempre complex i costós anàlisi de les fonts de dades (que pot arribar a ser inviable per grans fonts de dades).Avui dia, els mètodes automatitzables analitzen en detall les fonts de dades i passen per alt els requeriments. En canvi, els mètodes basats en l'anàlisi dels requeriments no consideren l'automatització del procés, ja que treballen amb requeriments expressats en llenguatges d'alt nivell que un ordenador no pot manegar. Aquesta mateixa situació es dona en els mètodes híbrids actual, que proposen un enfocament seqüencial, on l'anàlisi de les dades es complementa amb l'anàlisi dels requeriments, ja que totes dues tasques pateixen els mateixos problemes que els enfocament purs.En aquesta tesi proposem dos mètodes per donar suport a la tasca de modelatge del magatzem de dades: MDBE (Multidimensional Design Based on Examples) and AMDO (Automating the Multidimensional Design from Ontologies). Totes dues consideren els requeriments i les fonts de dades per portar a terme la tasca de modelatge i a més, van ser pensades per superar les limitacions dels enfocaments actuals.1. MDBE segueix un enfocament clàssic, en el que els requeriments d'usuari són coneguts d'avantmà. Aquest mètode es beneficia del coneixement capturat a les fonts de dades, però guia el procés des dels requeriments i, conseqüentment, és capaç de treballar sobre fonts de dades semànticament pobres. És a dir, explotant el fet que amb uns requeriments de qualitat, podem superar els inconvenients de disposar de fonts de dades que no capturen apropiadament el nostre domini de treball.2. A diferència d'MDBE, AMDO assumeix un escenari on es disposa de fonts de dades semànticament riques. Per aquest motiu, dirigeix el procés de modelatge des de les fonts de dades, i empra els requeriments per donar forma i adaptar els resultats generats a les necessitats de l'usuari. En aquest context, a diferència de l'anterior, unes fonts de dades semànticament riques esmorteeixen el fet de no tenir clars els requeriments d'usuari d'avantmà.Cal notar que els nostres mètodes estableixen un marc de treball combinat que es pot emprar per decidir, donat un escenari concret, quin enfocament és més adient. Per exemple, no es pot seguir el mateix enfocament en un escenari on els requeriments són ben coneguts d'avantmà i en un escenari on aquestos encara no estan clars (un cas recorrent d'aquesta situació és quan l'usuari no té clares les capacitats d'anàlisi del seu propi sistema). De fet, disposar d'uns bons requeriments d'avantmà esmorteeix la necessitat de disposar de fonts de dades semànticament riques, mentre que a l'inversa, si disposem de fonts de dades que capturen adequadament el nostre domini de treball, els requeriments no són necessaris d'avantmà. Per aquests motius, en aquesta tesi aportem un marc de treball combinat que cobreix tots els possibles escenaris que podem trobar durant la tasca de modelatge del magatzem de dades. / Previous experiences in the data warehouse field have shown that the data warehouse multidimensional conceptual schema must be derived from a hybrid approach: i.e., by considering both the end-user requirements and the data sources, as first-class citizens. Like in any other system, requirements guarantee that the system devised meets the end-user necessities. In addition, since the data warehouse design task is a reengineering process, it must consider the underlying data sources of the organization: (i) to guarantee that the data warehouse must be populated from data available within the organization, and (ii) to allow the end-user discover unknown additional analysis capabilities.Currently, several methods for supporting the data warehouse modeling task have been provided. However, they suffer from some significant drawbacks. In short, requirement-driven approaches assume that requirements are exhaustive (and therefore, do not consider the data sources to contain alternative interesting evidences of analysis), whereas data-driven approaches (i.e., those leading the design task from a thorough analysis of the data sources) rely on discovering as much multidimensional knowledge as possible from the data sources. As a consequence, data-driven approaches generate too many results, which mislead the user. Furthermore, the design task automation is essential in this scenario, as it removes the dependency on an expert's ability to properly apply the method chosen, and the need to analyze the data sources, which is a tedious and timeconsuming task (which can be unfeasible when working with large databases). In this sense, current automatable methods follow a data-driven approach, whereas current requirement-driven approaches overlook the process automation, since they tend to work with requirements at a high level of abstraction. Indeed, this scenario is repeated regarding data-driven and requirement-driven stages within current hybrid approaches, which suffer from the same drawbacks than pure data-driven or requirement-driven approaches.In this thesis we introduce two different approaches for automating the multidimensional design of the data warehouse: MDBE (Multidimensional Design Based on Examples) and AMDO (Automating the Multidimensional Design from Ontologies). Both approaches were devised to overcome the limitations from which current approaches suffer. Importantly, our approaches consider opposite initial assumptions, but both consider the end-user requirements and the data sources as first-class citizens.1. MDBE follows a classical approach, in which the end-user requirements are well-known beforehand. This approach benefits from the knowledge captured in the data sources, but guides the design task according to requirements and consequently, it is able to work and handle semantically poorer data sources. In other words, providing high-quality end-user requirements, we can guide the process from the knowledge they contain, and overcome the fact of disposing of bad quality (from a semantical point of view) data sources.2. AMDO, as counterpart, assumes a scenario in which the data sources available are semantically richer. Thus, the approach proposed is guided by a thorough analysis of the data sources, which is properly adapted to shape the output result according to the end-user requirements. In this context, disposing of high-quality data sources, we can overcome the fact of lacking of expressive end-user requirements.Importantly, our methods establish a combined and comprehensive framework that can be used to decide, according to the inputs provided in each scenario, which is the best approach to follow. For example, we cannot follow the same approach in a scenario where the end-user requirements are clear and well-known, and in a scenario in which the end-user requirements are not evident or cannot be easily elicited (e.g., this may happen when the users are not aware of the analysis capabilities of their own sources). Interestingly, the need to dispose of requirements beforehand is smoothed by the fact of having semantically rich data sources. In lack of that, requirements gain relevance to extract the multidimensional knowledge from the sources.So that, we claim to provide two approaches whose combination turns up to be exhaustive with regard to the scenarios discussed in the literature

Constructing description logic ontologies is a difficult task that is normally conducted by experts. Recent results show that parts of ontologies can be constructed from description logic interpretations. However, these results assume the interpretations to be free of errors, which may not be the case for real-world data. To provide some mechanism to handle these errors, the notion of confidence from data mining is introduced into description logics, yielding confident general concept inclusions (confident GCIs) of finite interpretations. The main focus of this work is to prove the existence of finite bases of confident GCIs and to describe some of theses bases explicitly.

Service-Dominant (S-D) Logics are the basis of contemporary economic activities. Based on this concept, Information System department should transform its role from a technical supporter to a service provider. S-D Logics highlight the importance to build up a successful value-cocreated service systems. This implies that, in addition to technical capabilities and business knowledge, IS department should possess certain capabilities to collaborate with other functional departments to delivery maximum value. The purpose of this research is to explore possible collaborative capabilities that IS personnel should possess, besides the technical skills and business know-how. This research adopted exploratory case study method. Through in-depth interview with developers and users of three complex information system development(ISD) projects, a total of 14 collaborative capabilities that IS personnel need were identified. The relationships among those capabilities as well as their impacts on performance were also identified. Implications of the research results to practitioners and academia are also provided.

The interoperability of the electronic documents exchanged in eBusiness applications is an important problem in industry. Currently, this problem is handled by the mapping experts who understand the meaning of every element in the involved document schemas and define the mappings among them which is a very costly and tedious process. In order to improve electronic document interoperability, the UN/CEFACT produced the Core Components Technical Specification (CCTS) which defines a common structure and semantic properties for document artifacts. However, at present, this document content information is available only through text-based search mechanisms and tools. In this thesis, the semantics of CCTS based business document standards is explicated through a formal, machine processable language as an ontology. In this way, it becomes possible to compute a harmonized ontology, which gives the similarities among document schema ontology classes of different document standards through both the semantic properties they share and the semantic equivalences established through reasoning. However, as expected, the harmonized ontology only helps discovering the similarities of structurally and semantically equivalent elements. In order to handle the structurally different but semantically similar document artifacts, heuristic rules are developed describing the possible ways of organizing simple document artifacts into compound artifacts as defined in the CCTS methodology. Finally, the equivalences discovered among document schema ontologies are used for the semi-automated generation of XSLT definitions for the translation of real-life document instances.