Orientadores: Marcelo Esteban Coniglio, Carlos Caleiro / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T00:28:23Z (GMT). No. of bitstreams: 1 Bueno-Soler_Juliana_M.pdf: 944055 bytes, checksum: 560404307eedeebf3b45f7ca82f30d78 (MD5) Previous issue date: 2004 / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Fernando Antônio Campos Gomide / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-18T15:47:57Z (GMT). No. of bitstreams: 1 Fuini_MateusGuilherme_M.pdf: 2245163 bytes, checksum: de5163a887c624c4488ae7be6adde00a (MD5) Previous issue date: 2006 / Resumo: Neste trabalho utilizam-se as teorias de Linguagem Formal Nebulosa e da Computacional das Percepções de Zadeh para definir buscas em uma base de dados gráfica. A descrição dos elementos gráficos a serem identificados é codificada por meio de sentenças aceitas por uma gramática nebulosa e definida sobre um conjunto de símbolos gráficos terminais reconhecidos por rotinas computacionais específicas. Esses símbolos terminais rotulam a imagem a ser pesquisada. A teoria da Percepção Computacional é usada para permitir que o usuário defina as relações espaciais a serem partilhadas pelos elementos gráficos na cena a ser pesquisada. Os resultados obtidos com buscas realizadas em uma base de dados gráfica com 22000 desenhos mostram que o sistema proposto fornece uma alternativa interessante para solução de buscas em bancos de dados visuais / Abstract: In this work, Fuzzy Formal Language techniques and Zadeh's Computational Theory of Perceptions are used to allow the user to query graphic data bases. The description of the graphic elements to be searched is encoded by means of fuzzy sentences accepted by a fuzzy grammar defined over a set of graphic primitives recognized by specific computational routines aimed to label different primitive graphic components of a given image. The Computational Theory of Perceptions is used to allow the user to specify the required spatial relations to be shared by the selected in the graphic scenes to be selected. The results obtained by querying a 22000 graphic scene data base support the claim that our approach provides a interesting solution for querying visual data bases / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Multi-agent systems (MASs) can be used to model phenomena that can be decomposed into several interacting agents which exist within an environment. In particular, they can be used to model human and animal societies, for the purpose of analysing their properties by computational means. This thesis is concerned with the automated analysis of a particular kind of such social models, namely, those based on behaviourist principles, which contrasts with the more dominant cognitive approaches found in the MAS literature. The hallmark of behaviourist theories is the emphasis on the definition of behaviour in terms of the interaction between agents and their environment. In this manner, not merely re exive actions, but also learning, drives, and emotions can be defined. More specifically, in this thesis we introduce a formal agent architecture (specified with the Z Notation) based on the Behaviour Analysis theory of B. F. Skinner, and provide a suitable formal notion of environment (based on the pi-calculus process algebra) to bring such agents together as an MAS. Simulation is often used to analyse MASs. The techniques involved typically consist in implementing and then simulating a MAS several times to either collect statistics or see what happens through animation. However, simulations can be used in a more verification-oriented manner if one considers that they are actually explorations of large state-spaces. In this thesis we propose a novel verification technique based on this insight, which consists in simulating a MAS in a guided way in order to check whether some hypothesis about it holds or not. To this end, we leverage the prominent position that environments have in the MASs of this thesis: the formal specification of the environment of a MAS serves to compute the possible evolutions of the MAS as a transition system, thereby establishing the state-space to be investigated. In this computation, agents are taken into account by being simulated in order to determine, at each environmental state, what their actions are. Each simulation execution is a sequence of states in this state-space, which is computed on-the-fly, as the simulation progresses. The hypothesis to be investigated, in turn, is given as another transition system, called a simulation purpose, which defines the desirable and undesirable simulations (e.g., \"every time the agent does X, it will do Y later\"). It is then possible to check whether the MAS satisfies the simulation purpose according to a number of precisely defined notions of satisfiability. Algorithmically, this corresponds to building a synchronous product of these two transitions systems (i.e., the MAS\'s and the simulation purpose) on-the-fly and using it to operate a simulator. That is to say, the simulation purpose is used to guide the simulator, so that only the relevant states are actually simulated. By the end of such an algorithm, it delivers either a conclusive or an inconclusive verdict. If conclusive, it becomes known whether the MAS satisfies the simulation purpose with respect to the observations made during simulations. If inconclusive, it is possible to perform some adjustments and try again. In summary, then, in this thesis we provide four novel elements: (i) an agent architecture; (ii) a formal specification of the environment of these agents, so that they can be composed into an MAS; (iii) a structure to describe the property of interest, which we named simulation purpose; and (iv) a technique to formally analyse the resulting MAS with respect to a simulation purpose. These elements are implemented in a tool, called Formally Guided Simulator (FGS). Case studies executable in FGS are provided to illustrate the approach. / Sistemas multi-agentes (SMAs) podem ser usados para modelar fenômenos que podem ser decompostos em diversos agentes que interagem entre si dentro de um ambiente. Em particular, eles podem ser usados para modelar sociedades humanas e animais, com a finalidade de se analisar as suas propriedades computacionalmente. Esta tese trata da análise automatizada de um tipo particular de tais modelos sociais, a saber, aqueles baseados em princípios behavioristas, o que contrasta com as abordagens cognitivas mais dominante na literatura de SMAs. A principal característica das teorias behaviorista é a ênfase na descrição do comportamento em termos da interação entre agentes e seu ambiente. Desta forma, não apenas ações refl exivas, mas também de aprendizado, motivações, e as emoções podem ser definidas. Mais especificamente, nesta tese apresentamos uma arquitetura de agentes formal (especificada através da Notação Z) baseada na teoria da Análise do Comportamento de B. F. Skinner, e fornecemos uma noção adequada e formal de ambiente (com base na álgebra de processos pi-calculus) para colocar tais agentes juntos em um SMA. Simulações são freqüentemente utilizadas para se analisar SMAs. As técnicas envolvidas tipicamente consistem em simular um SMA diversas vezes, seja para coletar estatísticas, seja para observar o que acontece através de animações. Contudo, simulações podem ser usadas de forma a pertmitir a realização de verificações automatizadas do SMA caso sejam entendidas como explorações de grandes espaços-de-estados. Nesta tese propomos uma técnica de verificação baseada nessa observação, que consiste em simular um SMA de uma forma guiada, a fim de se determinar se uma dada hipótese sobre ele é verdadeira ou não. Para tal fim, tiramos proveito da importância que os ambientes têm nesta tese: a especificação formal do ambiente de um SMA serve para calcular as evoluções possíveis do SMA como um sistema de transição, estabelecendo assim o espaço-de-estados a ser investigado. Neste cálculo, os agentes são levados em conta simulando-os, a fim de determinar, em cada estado do ambiente, quais são suas ações. Cada execução da simulação é uma seqüência de estados nesse espaço-de-estados, que é calculado em tempo de execução, conforme a simulação progride. A hipótese a ser investigada, por sua vez, é dada como um outro sistema de transição, chamado propósito de simulação, o qual define as simulações desejáveis e indesejáveis (e.g., \"sempre que o agente fizer X, ele fará Y depois\"). Em seguida, é possível verificar se o SMA satisfaz o propósito de simulação de acordo com uma série de relações de satisfatibilidade precisamente definidas. Algoritmicamente, isso corresponde a construir um produto síncrono desses dois sistemas de transições (i.e., o do SMA e o do propósito de simulação) em tempo de execução e usá-lo para operar um simulador. Ou seja, o propósito de simulação é usado para guiar o simulador, de modo que somente os estados relevantes sejam efetivamente simulados. Ao terminar, um tal algoritmo pode fornecer um veredito conclusivo ou inconclusivo. Se conclusivo, descobre-se se o SMA satisfaz ou não o propósito de simulação com relação às observações feitas durante as simulações. Se inconclusivo, é possível realizar alguns ajustes e tentar novamente. em resumo, portanto, nesta tese propomos quatro novos elementos: (i) uma arquitetura de agente, (ii) uma especificação formal do ambiente desses agentes, de modo que possam ser compostos em um SMA, (iii) uma estrutura para descrever a propriedade de interesse, a qual chamamos de propósito de simulação, e (iv) uma técnica para se analisar formalmente o SMA resultante com relação a um propósito de simulação. Esses elementos estão implementados em uma ferramenta, denominada Simulador Formalmente Guiado (FGS, do inglês Formally Guided Simulator). Estudos de caso executáveis no FGS são fornecidos para ilustrar a abordagem.

