Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work presents and discusses the extension of traditional Aristotelian syllogistics carried out by John Neville Keynes in the beginning of the twentieth century, through the introduction of a notation for negative terms into logical theory. The primary bibliography used was the fourth edition, dated 1906, of the Keynes‟s textbook on Logic Studies and Exercises in Formal Logic . Keynes has an extensional interpretation of the use of negative terms: they are understood as an extensional complement of the corresponding positive terms relative the universe of discourse; in this sense, his conception of the negation of terms obeys the Principle of Excluded Middle. The extension of traditional syllogistics by the addition of negative terms also leads to an extension of the number logical relations among the categorical propositions, as well as the number of valid immediate inferences. The Square of Oppositions is transformed into an Octagon of Oppositions, to which three new logical relations between the categorical propositions are added, namely, complementarity, sub-complementarity and contra-complementarity; the validity of these new logical relations does not require existential presupposition of any of the involved terms. Regarding immediate inferences, besides the conversion process, three new types of formal processes are obtained: obversion, contraposition (partial and total) and inversion (partial and total). To prove the validity of these formal processes, as well as of any syllogistic inference, Keynes lays out a diagrammatic method based on the well-known Euler method; in Keynes‟s method, however, negative terms are represented. In Keynes‟s version of Euler‟s diagrammatic method validity is understood as preservation of information: a collection of basic diagrams, corresponding to elementary information, is assigned to categorical propositions; and an inference is valid if, and only if, the diagrams assigned to the premises are also assigned to the conclusion. / Este trabalho apresenta e discute a ampliação da silogística tradicional aristotélica, realizada por John Neville Keynes no início do século XX, mediante a introdução de uma notação para termos negativos na teoria lógica. A bibliografia primária utilizada foi a quarta edição, datada de 1906, do manual de Lógica de Keynes Studies and Exercises in Formal Logic. Keynes tem uma interpretação extensional acerca do uso dos termos negativos: eles são entendidos como o complemento extensional do seu correspondente termo positivo em relação ao universo do discurso; neste sentido, a sua concepção da negação terminística obedece ao Princípio do Terceiro Excluído. A ampliação da silogística tradicional pelo acréscimo dos termos negativos leva, também, a uma ampliação do número de relações lógicas entre as proposições categóricas, assim como do número de inferências imediatas válidas. O Quadrado de Oposições é transformado em um Octógono de Oposições, no qual são acrescentadas três novas relações lógicas entre as proposições categóricas, a saber, a complementaridade, a subcomplementaridade, e a contracomplementaridade; a validade destas novas relações lógicas não exige o pressuposto existencial de nenhum dos termos envolvidos. Quanto às inferências imediatas, além do processo de conversão, três novos tipos destes processos formais são obtidos: a obversão, a contraposição (parcial e total) e a inversão (parcial e total). Para provar a validade destes processos formais, assim como de quaisquer inferências na silogística, Keynes apresenta um método diagramático desenvolvido a partir do conhecido método de Euler; no método de Keynes, porém, há a representação de termos negativos. Na versão de Keynes do método diagramático de Euler a validade é entendida como preservação de informação: uma coleção de diagramas básicos, correspondentes às informações elementares, é atribuída às proposições categóricas; e uma inferência é válida se, e somente se, os diagramas atribuídos às premissas também estão atribuídos à conclusão.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The current dissertation has as its main objective an exposition and critical analysis of Charles Kielkopf's translation of the Standard Deontic Logic (SDL) into a normal alethic logic, and the resulting construction of a system of deontic logic that captures Kantian fundamental concepts and principles such as the concept of causal necessity and the formulations of the Categorical Imperative concerning Kingdom of Nature and Kingdom of Ends. Since this process results in an interpretation of aspects of the Kantian philosophy, it has been chosen, initially, a presentation in general lines of these concepts and, considering the difficulties regarding the applicability of a translation process between deontic and ontic principles, it was done necessary also an exhibition concerning the problem of the inferential barriers, as well as of his more immediate consequence, i. e., Jörgensen's Dilemma. In a second moment, it was also made a characterization of normal modal systems, deontic ones and alethic ones, as well as of the notions of translation between logics and of Dawson modelling. The final chapter consists of a critical examination of Kielkopf's proposal, which uses Dawson modelling to develop a deontic logic based on the alethic system K1. Such Dawson modelling allows the definition of a deontic modalities in terms of iterated alethic modalities, therefore this model constitutes a way of avoiding the problems regarding inferential barriers. The development of an alternative for attribution of logical status to deontic concepts doesn't constitute, however, in an innovative aspect of this proposal, such aspect can be founded in the use made by Kielkopf of his formal model as a tool for the investigation of philosophical concepts, such as the Kantian concepts already mentioned. / A presente dissertação tem como objetivo uma apresentação da proposta de Charles Kielkopf, de tradução da lógica deôntica standard em uma lógica normal alética e de seus resultados quanto à construção de um sistema de lógica deôntica que capture conceitos e princípios kantianos como necessidade causal e as formulações do Imperativo Categórico acerca do Reino da Natureza e do Reino dos Fins. Uma vez que este processo resulta em uma interpretação de aspectos da filosofia kantiana, optou-se inicialmente por uma apresentação em linhas gerais destas concepções e, tendo em vista as dificuldades referentes a aplicabilidade de um processo de tradução entre princípios deônticos e ônticos, fez-se necessária também uma exposição acerca do problema das barreiras inferenciais, bem como de sua conseqüência mais imediata, a saber, o Dilema de Jörgensen. Num segundo momento, também foi feita uma caracterização dos sistemas modais normais, tanto deônticos quanto aléticos, bem como da noção de tradução entre lógicas e dos modelos de Dawson. O capítulo final consiste justamente num exame crítico da proposta de Kielkopf, o qual faz uso dos modelos de Dawson para desenvolver uma lógica deôntica a partir do sistema lógico K1. Tais modelos de Dawson permitem a definição de uma lógica deôntica em termos de modalidades aléticas iteradas, com o que este modelo constitui-se em uma maneira de evitar os problemas referentes às barreiras inferenciais. O desenvolvimento de uma alternativa para a atribuição de um status lógico a concepções deônticas não constitui, contudo, o aspecto inovador desta proposta, tal aspecto encontra-se justamente na utilização por Kielkopf, de seu modelo formal como uma ferramenta para a investigação de concepções filosóficas, no caso, as concepções kantianas já citadas.

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.

