Notre thèse appréhende la manière dont les producteurs du Sud s’approprient le commerce équitable et parviennent à en proposer un nouveau modèle. Elle est une étude de cas : celle d’un label créé au début des années 2000 à l’initiative d’un réseau d’organisations de producteurs latino-américaines du commerce équitable. Mobilisant les cadres d'analyse des logiques et du travail institutionnel, nos résultats montrent qu’une logique sociopolitique est appelée en premier lieu par les producteurs, visant le développement économique au Sud, l’établissement de relations commerciales avant tout locales et fondées sur la confiance, et la possibilité pour les producteurs d’imposer leurs critères de qualité. Celle-ci se heurte très vite à une logique marchande. Liée au recours à un label, cette logique implique standardisation, anonymisation des relations commerciales, et octroie aux acheteurs le pouvoir d’influer sur le contenu des standards. Tout l’enjeu est alors de parvenir à créer un nouveau modèle fondé sur le compromis entre ces logiques. Le travail des acteurs prend alors forme, dans une première période, dans la création d’une multitude de dispositions règlementaires, et dans un second temps, dans des pratiques cognitives et normatives visant à justifier et à promouvoir l’initiative. Des pratiques de résistances sont également observées. Notre thèse contribue à enrichir la théorie néo-institutionnaliste en montrant principalement que la création institutionnelle s’émancipe difficilement des logiques institutionnelles dominantes ; dans notre cas, celle du marché. / Our work aims to understand how Southern producers appropriate fair trade and build a new fair trade model. We study a single case: a fair trade label created in the early 2000s by a Latino American producers’ organizations network committed in fair trade that has a long-standing commitment to fair trade. We build on the institutional logics framework to characterize the macro forces at work in the construction of this new model, and on the institutional work framework to identify the practices implemented by producers and other stakeholders to deal with those logics and configure them. Our results show that producers firstly call for a socio-political logic, which aims an economic development in the South, the establishment of commercial relationships mainly based on trust, and the possibility for producers to impose their quality criteria. However, the use of a label brings producers quickly face market logic. It implies standardization, anonymisation of relationships and gives to the buyers the power to influence the content of the standards. The challenge is to create a new model based on a compromise between both logics. At first, actors create a multitude of regulatory measures and as a second step, cognitive and normative practices aim at justifying and promoting the initiative. Resistance practices are also observed. Our thesis contributes to neo institutionalist theory mainly by showing the difficulty to emancipate from dominant institutional logics – in our case market logic – during institutional creation process.

Rapid technological development and change in modern society is unprecedented in history.Digitalization and automation of business processes is widely seen as a way of streamliningorganisations and changing institutional settings in them. The impact on individuals andorganisations raison d’etre increases as they face stronger institutional pressure from differentstakeholders. As with every thought that comes to mind, the process of translation tries to remedythe gap in individuals and organisations different outlooks. Grounded in theory of institutionallogics and translation, the authors of this paper set out to approach this institutional complexity byinvestigating it through a lens of these theories. We find that the market and corporate logic areinfluencing all of the organisations, but which of the logics that is most likely to be constituteddepends to a high degree on the local translation process. The translation that is produced dependson the institutional environment that is predominant in the organization. For the organization to besuccessful in rapid technological development and change, a thorough understanding of theincremental institutional complexity is paramount. / Snabb teknisk utveckling och förändring i det moderna samhället är oöverträffad i historien.Digitalisering och automatisering av affärsprocesser ses allmänt som ett sätt att effektiviseraorganisationer och ändra den institutionella sammansättningen i dem. Påverkan på individer ochorganisationers existensberättigande ökar när de står inför starkare institutionellt tryck från olikaintressenter. Översättningsprocessen försöker här avhjälpa klyftan i individers och organisationersolika perspektiv som uppstår när nya idéer får fäste. Grundade i teorin om institutionella logikeroch översättning, försöker författarna till denna uppsats att närma sig denna institutionellakomplexitet genom att använda en lins av dessa teorier. Vi finner att marknads- och företagslogikenpåverkar alla organisationer, men vilken logik som sannolikt kommer att få fäste beror i hög gradpå den lokala översättningsprocessen. Översättningen som produceras beror på den institutionellamiljön som dominerar organisationen. För att organisationen ska lyckas med en snabb tekniskutveckling och förändring, är en grundlig förståelse för den inkrementella institutionellakomplexiteten är avgörande.

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.