[pt] Inúmeras linguagens de programação oferecem suporte a finalizadores e referências fracas. Não obstante, de maneira geral esses mecanismos são relativamente pouco conhecidos e pouco usados por programadores. Mesmo entre pesquisadores e desenvolvedores de linguagens não existe muito consenso quanto à sua semântica, que varia consideravelmente entre diferentes implementações. Neste trabalho buscamos explorar os conceitos de finalizadores e de referências fracas, suprindo a ausência de uma especificação clara e abrangente, e permitindo uma melhor compreensão, implementação e uso dos mecanismos correspondentes. Como ponto de partida realizamos um amplo levantamento sobre como é feito o suporte a finalizadores e referências fracas em diferentes linguagens de programação, identificando as características comuns, os problemas, e as questões semânticas mais relevantes associadas às implementações consideradas. Para garantir uma maior precisão em nossa análise, utilizamos um modelo abstrato de uma linguagem de programação com gerenciamento automático de memória. Através deste modelo especificamos formalmente a semântica de finalizadores e referências fracas, incluindo descrições das suas principais variantes e mecanismos relacionados. Além disso, provamos certas propriedades inerentes a linguagens de programação com gerenciamento automático de memória, indicando como estas são afetadas pela introdução de finalizadores e referências fracas. Por fim, consideramos possíveis estratégias de implementação desses mecanismos em diferentes tipos de sistemas. Algumas das opções semânticas investigadas impõe um custo de processamento expressivo, o que frequentemente inviabiliza a sua adoção na prática. / [en] Most mainstream programming languages support finalizers and weak references. In spite of that, these abstractions are still modestly known by programmers in general. Even among language designers there seems to be no common view on how to define their semantics, and language implementations certainly reflect that. In this thesis we explore the concepts of finalizer and weak reference by discussing several important issues that, as far as we know, have not been explored by other authors. After presenting a survey on how finalizers and weak references are supported by actual programming languages, we thoroughly examine their semantics and discuss alternative implementation strategies. We also use an operational approach to develop a formal model for reasoning about garbage collection and its interaction with client programs. By explicitly representing low-level details, such as heap memory and its addresses, we were able to clearly specify memory management actions, and prove several important memory-related language invariants. Using this model we describe a formal semantics for finalizers and weak references, exploring some of its many subtleties. We believe that the topics covered here can serve as a relevant reference for further investigations, and also help to guide actual implementations.