Degradação do design é um problema central investigado na área de evolução de software. A densa rede de interdependências que emerge entre classes e módulos ao longo do tempo resulta em código difícil de mudar, não reutilizável e que não comunica por si só sua intenção. Dentre outros motivos, designs degradam porque requisitos mudam de maneiras não antecipadas pelo design inicial, ou seja, as modificações no código introduzem dependências novas e não planejadas entre classes e módulos do sistema. A gerência de dependências visa reduzir a degradação do design por meio de uma série de mecanismos que auxiliam na administração da complexidade estrutural inerente de sistemas orientados a objetos. Neste trabalho, investigamos as técnicas de identificação de dependências estruturais e lógicas. Em particular, por meio de um estudo de larga escala, comparamos os conjuntos desses dois tipos de dependências. Em seguida, conduzimos um estudo de caso a fim de identificar as origens de dependências lógicas. Por fim, fazemos um levantamento das técnicas de visualização de dependências e mostramos a ferramenta XFlow. / Design degradation is a central problem investigated in the area of software evolution. The dense web of interdependencies that emerges among classes and modules over time results in code that is hard to change, not reusable and that does not communicate its intention. Among other reasons, designs degrade because requirements changes in ways that were not anticipated by the initial design, i.e. the changes in code introduce new and unplanned dependencies among classes and modules of the system. Dependency management aims to reduce design degradation by means of a series of mechanisms that helps in the management of the inherent structural complexity of object oriented systems. In this work, we investigate structural and logical dependencies identification techniques. In particular, by means of a large scale study, we compare the sets of these two kinds of dependencies. Afterwards, we conduct a case study in order to uncover the origins of logical dependencies. Finally, we survey dependency visualization techniques and present the XFlow tool.