In computer science, an ontology is a machine-processable representation of knowledge about some domain. Ontologies are encoded in ontology languages, such as the Web Ontology Language (OWL) based on Description Logics (DLs). An ontology is a set of logical statements, called axioms. Some axioms make universal statements, e.g. all fathers are men, while others record data, i.e. facts about specific individuals, e.g. Bob is a father. A set of universal statements is called TBox, as it encodes terminology, i.e. schema-level conceptual relationships, and a set of facts is called ABox, as it encodes instance-level assertions. Ontologies are extensively developed and widely used in domains such as biology and medicine. Manual engineering of a TBox is a difficult task that includes modelling conceptual relationships of the domain and encoding those relationships in the ontology language, e.g. OWL. Hence, it requires the knowledge of domain experts and skills of ontology engineers combined together. In order to assist engineering of TBoxes and potentially automate it, acquisition (or induction) of axioms from data has attracted research attention and is usually called Ontology Learning (OL). This thesis investigates the problem of OL from general principles. We formulate it as General Terminology Induction that aims at acquiring general, expressive TBox axioms (called general terminology) from data. The thesis addresses and investigates in depth two main questions: how to rigorously evaluate the quality of general TBox axioms and how to efficiently construct them. We design an approach for General Terminology Induction and implement it in an algorithm called DL-Miner. We extensively evaluate DL-Miner, compare it with other approaches, and run case studies together with domain experts to gain insight into its potential applications. The thesis should be of interest to ontology developers seeking automated means to facilitate building or enriching ontologies. In addition, as our experiments show, DL-Miner can deliver valuable insights into the data, i.e. can be useful for data analysis and debugging.