Made available in DSpace on 2011-05-04T12:36:30Z (GMT). No. of bitstreams: 0 Previous issue date: 2010 / Este trabalho tem como objetivo analisar o papel do Conselho Nacional de Saúde (CNS) no governo Lula, identificando os desafios para o aprofundamento e expansão da participação social em saúde, tendo como referencial os pressupostos preconizados no projeto de Reforma Sanitária. A proposta com a pesquisa foi identificar as coalizões e as tensões entre os segmentos que compõem o conselho e as estratégias para enfrentar os limites impostos na atualidade. Inicialmente, foi aprofundada a discussão sobre os conselhos de saúde como inovações na formulação de políticas públicas e mecanismos de participação da sociedade nas decisões do Estado. Nesta perspectiva, problematiza-se as concepções de democracia, participação e controle social com o intuito de compreender a importância da constituição de espaços públicos para o processo de democratização da relação Estado e sociedade. Em seguida, foi realizado um breve histórico do Conselho Nacional de Saúde. Para subsidiar o estudo, ressalta-se a necessidade de compreender a trajetória histórica desse mecanismo de controle social, da sua origem até a atualidade. Através de pesquisa documental do material produzido pelo CNS foi possível sinalizar os temas que geram tensões e coalizões entre os segmentos que compõe o conselho e apontar a direção da agenda de proposições dessa instância deliberativa e a atuação deste Conselho frente à política nacional de saúde. Esta dissertação pretende contribuir para a reflexão crítica sobre o papel dos conselhos de saúde, em especial do CNS, na democratização da relação Estado sociedade, destacando as possibilidades e limites dessa instância de participação do SUS na atual conjuntura. / This paper analyzes the role of the National Health Council (CNS) in the Lula government, identifying the challenges to the development and expansion of social participation in health, taking in consideration the conditions recommended in the Health Reform Project. The proposal with the research was to identify the coalitions and tensions between the segments that compose the Council and the strategies to face the limits imposed nowadays. Initially, the discussion on the health councils as an innovation in public policies and as mechanisms of participation of the community in the state’s decisions was deepened. From this perspective, it is discussed the conceptions of democracy, participation and social control in order to understand the importance of setting up public spaces for the democratization process of the statecommunity relation. Following this, a brief historic of the National Health Council was carried out. To support this study, it is necessary to understand the historical trajectory of this social control mechanism, since its beginnings until the present moment. Through a research of documentary material produced by the CNS it was possible to signalize the issues that create tensions and coalitions between the segments that compose the board and point the direction of the proposition agenda of this deliberative body and the performance of this Council against the national health policy. This thesis aims to contribute to critical reflection on the role of health councils, particularly the CNS, in the democratization of the state-society relation, highlighting the possibilities and limitations of this instance of involvement of SUS in the present conjuncture.