Submitted by Luciclea Silva (luci@ufpa.br) on 2018-10-04T13:19:13Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Portaslogicastotalmente.pdf: 3765525 bytes, checksum: 00ab972c28d64b7d082664048cbab9c8 (MD5) / Approved for entry into archive by Luciclea Silva (luci@ufpa.br) on 2018-10-04T13:19:56Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Portaslogicastotalmente.pdf: 3765525 bytes, checksum: 00ab972c28d64b7d082664048cbab9c8 (MD5) / Made available in DSpace on 2018-10-04T13:19:56Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Portaslogicastotalmente.pdf: 3765525 bytes, checksum: 00ab972c28d64b7d082664048cbab9c8 (MD5) Previous issue date: 2018-08-24 / Neste trabalho, propõe-se a estrutura do dispositivo de portas lógicas totalmente ópticas baseada em um interferômetro Michelson (MI) composto de amplificador óptico semicondutor (SOA) formando uma estrutura de dispositivos lógicos SOA-MI com grade de Bragg de Fibra (FBG) simetricamente idêntica na saída de cada um de seus braços, para simulação numérica das portas lógicas AND, OR e NOR de dois sinais de entrada binários com diferentes números de bit usando a técnica de modulação de ganho cruzado (XGM) a 10 Gb/s de taxa de bits limita a largura de banda em 10, 20 e 40 GHz usando o software OptiSystem 15.0 da OptiWave Corporation para demonstrar e extrair regras simples de projeto para processamento óptico de alta velocidade e análise de propriedades não lineares induzidas por SOA. Além disso, este trabalho inclui o estudo do efeito da largura de banda e número de bits na potência recebida, taxa de erro mínimo (BER), fator máximo de qualidade (fator-Q), relação sinal-ruído óptico (OSNR) e espectro óptico, que demonstra portas de alta velocidade e desempenho. Executou-se as portas lógicas baseadas em SOA-MI com alguns parâmetros e os resultados podem demonstrar uma estrutura de dispositivos lógicos ópticos de alto desempenho com alta velocidade. / In this work, proposes all-optical logic gates device structure based on a Michelson interferometer (MI) composed of semiconductor optical amplifier (SOA) forming a structure of SOA-MI logic devices with symmetrically identical Fiber Bragg Grating (FBG) at the output of each of its arms, for numerical simulation of the all-optical AND, OR and NOR logic gates of two binary input signals with different bit numbers using the cross-gain modulation (XGM) technique at 10 Gb/s bit rate and filter bandwidth at 10, 20 and 40 GHz using OptiSystem 15.0 software by OptiWave Corporation, to demonstrate and extract simple design rules for high-speed optical processing and analysis of non-linear SOA-induced properties. In addition, this work includes the study of the effect of bandwidth and number of bits on received power, minimum bit error rate (BER), maximum quality factor (Q-factor), Optical Signal to Noise Ratio (OSNR) and optical spectrum, which demonstrates high-speed gates and performance. Were run the SOA-MI-based logic gates with some parameters and the results can demonstrate a structure of high-performance optical logic devices with high speed. / IFPA - Instituto Federal de Educação, Ciência e Tecnologia do Pará