Made available in DSpace on 2015-03-04T22:02:03Z (GMT). No. of bitstreams: 0 Previous issue date: 6 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A presente dissertação apresenta um estudo sobre o alcance e a efetividade da participação estudantil na escola. Para realizarmos este trabalho, optamos por investigar as lógicas que fundamentam a ação política de estudantes nos canais de participação instituídos na escola pública estadual. Usamos como itinerário investigativo duas problematizações: Qual o alcance e a efetividade destes processos decisórios manifestos em canais de participação no âmbito da escola? Se, como nos mostrou a bibliografia, os canais funcionais de definição da participação na escola se romperam, então como atuam estas relações de poder (controles e hierarquias, aparentes ou difusos, na participação)? Estas indagações nos conduziram à realização de um estudo etnográfico sobre a participação estudantil em duas escolas públicas do interior do Rio Grande do Sul. Os dados coletados foram interpretados a partir da perspectiva teórica da Sociologia da Experiência, em François Dubet, tendo como ferramentas analíticas as noções de experiênci / This dissertation presents a study of both the range and the effectiveness of student participation in school. We have investigated the logics that found the political action of students in the participation channels instituted in the state public school. Two problematizations have been used as investigation paths: What is the range and the effectiveness of the decision processes in school participation channels? If, as the literature has shown, the functional channels that define participation in the school have been disrupted, then how have power relations been exercised (controls and hierarchies, whether apparent or diffuse, in that participation)? These questions have led us to an ethnographic study of student participation in two countryside public schools in Rio Grande do Sul. Data collected have been interpreted from the theoretical perspective of Sociology of Experience, according to François Dubet, and our analytical tools have been the notions of social experience and logics of action. The material

Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2018-08-06T14:45:05Z No. of bitstreams: 1 Elisângela Marlize Dalpiaz de Azeredo_.pdf: 1506700 bytes, checksum: 0a85bcb1bedded10aaf79f106d4afee8 (MD5) / Made available in DSpace on 2018-08-06T14:45:05Z (GMT). No. of bitstreams: 1 Elisângela Marlize Dalpiaz de Azeredo_.pdf: 1506700 bytes, checksum: 0a85bcb1bedded10aaf79f106d4afee8 (MD5) Previous issue date: 2018-03-27 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O interesse pelos negócios de impacto social vem crescendo nas últimas décadas, tendo em vista que estes negócios representam uma fonte promissora de geração de valor social, econômico e financeiro. Entretanto, ao aliarem criação de valor social e sustentabilidade financeira, combinam elementos provenientes de lógicas institucionais diferentes, podendo enfrentar desafios inerentes a esta junção. Desta forma, a fim de que estes negócios obtenham êxito, faz-se necessário o desenvolvimento de um ecossistema de suporte robusto. Dentre os atores do ecossistema, destacam-se as aceleradoras, que visam apoiar o crescimento destes negócios, na fase inicial ou de expansão, exercendo, desta forma, um papel importante na construção e desenvolvimento das lógicas institucionais nestes negócios. Por consequência, influenciam a forma pela qual evitam mission drift, fenômeno que consiste no distanciamento do negócio da sua missão social. Sendo assim, o objetivo deste estudo é analisar as estratégias utilizadas pelas aceleradoras para assegurar e monitorar que os negócios de impacto mantenham a lógica híbrida, alcançando o equilíbrio entre a criação de valor social e a sustentabilidade financeira, evitando mission drift. A fim de atingir o objetivo proposto, foi realizado um estudo de caso múltiplo, com quatro aceleradoras, que atuam com negócios de impacto social. Por meio da compreensão do papel que exercem na manutenção da lógica híbrida dos negócios impulsionados por elas, identificaram-se as fontes de mission drift, bem como as estratégias para evitar o fenômeno durante o programa de aceleração, contribuindo, desta forma, com o campo teórico e gerencial. As implicações teóricas do estudo consistem na identificação da influência que as aceleradoras exercem nos negócios de impacto impulsionados por elas, por meio das estratégias utilizadas para assegurar a manutenção da lógica híbrida, contribuindo tanto para o estudo das lógicas institucionais quanto do fenômeno mission drift. No que tange às contribuições gerenciais, fornece um conjunto de estratégias a serem utilizadas pelas aceleradoras, a fim de assegurar e monitorar a manutenção do equilíbrio entre a criação de valor social e a sustentabilidade financeira nos negócios que aceleram. / The interest by the social enterprises has been growing in recent decades, considering that these organizations represent a promising source for generating social, economic and financial value. However, as they ally social value creation and financial sustainability, they combine elements from different institutional logics and may face challenges inherent to this combination. In this way, in order that these organizations achieve success, it is necessary to develop a robust support ecosystem. Among the actors of the ecosystem, the accelerators stand out. They aim to support the growth of social enterprises at an early stage or an expansion stage, exercising, in this way, an important role in the construction and development of institutional logics in these organizations. Consequently, they influence the way in which them avoid mission drift, a phenomenon that consists in the detachment of a business from its social mission. Therefore, the objective of this study is to analyze the strategies used by the accelerators to ensure and to monitor that the social enterprises maintain the hybrid logic, achieving the balance between the creation of social value and financial sustainability, avoiding mission drift. In order to achieve the proposed objective, it was conducted a multiple case study, with four accelerators, working with social enterprises. The sources of mission drift, as well as the strategies to avoid the phenomenon during the acceleration were identified through the understanding of the role that the accelerators exercise in maintaining the hybrid business logic in the business fueled by them, contributing, in this way, with the theoretical and managerial field. The theoretical implications of the study consist in the identification of the influence that the accelerators exert over the social enterprises boosted by them, through the strategies used to ensure the maintenance of the hybrid logic, contributing to the study of institutional logics as well as to the phenomenon of mission drift. Regarding the managerial contributions, the study provides a set of strategies to be used by the accelerators, in order to ensure and monitor the maintenance of the balance between the creation of social value and the financial sustainability in the business accelerated by them.