Na aproximação de potencial local (L\\downarrow1) a transformação de grupo de renormalização para o modelo O(N) de Heisenberg hierárquico é descrita por uma equação a derivadas parciais (EDP). Neste trabalho investigamos, na criticalidade (sistema à temperatura inversa crítica), a somabilidade da série de potências em 1/N que formalmente satisfaz essa EDP. / In the local potential approximation (L\\downarrow1) the renormalization group transformation for the hierarchical O(N) Heisenberg model is described by a partial differential equation (PDE). In this work we investigate, at criticality (system at inverse critical temperature), the summability of the formal power series in 1/N which formally satisfies that PDE.

[pt] A pesquisa entrelaça memória, espaços educativos não formais e identidade. O objetivo central é analisar a dimensão educativa do Museu da Maré no Rio de Janeiro e suas possibilidades de contribuição para o fortalecimento identitário de grupos populares através da valorização e ressignificação da história e da construção das memórias locais. Abordo o conceito, os pressupostos teóricos e desafios dos museus comunitários como espaços educativos não formais, enfocando como estudo de caso o Museu da Maré. Os museus comunitários e ecomuseus emergem no Rio de Janeiro com o Ecomuseu de Santa Cruz em 1983, porém ganham visibilidade com o Museu da Maré a partir de 2006, por ser este o primeiro museu de favela no Brasil criado pela própria comunidade. O quadro teórico baseou-se para o conceito de memória, principalmente em Paul Ricoeur, Jacques Le Goff e Beatriz Sarlo. Para o de identidade utilizamos Stuart Hall, Manuel Castells, Vera Maria Candau e Tomaz Tadeu da Silva. Para espaços educativos não formais privilegiei Maria Glória Gohn, Jaume Trilla e Elie Ganem. Por fim, para os conceitos da Nova Museologia, museu comunitário e ecomuseu me apoiei basicamente em Mário Chagas e Hugue de Varine. De inspiração etnográfica, meu caminho metodológico baseou-se na história oral. Na pesquisa de campo utilizou-se três tipos de aproximações ao objeto de estudo: observação de diferentes atividades desenvolvidas no Museu e de diversos ambientes da comunidade em geral, entrevistas semiestruturadas feitas aos pescadores da Maré e aos diretores e funcionários do Museu da Maré e análise dos Livros institucionais do Museu, a saber: o Livro de Assinaturas e o Livro de Depoimentos dos visitantes. Como uma das principais conclusões de minha pesquisa sobre a dimensão educativa do Museu da Maré posso afirmar que me deparei de fato com um Museu que tem significado para a região da Maré e dialoga com a cidade, o país e outros lugares, embora não represente totalmente todas as suas comunidades. No entanto, ele se fez comunitário, na medida em que foi criado e tem a participação cotidiana do movimento social e da comunidade local de seu entorno. Além disso, o fato do Museu da Maré apresentar uma linguagem museográfica que suscita referências da história local e permite que seus visitantes reflitam sobre as mesmas, se emocionem e construam memórias locais possibilitando através das mesmas um fortalecimento identitário, torna especialmente evidente e significativa sua dimensão educativa. Por fim, o Museu da Maré gera visões de nós e dos outros estabelecendo um jogo sutil e constante entre identidades e alteridades em suas memórias construídas e histórias narradas. / [en] The research intertwines memory, non-formal educational spaces and identity. The main objective is to analyze the educational dimension of the Maré Museum in Rio de Janeiro and its possible contributions to the strengthening of the group identity related to popular groups through appreciation and reinterpretation of the history and construction of local memories. I approach the concept, the theoretical assumptions and challenges of community museums as non-formal educative spaces, by using the Maré Museum as a case study . The community museums and ecomuseums emerge in Rio de Janeiro with the Eco-museum of Santa Cruz in 1983, but became more visible with the Maré Museum as of 2006, since this is the first museum in Brazil s slums created by the community itself. The theoretical framework related to the concept of memory was essentially based on work of Paul Ricoeur, Jacques Le Goff and Beatriz Sarlo. For the theoretical framework associated with identity development, I have chosen the studies performed by Stuart Hall, Manuel Castells, Vera Maria Candau and Tomaz Tadeu da Silva. For the non-formal educational spaces theoretical basis I have privileged Maria Gloria Gohn, Jaume Trilla and Elie Ganem. Finally, for the concepts of New Museology, community museum and ecomuseum I rely primarily on Mario Chagas and Hugue de Varine. My methodological approach of ethnographic inspiration was based on oral history. In the field research I used three types of approaches to the object of study: observation of different activities in the Museum and of the community at large, semi-structured interviews to fishermen of the Maré and to the directors and staff of the Museum of the Maré and analysis of the institutional books of the Museum, namely the Book of Signatures and the Book of Testimonies from visitors. As one of the main conclusions of my research on the educational dimension of the Mare Museum I can state that this museum does have meaning for the region of Maré and dialogues with the city, the country and elsewhere, although it does not fully represent all its communities. However, this museum has been able to develop a community related feature , as it was created by and has the daily involvement of the social movement and the local community of their surroundings. Moreover, the fact that the Mare Museum display a museographic language which raises references of local history and allows visitors to reflect on them and build local memories enabling a strengthening of identity, makes its educative dimension particularly evident and significant. Finally, the Maré Museum generates visions of ourselves and others by establishing a more subtle and constant dynamic between individuals identities and their constructed memories and narrated stories.