MENEZES, José Wally Mendonça. Análise de performance de sólitons ópticos espaço-temporais em guia planar com não-linearidade cúbico quintica periodicamente modulada e circuitos lógicos operando nos regimes Kerr instantâneo e relaxado. 2010. 149 f. Tese (Doutorado em Física) - Programa de Pós-Graduação em Física, Departamento de Física, Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2010. / Submitted by francisco lima (admir@ufc.br) on 2014-06-30T18:38:52Z No. of bitstreams: 1 2010_tese_jwmmenezes.pdf: 7446687 bytes, checksum: 708020e7c4ad24658a46a55f2af5ebc6 (MD5) / Approved for entry into archive by Edvander Pires(edvanderpires@gmail.com) on 2014-08-06T20:53:00Z (GMT) No. of bitstreams: 1 2010_tese_jwmmenezes.pdf: 7446687 bytes, checksum: 708020e7c4ad24658a46a55f2af5ebc6 (MD5) / Made available in DSpace on 2014-08-06T20:53:00Z (GMT). No. of bitstreams: 1 2010_tese_jwmmenezes.pdf: 7446687 bytes, checksum: 708020e7c4ad24658a46a55f2af5ebc6 (MD5) Previous issue date: 2010 / In this work, the propagation and stability of spatiotemporal optical solitons (or optical bullets) in a planar waveguide with periodically modulated cubic-quintic nonlinearity is presented numerically as a function of the amplitudes of modulation , the frequency of modulation and the propagation distance .With the objective of ensure the stability and preventing the collapse or the spreading of pulses, in this study we explore the cubic-quintic nonlinearity with the optical fields coupled by XPM (Cross-Phase Modulation) and take into account several values for the nonlinear parameter , for amplitudes and frequency of modulation as a function of the propagation distance , we cause the collisions of two pulses (envelope of the optical field) to ensure that the optical pulse are sólitons and, after numerical analysis was possible shown the existence of stable spatiotemporal optical sóliton. We also have presented the numerical analysis of the three-core nonlinear fiber coupler in a symmetrical planar structure and operating with instantaneous and relaxed Kerr model for generation of the all-optical logic gates. To implement this optical circuit, we used a control pulse CP with a phase difference between the inputs “I1” and “I2” of the fiber coupler and were analyzed the transmission characteristics, the Extinction Ratio as a function of the phase difference, the length normalized (LN), the figure-of-merit of the logic gates (FOMELG (dB) and the pulse evolution along the fiber coupler and, thus, ensure were demonstrated the possibilities for generating of the all-optical logic gates. / Neste trabalho, a propagação e estabilidade de sólitons espaço-temporais (ou sólitons balas) em um guia de onda planar com não linearidade cúbico quintica periodicamente modulada é apresentada em função da amplitude de modulação , da freqüência de modulação e da distância de propagação . Com o objetivo de garantir a estabilidade e prevenir o colapso ou o espalhamento dos pulsos, exploramos a não-linearidade cúbico quintica com os campos ópticos acoplados por XPM (Modulação de Fase Cruzada) e utilizando diversos valores para o parâmetro não-linear , para as amplitudes e freqüências de modulação em função da distância de propagação , provocamos a colisão de dois pulsos (campos ópticos) para garantir que estes sejam realmente sólitons e, após estas análises numéricas, foi possível mostrar a existência de sólitons espaço-temporais estáveis. Apresentamos, também, a análise numérica de um acoplador triplo não linear de fibras ópticas em uma estrutura planar simétrica e operando com o modelo Kerr instantâneo e relaxado para geração de portas lógicas ópticas. Para implementar estes circuitos, usamos um pulso de controle CP com uma diferença de fase entre as entradas “I1” e “I2” do acoplador e analisamos as características de transmissão, taxa de extinção em função da diferença de fase, a largura normalizada (LN), a figura de mérito para portas lógicas FOMELG(dB) e a evolução dos pulsos ao longo do acoplador e, assim, foi demonstrado as possibilidades para geração das portas lógicas ópticas.

Submitted by Luana Messena (luanamessena@gmail.com) on 2018-04-15T16:42:36Z No. of bitstreams: 1 Dissertação Mestrado Acadêmico APG_Luana Messena.pdf: 2813971 bytes, checksum: 6a7f1dd4a6ce0b8e4cda59e5b51515b3 (MD5) / Approved for entry into archive by Pamela Beltran Tonsa (pamela.tonsa@fgv.br) on 2018-04-16T14:10:54Z (GMT) No. of bitstreams: 1 Dissertação Mestrado Acadêmico APG_Luana Messena.pdf: 2813971 bytes, checksum: 6a7f1dd4a6ce0b8e4cda59e5b51515b3 (MD5) / Approved for entry into archive by Suzane Guimarães (suzane.guimaraes@fgv.br) on 2018-04-16T14:27:19Z (GMT) No. of bitstreams: 1 Dissertação Mestrado Acadêmico APG_Luana Messena.pdf: 2813971 bytes, checksum: 6a7f1dd4a6ce0b8e4cda59e5b51515b3 (MD5) / Made available in DSpace on 2018-04-16T14:27:19Z (GMT). No. of bitstreams: 1 Dissertação Mestrado Acadêmico APG_Luana Messena.pdf: 2813971 bytes, checksum: 6a7f1dd4a6ce0b8e4cda59e5b51515b3 (MD5) Previous issue date: 2018-03-14 / Um corpo crescente de literatura tem investigado a emergência de empresas sociais, organizações que buscam gerar valor social, ambiental e econômico simultaneamente, mesclando características tradicionalmente vinculadas às organizações da sociedade civil com características do mundo empresarial. Compreendendo empresas sociais como organizações híbridas, essa dissertação tem como objetivo responder duas perguntas de pesquisa que buscam ampliar o conhecimento sobre esse novo tipo organizacional: a. Quais são as práticas de monitoramento e avaliação em empresas sociais? b. Como diferentes lógicas institucionais influenciam essas práticas? A revisão de literatura realizada mostrou a pertinência da perspectiva teórica institucional para explorar tanto o tema de monitoramento e avaliação quanto os desafios e tensões que emergem do hibridismo organizacional. A pesquisa estabelece diálogos com a literatura que estuda monitoramento e avaliação em empresas sociais e com a literatura que aplica a teoria de lógicas institucionais ao estudo dessas organizações. Lógicas institucionais podem ser definidas como padrões históricos de símbolos culturais e práticas materiais socialmente construídos que incluem premissas, valores e crenças pelos quais indivíduos e organizações dão sentido para suas atividades diárias, organizam o tempo e o espaço e reproduzem suas vidas e experiências (Thornton, Ocasio e Lounsbury, 2012). Partindo de uma abordagem qualitativa, utilizou-se como método de pesquisa a análise de dois estudos de caso instrumentais. Por meio da realização de entrevistas semi-estruturadas, análise documental e observações, os casos de duas empresas sociais brasileiras foram analisados. As práticas de monitoramento e avaliação foram destrinchadas à luz dos seus propósitos, características metodológicas, atores envolvidos e usos, traçando um histórico detalhado de experiências vividas. Os desafios e tensões relacionados às práticas também foram explorados e se mostraram especialmente ricos para compreensão do ambiente de pluralismo institucional que essas organizações estão imersas. Optou-se por partir dos achados e afirmações da literatura sobre a existência de uma lógica de bem-estar social e uma lógica comercial influenciando empresas sociais (Battilana e Dorado, 2010; Smith et al., 2013; Pache e Santos, 2013; Mair, Mayer e Lutz, 2015; Nicholls e Huybrechts, 2016; Maibom e Smith, 2016). Os resultados da pesquisa mostram como os membros das organizações estudadas combinam ambas as lógicas em determinados elementos organizacionais e como as experiências e as práticas de monitoramento e avaliação são marcadas, especialmente, por estratégias de negociação e adaptação frente à diferentes prescrições institucionais. / A growing body of literature has investigated the emergency of social enterprises that seek the social, environmental and economic value simultaneously, merging traditionally characteristics affiliated to associations of civil society with characteristics of the entrepreneurial world. Comprehending social enterprises as hybrid organizations, this dissertation aims to answer two research questions that seek to broaden the knowledge about this new organizational type: a. What are the monitoring and evaluation practices in social enterprises? b. How do different institutional logics influence these practices? The literature review showed the theoretical relevance of the institutional perspective to explore both the monitoring and evaluation theme and the challenges and tensions that emerge from organizational hybridism. The research establishes dialogues with the literature that studies monitoring and evaluation in social enterprises and with the literature that applies the theory of institutional logics to the study of these organizations. Institutional logics can be defined as the socially constructed, historical patterns of cultural symbols and material practices, including assumptions, values, and beliefs, by which individuals and organizations provide meaning to their daily activity, organize time and space, and reproduce their lives and experiences (Thornton, Ocasio and Lounsbury, 2012). Starting from a qualitative approach, it was used the analysis of two instrumental case studies, as the research method. Through semi-structured interviews, documentary analysis and observations, the cases of two Brazilian social enterprises were analyzed. The monitoring and evaluation practices were unraveled considering the purpose, methodological characteristics, involved actors and uses, tracing a detailed history of lived experiences. The challenges and tensions related to practices have also been explored and have proven especially rich in understanding the institutional pluralism environment that these organizations are immersed in. It was decided to start from the findings and affirmations of the literature on the existence of a social welfare logic and a commercial logic influencing social enterprises (Battilana and Dorado, 2010; Smith et al., 2013, Pache and Santos, 2013; Mair et al., 2015, Nicholls and Huybrechts, 2016, Maibom and Smith, 2016). The results of the research show how the members of the organizations studied combine both logics in certain organizational elements and how experiences and practices of monitoring and evaluation are especially marked by strategies of negotiation and adaptation to different institutional prescriptions.

Made available in DSpace on 2016-06-02T19:29:43Z (GMT). No. of bitstreams: 1 4175.pdf: 5543574 bytes, checksum: 6ad253555867a94756824560171065d9 (MD5) Previous issue date: 2010-10-29 / Universidade Federal de Sao Carlos / In this study we present the case of Ilha Diana caiçara community (Santos, Brazil), which is passing through significant transformations as the artisanal fishing activity declines and the industrial-port complex expands through this territory. We discuss which elements configure adaptability and resilience to the social-ecological system that evolves the Ilha Diana caiçara community in order to build resilience. The aims were the qualitative identification of caiçara cultural aspects, of social mechanisms and management traditional practices of the fishing resources and their transformations (1), as well as the analysis of the social-technological net logique d action composed by the emergent controversy of the environmental licensing of a modern port terminal (2). Proceeding the first analysis, we adopted an ethnoecological approach interviewing 20 Ilha Diana inhabitants (9% of the resident population), with ages varying from 18 to 90 years, respecting the equity between genders. Proceeding the second analysis, ten social stakeholders evolved at the controversy of port expansion were interviewed. Particular aspects of caiçara culture were identified at Ilha Diana territory, as its social organization linked to fishery and the self-recognition of this culture. We identified seven fishing management practices based on the local ecological knowledge, four social mechanisms connected to those practices, three innovation technological practices and the extinction of a traditional practice of selective fishery. The intergenerational loss of ecological knowledge and its linked social mechanisms can decrease resilience in this social-ecological system. However, the social mechanisms here identified may be a counterbalance to the negative aspects of crisis, promoting the re-organization of the system. We also noticed that the commercial and industrial logique d action , dominant worldviews within the ambit of the studied territory exert a negative influence for the maintenance of fishing practices and caiçara social mechanisms of Ilha Diana. The civic, domestic and opinion logics are only the counterpoint to the dominant views, as social-environmental conditions to licensing process of significant environmental impact undertakings. Thus we could not observe a real translation process of the analyzed licensing merely a process of negotiating conditions resulting in suspicions and conflicts which demonstrated that the concerning net is not wide, strengthened, attentive and clear. Then, we conclude that the promotion of resilience within the ambit of the studied social-ecological system will depend on the adaptive ability of the community, starting with sustainable socioeconomic practices, as, for instance, those based on their cultural upgrading. We think that it will also depend on debates with wide popular participation about the Santos estuarine portuary development projects, on a clear way, in terms of strengthening the concerning nets and elevate the vigilance upon them. / Apresentamos neste estudo o caso da comunidade caiçara da Ilha Diana, a qual passa por transformações devido ao declínio da pesca artesanal e à expansão do complexo industrialportuário no estuário de Santos - SP. Discutimos quais elementos configuram adaptatividade e resiliência no sistema socioecológico que envolve a comunidade da Ilha Diana para que a sustentabilidade seja construída. Para tal, foram objetivos: (1) a identificação qualitativa dos aspectos da cultura caiçara, dos mecanismos sociais e práticas tradicionais de manejo dos recursos pesqueiros e suas transformações; (2) a analise das lógicas de ação da rede sociotécnica formada pela emergência da controvérsia do licenciamento ambiental de um moderno terminal portuário. Para a primeira análise, nos valemos de uma abordagem etnoecológica entrevistando 20 residentes da Ilha Diana (9% da população total), com idades variando de 18 a 90 anos, respeitando-se a equidade entre gêneros. Para a segunda análise, foram entrevistados dez atores sociais envolvidos na controvérsia da expansão portuária. Foram identificados aspectos próprios da cultura caiçara no território da Ilha Diana, como sua organização social interligada à pesca e o auto-reconhecimento de sua cultura. Identificamos sete práticas de manejo pesqueiro baseadas no conhecimento ecológico local, quatro mecanismos sociais atrelados às tais práticas, três processo de inovação tecnológica e a extinção de uma prática de pesca tradicional seletiva. A perda intergeracional de conhecimento ecológico e dos mecanismos sociais atrelados pode ocasionar na redução de resiliência. Todavia, os mecanismos sociais identificados poderão contrabalançar aspectos negativos do processo de mudança e crise, promovendo a reorganização do sistema. Também identificamos que as lógicas de ação comerciais e industriais, visões de mundo dominantes no território estudado, interferem negativamente na manutenção das práticas pesqueiras e mecanismos sociais caiçaras da Ilha Diana. As lógicas cívica, doméstica e de opinião apenas exercem o contraponto às visões dominantes, na forma de condicionantes socioambientais aos processos de licenciamento de empreendimentos com significativo impacto ambiental. Desta forma, não foi observado um real processo de tradução do licenciamento analisado, apenas um processo de negociação de condicionantes, que resultou em desconfianças, conflitos, demonstrando que a rede em questão não é ampla, fortalecida, vigilante e transparente. Conclui-se que a promoção de resiliência no sistema socioecológico estudado dependerá da capacidade adaptativa da comunidade, a partir de práticas socioeconômicas sustentáveis, como aquelas baseadas na valorização de sua cultura. Dependerá também de que os projetos de expansão portuária no estuário de Santos sejam debatidos com ampla participação popular, de forma transparente, com vistas a fortalecer as redes e elevar sua vigilância.

Submitted by Priscilla Araujo (priscilla@ibict.br) on 2018-08-07T18:37:30Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tobias Sombra-Mestrado-2018.pdf: 2977663 bytes, checksum: b45309648a3be783327111ae5673abab (MD5) / Made available in DSpace on 2018-08-07T18:37:30Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tobias Sombra-Mestrado-2018.pdf: 2977663 bytes, checksum: b45309648a3be783327111ae5673abab (MD5) Previous issue date: 2018-03-22 / Este trabalho apresenta uma pesquisa exploratória usando o algoritmo Naive Bayes com capacidade para classificar documentos no Mendeley usando até cinco classes de saída, definidas com base na quantidade de leitores dos documentos. Usando uma série de atributos que foram encontrados durante a coleta de dados, é realizada a classificação para tentar identificar padrões nos atributos, a fim de reconhecer lógicas sociais dos cientistas, que envolve tanto o comportamento quanto sua dinâmica nas redes sociais científicas. Para fins de concretização deste trabalho, foi aplicada uma Revisão Sistemática de Literatura, a fim de buscar o estado da arte de pesquisas que envolvam o uso de Reconhecimento de Padrões em Redes Sociais Científicas, além da aplicação de um método que envolve o uso de algoritmos desenvolvidos para o tratamento automático de todos os dados coletados no Mendeley. / This work is an exploratory research using the Naive Bayes algorithm with the ability to classify documents in Mendeley using the output classes, based on the amount of reading of the documents. Using a series of data that was found during a data collection, a classification is given to check the patterns in the attributes, an end to recognize the social logics of the scientists, that involve both the behavior and its dynamics in scientific social networks. For the purpose of this work, a literature systematic review was applied, with emphasis on the use of methods that involve the use of social networking concepts, as well as the application of a method for the use of algorithms. Created for automatic processing of all data collected at Mendeley.

Made available in DSpace on 2016-08-17T14:53:05Z (GMT). No. of bitstreams: 1 Lucas Rego Drumond.pdf: 6150160 bytes, checksum: 27ad4ea0ffdf273a78782ada8f04da6b (MD5) Previous issue date: 2009-10-23 / Knowledge representation formalisms, such as ontologies, have proven to be a powerful tool for enhancing the effectiveness of natural language processing, information filtering and retrieval and so on. Besides these tasks, ontologies are also crucial for the Semantic Web, a new generation of the Web that aims at structuring its content in such a way that it can be more effectively processed by machines. However, knowledge systems suffer from the so called knowledge acquisition bottleneck, i.e. the difficulty in constructing knowledge bases. An approach for this problem is to provide automatic or semi-automatic support for ontology construction, a field of research known as ontology learning. This work discusses the state of the art of ontology learning techniques and proposes and approach for supporting the ontology construction process through the automatization of the concept hierarchy extraction from textual sources. The proposed process is composed by two techniques, namely PRECE (Probabilistic Relational Concept Extraction) and PREHE (Probabilistic Relational Hierarchy Extraction). The PRECE technique extracts ontology concepts from textual sources while the PREHE technique extracts taxonomic relationships between the concepts extracted by PRECE. Both techniques use Markov logic networks, an approach for statistical relational learning that combines first order logic with Markov networks. The PRECE and PREHE techniques were evaluated in the touristic domain and their results were compared with an ontology manually developed by a domain expert. / Os formalismos de representação do conhecimento como as ontologias têm se mostrado uma poderosa ferramenta para melhorar a efetividade de sistemas de processamento da linguagem natural, recuperação e filtragem de informação e muitas outras tarefas. Além disso, as ontologias são essenciais para a Web Semântica, uma nova geração da Web que visa estruturar o conteúdo da mesma de modo que este possa ser processado de forma mais efetiva pelas máquinas. Entretanto, os sistemas de conhecimento sofrem do problema conhecido como o gargalo da aquisição do conhecimento, que nada mais é do que a dificuldade de construção das bases de conhecimento. Uma abordagem para este problema é o suporte automático ou semi-automático à construção de ontologias. Este campo de pesquisa é conhecido como aprendizagem de ontologias. Este trabalho discute o estado da arte das técnicas de aprendizagem de ontologias e propõe uma abordagem para o suporte ao processo de construção de ontologias através da automatização da extração de hierarquias de conceitos a partir de fontes textuais. O processo proposto é composto por duas técnicas, a PRECE (Probabilistic Relational Concept Extraction) para a extração de conceitos e a PREHE (Probabilistic Relational Hierarchy Extraction) para a descoberta de relacionamentos taxonômicos entre os conceitos extraídos pela PRECE. As duas técnicas fazem uso das Redes Lógicas de Markov, uma abordagem da aprendizagem probabilística relacional que combina a lógica de primeira ordem com as redes de Markov. As técnicas PRECE e PREHE foram avaliadas no domínio turístico comparando os seus resultados com uma ontologia desenvolvida manualmente por especialistas neste domínio.