Made available in DSpace on 2016-04-27T16:32:28Z (GMT). No. of bitstreams: 1 Simone de Almeida.pdf: 1792711 bytes, checksum: 68b339084f3949c5cf20d7cba01fd9ad (MD5) Previous issue date: 2011-03-30 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / This work started from the inquiry about the mechanisms of effective participation and/or presence of families inside the school. The choice of the research object was due to the professional existence related to the partnership among the institutions and, on the other hand, to the mutual responsibility for the child/student s development. The main objective of this work was to investigate how and whether the participation of parents/relatives occurs at school or not, especially in the last grades of Primary School, which consist of the grades from 6th to 9th (previously called 5th to 8th grades), approaching the participation/presence in both public and private schools. This research was accomplished in a state public school (taking into consideration that the city public schools analyzed principally attend the initial grades of the Primary School) and a private school, both located in the city of Mogi das Cruzes, in the state of São Paulo. The schools were chosen taking as an important criterion the existence of classrooms from the last grades of Primary School and because they were schools belonging to neighborhoods, whose public mainly consisted of the surrounding neighbors who, therefore, would have more conditions to establish an affective relationship with the community. The data analysis was accomplished taking into account the theoretical references by some authors from the Social Sciences, considering Dubet s concepts of social experience and logics of action and Lahire s, Thin s and Vincent s concept of school form. To collect the data, we interviewed eight teachers, two representatives of the director team and nine students parents/relatives. We also conducted non-participant observations within the school environment, in situations with the families, as well as we proceeded to the analysis of documents (Director Plan, regarding both the public and private schools, and the specific legislation). According to the results obtained and considering the different realities investigated in this work, it is possible to point out some tendencies in the relationships established between the families and the schools, which suggest that, although the raised hypothesis lead to essentially strategic actions considering the private school, and actions designed by the subjectivizing logic, considering the public school, the construction of the social experience of the relationships happens by means of the heterogeneity of the cultural and social principles that organize the representatives behavior in both socialization institutions / Esta pesquisa partiu do questionamento sobre os mecanismos de efetiva participação e/ou presença das famílias na escola. A escolha pelo objeto de pesquisa foi decorrente das vivências profissionais relacionadas à tão aclamada parceria entre as instituições e, por outro lado, à responsabilização mútua pelo desenvolvimento dos filhos/alunos. O objetivo central do trabalho foi investigar como e se ocorre a participação dos pais/ familiares na escola, sobretudo no Ensino Fundamental II, que compreende as turmas de 6º a 9º ano (5ª à 8ª séries), abordando tanto a participação/presença em escola pública, quanto em escola da rede privada. A pesquisa foi realizada em uma escola pública estadual (tendo em vista que a rede de ensino municipal em questão atende majoritariamente o ciclo I ou séries iniciais do ensino fundamental) e uma escola privada, ambas localizadas na cidade de Mogi das Cruzes- SP. As escolas foram escolhidas tomando como critério fundamental a existência de turmas de ensino fundamental II e o fato de serem escolas de bairro, que atendem primordialmente os moradores dos arredores e que, portanto, teriam mais condições de estabelecer uma relação efetiva com a comunidade. A análise dos dados realizou-se à luz de referencial teórico de autores das Ciências Sociais, em especial com os conceitos de experiência social e lógicas de ação de F. Dubet e o conceito de forma escolar desenvolvido por Lahire, Thin e Vincent. Para coleta de dados foram realizadas entrevistas com oito professores, dois representantes da equipe de gestores e nove pais/familiares de alunos. Foram também realizadas observações não-participantes nos ambientes escolares, em situações de relação com as famílias, bem como procedeu-se à análise de documentos (Plano de Gestão, no caso da escola pública, Plano Diretor, no caso da escola da rede privada e legislação específica). De acordo com os resultados obtidos e tendo em vista as diferentes realidades investigadas neste trabalho, é possível vislumbrar algumas tendências nas relações estabelecidas entre as famílias e as escolas, as quais sugerem que, embora a hipótese levantada aponte para ações fundamentalmente estratégicas, no caso da escola privada, e ações delineadas pela lógica da subjetivação, no caso da escola pública, a construção da experiência social das relações se faz por meio da heterogeneidade dos princípios culturais e sociais que organizam as condutas dos representantes de ambas as instituições socializadoras

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.