Na atualidade, o interesse pelo uso de ontologias tem sido incrementado. No entanto, o processo de construção pode ser custoso em termos de tempo. Para uma ontologia ser construída, precisa-se de um especialista com conhecimentos de um editor de ontologias. Com a finalidade de reduzir tal processo de construção pelo especialista, analisamos e propomos um método para realizar aprendizado de ontologias (AO) de forma supervisionada. O presente trabalho consiste em uma abordagem combinada de diferentes técnicas no AO. Primeiro, usamos uma técnica estatística chamada C/NC-values, acompanhada da ferramenta Cogroo, para extrair os termos mais representativos do texto. Esses termos são considerados por sua vez como conceitos. Projetamos também uma gramática de restrições (GR), com base na informação linguística do Português, com o objetivo de reconhecer e estabelecer relações entre conceitos. Para poder enriquecer a informação na ontologia, usamos a análise de conceitos formais (ACF) com o objetivo de identificar possíveis superconceitos entre dois conceitos. Finalmente, extraímos ontologias para os textos de três temas, submetendo-as à avaliação dos especialistas na área. Um web site foi feito para tornar o processo de avaliação mais amigável para os avaliadores e usamos o questionário de marcos de características proposto pelo método OntoMetrics. Os resultados mostram que nosso método provê um ponto de partida aceitável para a construção de ontologias. / Nowadays, the interest in the use of ontologies has increased, nevertheless, the process of ontology construction can be very time consuming. To build an ontology, we need a domain expert with knowledge in an ontology editor. In order to reduce the time needed by the expert, we propose and analyse a supervised ontology learning (OL) method. The present work consists of a combined approach of different techniques in OL. First, we use a statistic technique called C/NC-values, with the help of the Cogroo tool, to extract the most significant terms. These terms are considered as concepts consequently. We also design a constraint grammar (CG) based in linguistic information of Portuguese to recognize relations between concepts. To enrich the ontology information, we use the formal concept analysis (FCA) in order to discover a parent for a set of concepts. In order to evaluate the method, we have extracted ontologies from text on three different domains and tested them with corresponding experts. A web site was built to make the evaluation process friendlier for the experts and we used an evaluation framework proposed in the OntoMetrics method. The results show that our method provides an acceptable starting point for the construction of ontologies.

Submitted by Andreza Leão (andrezaflh@gmail.com) on 2018-06-18T18:34:14Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Disertacao_EfeitosHistoriaReforco.pdf: 1023369 bytes, checksum: 4771601ba30b8288ce7324dc05045a68 (MD5) / Approved for entry into archive by Celia Santana (celiasantana@ufpa.br) on 2018-12-12T17:46:51Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Disertacao_EfeitosHistoriaReforco.pdf: 1023369 bytes, checksum: 4771601ba30b8288ce7324dc05045a68 (MD5) / Made available in DSpace on 2018-12-12T17:46:51Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Disertacao_EfeitosHistoriaReforco.pdf: 1023369 bytes, checksum: 4771601ba30b8288ce7324dc05045a68 (MD5) Previous issue date: 2011-11-24 / CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico / O presente estudo teve como objetivo avaliar os efeitos: a) de uma história de um comportamento alternativo ao especificado pela regra, estabelecido por reforço diferencial e mantido em CRF antes da apresentação da regra; b) do esquema de reforço programado para reforçar o não-seguimento de regras (isto é, o comportamento alternativo) após a apresentação da regra; e, c) das propriedades formais das regras (isto é, das consequências sociais futuras, implicitamente relatadas nas regras), sobre o seguimento de regras discrepantes das contingências. Vinte e quatro estudantes universitários foram expostos a um procedimento de escolha de acordo com o modelo. A tarefa era apontar para os estímulos de comparação em sequência. Os estudantes foram distribuídos em quatro condições. Em cada condição, na Fase 1, a sequência correta (isto é, o comportamento alternativo ao especificado pela regra) era estabelecida por reforço diferencial em esquema de reforço contínuo e mantida neste esquema. Nas Fases 2 e 3, as contingências eram mantidas inalteradas, enquanto as regras eram manipuladas. Na Fase 1 das Condições 1 e 3, eram feitas perguntas acerca das contingências. Nas Condições 2 e 4, não eram feitas perguntas. Nas Condições 1 e 2, a Fase 2 era iniciada com a sugestão e a Fase 3, com a ordem. Nas Condições 3 e 4, era o inverso. Na Fase 2, 100% dos participantes abandonaram o seguimento da regra discrepante das contingências em forma de sugestão e 60% dos participantes abandonaram o seguimento da regra discrepante das contingências em forma de ordem. Os resultados apóiam a sugestão de que o efeito característico de uma determinada variável (como por exemplo, o da história de reforço contínuo do comportamento alternativo ao especificado pela regra) em tornar o seguimento de regra discrepante sensível às contingências, pode depender de sua combinação com outras variáveis. Também sugerem que as propriedades formais das regras deveriam passar a ser consideradas como uma variável que pode interferir no seguimento de regras. / The present study aimed to assess the effects of a) a history of an alternative behavior to that specified by the rule, established by differential reinforcement and maintained in CRF before the presentation of the rule; b) schedule of reinforcement programmed to strengthen the non-following rules (it means the alternative behavior) after presentation of rule and c) the formal properties of rules (it means the future social consequences, implicitly reported in the rules) on the discrepant rule following contingencies. Twenty-four college students were exposed to a procedure for choosing in agreement with the model. The task was to point out the comparison stimuli in sequence. Students were distributed in four conditions. In each condition, in Phase 1, the correct sequence (it means alternative to the behavior specified by the rule) was established by differential reinforcement in continuous schedule of reinforcement and maintained in this scheme. In Phases 2 and 3, the contingencies were kept unchanged, while the rules were manipulated. In Phases 2 and 3, the contingencies were kept unchanged while the rules were manipulated. In Phase 1 of the Conditions 1 and 3, questions were asked about the contingencies. In Conditions 2 and 4, no questions were asked. In Conditions 1 and 2, Phase 2 was initiated with a suggestion and Phase 3 with a order. In Conditions 3 and 4, was the reverse. In Phase 2 100% of participants were lost to follow-up of the discrepant rule of contingencies in form of suggestion and 60% of participants were lost to follow-up of the discrepant rule of contingencies in form of order. The results support the suggestion that the characteristic effect of a certain variable (for example, the story of the continuous reinforcement of the alternative behavior specified by the rule) to make the following discrepant rule sensitive to contingencies and may depend on its combination with other variables. They also suggest that the formal properties of the rules should now be considered as a variable that can interfere with the following rules.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2016-04-18T18:20:32Z No. of bitstreams: 1 Marcelo Cacinotti Costa_.pdf: 2247842 bytes, checksum: ad864c82d79f75219c566126c27f6458 (MD5) / Made available in DSpace on 2016-04-18T18:20:32Z (GMT). No. of bitstreams: 1 Marcelo Cacinotti Costa_.pdf: 2247842 bytes, checksum: ad864c82d79f75219c566126c27f6458 (MD5) Previous issue date: 2015-12-14 / Nenhuma / A partir de premissas filosóficas de Martin Heidegger (indícios formais), o presente trabalho visa estabelecer as bases para a construção de uma teoria interpretativa adequada para o Direito, principalmente no que se refere ao sentido das coisas (conceitos jurídicos), sem jamais perder de vista a democracia e o respeito à Constituição. A ideia é reconstruir um pouco da trajetória heideggeriana em direção à fenomenologia da faticidade, como instrumento pensado para superação do avanço da metafísica e, consequentemente, do relativismo no Direito. Aborda-se um novo conceito de mundo vivido, caracterizado pela experiência da vida fática. Nesse contexto, a Filosofia recebe importância singular, já que é a partir dela que se torna possível transcender em direção ao novo e ao diferente. Pensar o sentido das coisas significa abandonar a relação sujeito-objeto, valorizar o tempo e deixar que o sentido aconteça na linguagem, a partir da força da tradição histórica (Gadamer). Para tanto, promove-se uma discussão sobre os efeitos do senso comum na comunidade jurídica, cuja superação perpassa necessariamente por uma destruição fenomenológica. A crise no Direito, representada principalmente pelo protagonismo judicial, é apresentada como uma questão de democracia, ideia defendida através de uma aproximação com o pensamento de Ronald Dworkin, assim como pela perspectiva teórica adotada no Brasil por Lenio Streck. A hermenêutica heideggeriana é apresentada pelo método dos indícios formais, pensado no âmbito interpretativo como forma de superação da relativização/entificação dos sentidos. O caráter interpretativo dos indícios formais e a sua função referencial ganha força na medida em que se compreendem os prejuízos da própria cognição, a concepção prévia, o círculo hermenêutico e, como não poderia deixar de ser, da própria noção do Dasein. Embora já em condições de distinguir o comportamento interpretativo típico da tradição metafísica (ôntico) do comportamento interpretativo ontológico, o método das indicações formais anseia por mais. É necessário não desprezar o tempo para todo o intento interpretativo, situação que se intensifica quando é necessário estabelecer conceitos para chegar a resultados, como no Direito. A tese que o Direito e a moral são co-originários ganha força na medida em que se analisam algumas teorias jurídico-filosófica: i) A dimensão moral no Direito em Otfried Höffe (Justiça Política); ii) A dimensão ética do Direito e a autoridade moral da Constituição; iii) A dimensão moral do Direito em Ronald Dworkin. De acordo com a co-originariedade entre Direito e moral, a construção da interpretação jurídica de uma comunidade não se contenta exclusivamente com a forma ou com o procedimento. Isso porque, se faz necessário um compromisso ético-moral de substancialidade democrática, que perpassa a responsabilidade de todos os partícipes. / The present work aims, from philosophical premises of Martin Heidegger (formal evidences), lay the foundation for building a proper interpretive theory for the law, especially in what regards to the meaning of things (legal concepts), without ever losing view of democracy and respect for the Constitution. The idea is to reconstruct some of Heidegger's trajectory towards the phenomenology of facticity as an instrument designed to overcome the metaphysical advancement and hence relativism. It approaches a new concept of lived world, characterized by the experience of factual life. In this context, Philosophy receives singular importance, since it is from there that it is possible to transcend towards the new and the different. Think about the meaning of things means abandoning the subject-object relationship, cherish the time and let the sense happens in language, from the force of historical tradition (Gadamer). To this end, it promotes a discussion about the effects of common sense in the legal community, whose overcome permeates, necessarily, by a phenomenological destruction. The crisis in the law, mainly represented by the judicial role, is presented as a question of democracy, idea that is defended through a contrast with the thought of Ronald Dworkin, and an approach to the perspective adopted in Brazil for Lenio Streck. Heidegger's hermeneutics is presented by the method of formal evidences, thought in the interpretive framework as a way of overcoming the relativization/entification of the senses. The interpretative character of formal evidences and its prohibitive-referential function gains strength to the extent that they understand the losses of cognition itself, the previous design, the hermeneutical circle and, as it couldn´t stop being , the own notion of Dasein. Although longer able to distinguish the typical interpretive behavior of the metaphysical tradition (ontic) of the ontological interpretative behavior, the method of formal indications craves more. Hence the interdependent relationship of the method of formal statements with morality. It´s necessary don´t waste the time for any interpretive intent, situation that is intensified when it is necessary to establish concepts for reaching results, as in the Law. The thesis that Law and morality are co-originating gains strength as we analyze some legal and philosophical theories: i) The moral dimension in Law in Otfried Höffe (Justice Policy); ii) The ethical dimension of Law and the moral authority of the Constitution; iii) The moral dimension of Law Ronald Dworkin. According to co-originating between Law and morality, the construction of the legal interpretation of a community is not content only with the form or the procedure, that because it is necessary an ethical and moral commitment to democratic substantiality that permeates the responsibility of all participants.