Made available in DSpace on 2018-08-02T00:03:43Z (GMT). No. of bitstreams: 1 tese_10269_ata de defesa.pdf: 633434 bytes, checksum: 225ab3b7fd1d716fae1937fdb48b3f4b (MD5) Previous issue date: 2016-09-02 / Garantir a consistência das regras que implementam uma política de segurança de rede através de um firewall é uma tarefa complexa, podendo gerar vulnerabilidades na rede quando mal executada. Este problema torna-se ainda maior quando falamos de dois ou mais firewalls interconectados visto que há a necessidade de verificar não só as regras de cada firewall individualmente como também cada par de firewall existente na rede. Neste trabalho, realizamos um estudo de teorias e algoritmos já existentes nesta área e apresentamos o DETOX, uma ferramenta para a detecção de inconsistências entre regras que compõem um firewall e entre os próprios firewalls em si. Primeiro nós validamos a implementação da ferramenta reproduzindo e extendendo os resultados apresentados na literatura para um único firewall. Após a validação, aplicamos a ferramenta em um caso real, analisando a configuração anonimizada atualmente usada na UFES. Durante essa análise, a ferramenta descobre várias inconsistências,previamente desconhecidas. Em seguida, realizamos o procedimento de validação utilizando firewalls interconectadas e, logo após, aplicamos a ferramenta em um caso sintético de múltiplos firewalls.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2004 / Inclui bibliografia / Dentro de uma negociação, cada indivíduo responsável pela compra ou venda de bens ou serviços possui conhecimentos que dizem respeito aos possíveis valores, dos critérios utilizados para representar um determinado serviço ou produto, que podem ser ofertad

Made available in DSpace on 2013-08-07T18:55:43Z (GMT). No. of bitstreams: 1 000441496-Texto+Completo-0.pdf: 919646 bytes, checksum: 53624bf83cf7032055834f562bdf438b (MD5) Previous issue date: 2012 / The dissertation aims to explain the so called “Preface Paradox”, and also evaluate some of the main solutions found in the literature about it. The Preface Paradox is a situation in which somebody has some set of seemingly rational inconsistent beliefs. Because consistency is considered a fundamental condition of rationality, the paradox has received some attention from the philosophical community, since it was first brought to public knowledge. I also try to show that the paradox can be generalized, and that it points at a important and hard problem. / Esta dissertação visa a explicar o problema conhecido como “Paradoxo do Prefácio” e também avaliar algumas das principais soluções sugeridas na literatura sobre o assunto. O Paradoxo do Prefácio é uma situação na qual, aparentemente, uma pessoa possui um conjunto de crenças inconsistentes e racionais. Como a consistência é considerada um dos requisitos mais básicos e fundamentais da racionalidade, o paradoxo tem recebido atenção crescente e suscitado reações diversas desde que foi, pela primeira vez, trazido a público. Ao longo da dissertação, também procuro mostrar que o paradoxo pode ser generalizado e que aponta para um problema importante e de difícil solução.

In terms of standard probabilistic reasoning, in order to perform inference from a knowledge base, it is normally necessary to guarantee the consistency of such base. When we come across an inconsistent set of probabilistic assessments, it interests us to know where the inconsistency is, how severe it is, and how to correct it. Inconsistency measures have recently been put forward as a tool to address these issues in the Artificial Intelligence community. This work investigates the problem of measuring inconsistency in probabilistic knowledge bases. Basic rationality postulates have driven the formulation of inconsistency measures within classical propositional logic. In the probabilistic case, the quantitative character of probabilities yielded an extra desirable property: that inconsistency measures should be continuous. To attend this requirement, inconsistency in probabilistic knowledge bases have been measured via distance minimisation. In this thesis, we prove that the continuity postulate is incompatible with basic desirable properties inherited from classical logic. Since minimal inconsistent sets are the basis for some desiderata, we look for more suitable ways of localising the inconsistency in probabilistic logic, while we analyse the underlying consolidation processes. The AGM theory of belief revision is extended to encompass consolidation via probabilities adjustment. The new forms of characterising the inconsistency we propose are employed to weaken some postulates, restoring the compatibility of the whole set of desirable properties. Investigations in Bayesian statistics and formal epistemology have been interested in measuring an agent\'s degree of incoherence. In these fields, probabilities are usually construed as an agent\'s degrees of belief, determining her gambling behaviour. Incoherent agents hold inconsistent degrees of beliefs, which expose them to disadvantageous bet transactions - also known as Dutch books. Statisticians and philosophers suggest measuring an agent\'s incoherence through the guaranteed loss she is vulnerable to. We prove that these incoherence measures via Dutch book are equivalent to inconsistency measures via distance minimisation from the AI community. / Em termos de raciocínio probabilístico clássico, para se realizar inferências de uma base de conhecimento, normalmente é necessário garantir a consistência de tal base. Quando nos deparamos com um conjunto de probabilidades que são inconsistentes entre si, interessa-nos saber onde está a inconsistência, quão grave esta é, e como corrigi-la. Medidas de inconsistência têm sido recentemente propostas como uma ferramenta para endereçar essas questões na comunidade de Inteligência Artificial. Este trabalho investiga o problema da medição de inconsistência em bases de conhecimento probabilístico. Postulados básicos de racionalidade têm guiado a formulação de medidas de inconsistência na lógica clássica proposicional. No caso probabilístico, o carácter quantitativo da probabilidade levou a uma propriedade desejável adicional: medidas de inconsistência devem ser contínuas. Para atender a essa exigência, a inconsistência em bases de conhecimento probabilístico tem sido medida através da minimização de distâncias. Nesta tese, demonstramos que o postulado da continuidade é incompatível com propriedades desejáveis herdadas da lógica clássica. Como algumas dessas propriedades são baseadas em conjuntos inconsistentes minimais, nós procuramos por maneiras mais adequadas de localizar a inconsistência em lógica probabilística, analisando os processos de consolidação subjacentes. A teoria AGM de revisão de crenças é estendida para englobar a consolidação pelo ajuste de probabilidades. As novas formas de caracterizar a inconsistência que propomos são empregadas para enfraquecer alguns postulados, restaurando a compatibilidade de todo o conjunto de propriedades desejáveis. Investigações em estatística Bayesiana e em epistemologia formal têm se interessado pela medição do grau de incoerência de um agente. Nesses campos, probabilidades são geralmente interpretadas como graus de crença de um agente, determinando seu comportamento em apostas. Agentes incoerentes possuem graus de crença inconsistentes, que o expõem a transações de apostas desvantajosas - conhecidas como Dutch books. Estatísticos e filósofos sugerem medir a incoerência de um agente através do prejuízo garantido a qual ele está vulnerável. Nós provamos que estas medidas de incoerência via Dutch books são equivalentes a medidas de inconsistência via minimização de distâncias da comunidade de IA.

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

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2006 / Inclui bibliografia / Muitos métodos em mineração distribuída têm sido desenvolvidos com o objetivo de viabilizar a aplicação de técnicas de mineração em grandes volumes de dados. As pesquisas em mineração distribuída têm como interesse principal a otimização de algoritmos e t / Many methods in distributed data mining have been developed with the objective to make possible the application of approaches in very large databases. The researches in distributed data mining have as main interest in the optimize algorithms and approache

In terms of standard probabilistic reasoning, in order to perform inference from a knowledge base, it is normally necessary to guarantee the consistency of such base. When we come across an inconsistent set of probabilistic assessments, it interests us to know where the inconsistency is, how severe it is, and how to correct it. Inconsistency measures have recently been put forward as a tool to address these issues in the Artificial Intelligence community. This work investigates the problem of measuring inconsistency in probabilistic knowledge bases. Basic rationality postulates have driven the formulation of inconsistency measures within classical propositional logic. In the probabilistic case, the quantitative character of probabilities yielded an extra desirable property: that inconsistency measures should be continuous. To attend this requirement, inconsistency in probabilistic knowledge bases have been measured via distance minimisation. In this thesis, we prove that the continuity postulate is incompatible with basic desirable properties inherited from classical logic. Since minimal inconsistent sets are the basis for some desiderata, we look for more suitable ways of localising the inconsistency in probabilistic logic, while we analyse the underlying consolidation processes. The AGM theory of belief revision is extended to encompass consolidation via probabilities adjustment. The new forms of characterising the inconsistency we propose are employed to weaken some postulates, restoring the compatibility of the whole set of desirable properties. Investigations in Bayesian statistics and formal epistemology have been interested in measuring an agent\'s degree of incoherence. In these fields, probabilities are usually construed as an agent\'s degrees of belief, determining her gambling behaviour. Incoherent agents hold inconsistent degrees of beliefs, which expose them to disadvantageous bet transactions - also known as Dutch books. Statisticians and philosophers suggest measuring an agent\'s incoherence through the guaranteed loss she is vulnerable to. We prove that these incoherence measures via Dutch book are equivalent to inconsistency measures via distance minimisation from the AI community. / Em termos de raciocínio probabilístico clássico, para se realizar inferências de uma base de conhecimento, normalmente é necessário garantir a consistência de tal base. Quando nos deparamos com um conjunto de probabilidades que são inconsistentes entre si, interessa-nos saber onde está a inconsistência, quão grave esta é, e como corrigi-la. Medidas de inconsistência têm sido recentemente propostas como uma ferramenta para endereçar essas questões na comunidade de Inteligência Artificial. Este trabalho investiga o problema da medição de inconsistência em bases de conhecimento probabilístico. Postulados básicos de racionalidade têm guiado a formulação de medidas de inconsistência na lógica clássica proposicional. No caso probabilístico, o carácter quantitativo da probabilidade levou a uma propriedade desejável adicional: medidas de inconsistência devem ser contínuas. Para atender a essa exigência, a inconsistência em bases de conhecimento probabilístico tem sido medida através da minimização de distâncias. Nesta tese, demonstramos que o postulado da continuidade é incompatível com propriedades desejáveis herdadas da lógica clássica. Como algumas dessas propriedades são baseadas em conjuntos inconsistentes minimais, nós procuramos por maneiras mais adequadas de localizar a inconsistência em lógica probabilística, analisando os processos de consolidação subjacentes. A teoria AGM de revisão de crenças é estendida para englobar a consolidação pelo ajuste de probabilidades. As novas formas de caracterizar a inconsistência que propomos são empregadas para enfraquecer alguns postulados, restaurando a compatibilidade de todo o conjunto de propriedades desejáveis. Investigações em estatística Bayesiana e em epistemologia formal têm se interessado pela medição do grau de incoerência de um agente. Nesses campos, probabilidades são geralmente interpretadas como graus de crença de um agente, determinando seu comportamento em apostas. Agentes incoerentes possuem graus de crença inconsistentes, que o expõem a transações de apostas desvantajosas - conhecidas como Dutch books. Estatísticos e filósofos sugerem medir a incoerência de um agente através do prejuízo garantido a qual ele está vulnerável. Nós provamos que estas medidas de incoerência via Dutch books são equivalentes a medidas de inconsistência via minimização de distâncias da comunidade de IA.

Planos de previdência que dependem de uma postura ativa dos indivíduos para solicitar a adesão acabam tendo uma baixa participação (Benartzi & Thaler, 2007). Por outro lado, resultados mostram que os indivíduos decidem poupar a partir de determinadas \"regras de bolso\", tais como a escolha de um percentual máximo de contribuição que receba uma contrapartida do empregador (se a percentagem máxima que receberá contrapartida do patrocinador de um plano for 8%, então o indivíduo decidirá contribuir com esta percentagem). Assim, estratégias podem ser inseridas nos planos de aposentadoria, de forma que determinados comportamentos sejam \"incentivados\" e outros sejam \"coibidos\", fundamentalmente, em situações manifestas de inconsistência temporal por parte dos indivíduos. Esta pesquisa objetivou identificar, a partir de evidências empíricas, quais arranjos de planos previdenciários do tipo \'contribuição definida\' minimizam o efeito da miopia intertemporal sobre as decisões de poupança para a aposentadoria. Os fundamentos teóricos que nortearam a presente tese foram a Racionalidade Limitada, proposta por Simon (1979), a Teoria dos Prospectos, e as hipóteses do ciclo de vida comportamental (Behavioral Life-Cicle hypothesis), desenvolvidas por Benartzi e Thaler (2007). Utilizou-se um levantamento para identificar as características demográficas dos participantes e, paralelamente, um experimento com base em cenários para identificar as escolhas relacionadas aos planos de previdência complementar do tipo \'contribuição definida\'. O levantamento e o experimento foram formulados com o auxílio da plataforma online Questionpro© e disponibilizados por meio da internet aos participantes. Foram definidos cenários para o grupo de controle (sem manipulação de variáveis) e para dois grupos experimentais (com manipulação de variáveis), para identificar de que forma o desenho dos planos de previdência afeta as decisões de alocação de recursos a eles, e de que forma tais decisões se relacionam com as variáveis demográficas dos segurados. Os testes de hipóteses foram realizados por meio do teste não paramétrico de Wilcoxon para diferença de médias, e por meio da estimação de regressão linear por mínimos quadrados ordinários. Os achados sugerem que os respondentes parecem ter adotado um comportamento mais impaciente, quando o intervalo é deslocado para o futuro, do que quando se compara uma recompensa imediata e uma recompensa tardia em um mesmo intervalo de espera, contrariando a literatura sobre desconto hiperbólico, inconsistência temporal e comportamento impaciente. No que se refere ao efeito dos arranjos institucionais sobre as decisões de poupança para a aposentadoria, observou-se que o desenho deum plano de previdência em que haja inscrição automática compulsória, com a presença de um plano livre de risco, faz com que haja uma maior permanência dos indivíduos neste tipo de plano. Este resultado, aliado às estatísticas descritivas que apontam uma maior aposentadoria nos planos com inscrição automática compulsória e contrapartida do patrocinador (experimentador), em comparação com o plano sem tais características, nos leva a afirmar que tais desenhos permitem uma maior poupança para a aposentadoria por parte dos segurados. Portanto, a inserção de desenhos desta natureza em eventuais políticas públicas pode servir de \"empurrão\" para que as pessoas tomem decisões que vão de encontro à inconsistência temporal. / Pension plans that rely on an active attitude of individuals to apply for membership end up having a low participation (Benartzi & Thaler, 2007). On the other hand, there are findings that individuals decide to save using certain \"rules of thumb\", such as the choice of a maximum contribution percentage receiving a counterpart of the employer (if the maximum percentage that will receive compensation from the sponsor of a plan is 8%, then the individual will decide to contribute to this figure). Thus, strategies can be incorporated into retirement plans in order to contribute to certain behaviors are \"encouraged\" and others are \"restrained\" fundamentally manifest in situations of time inconsistency by individuals. This research aimed to identify, from empirical evidence, which arrangements of pension plans, type defined contribution, minimize the effect of intertemporal myopia on saving decisions for retirement. The theoretical foundations that guided this thesis were Bounded Rationality, proposed by Simon (1979), the Prospect Theory and Behavioral Life-Cicle hypothesis, developed by Benartzi and Thaler (2007). We used a survey to identify the demographic characteristics of the participants and, in parallel, an experiment based on scenarios to identify the choices related to the pension plans, type defined contribution. The survey and the experiment were formulated with the help of the online platform QuestionPro© and made available through the internet to participants. Scenarios were defined for the control group (without manipulation of variables) and two experimental groups (with manipulation of variables) to identify how the design of pension plans affect the resource allocation decisions to plans and how they relate to the demographic variables of the insured. Hypothesis tests were performed using the nonparametric Wilcoxon test for difference of means and through linear regression estimation by OLS. The findings suggest that respondents seem to have adopted a more impatient behavior when the range is shifted to the future than when comparing immediate reward and a delayed reward in a equivalent delay interval, contrary to the literature on hyperbolic discount, time inconsistency and impatient behavior. With regard to the effect of institutional arrangements on savings decisions for retirement it is noted that the pension plan design where there is compulsory automatic enrollment with the presence of a risk-free plan may improve permanence of individuals this type of plan. This result, combined with descriptive statistics that show a higher retirement plans with mandatory automatic enrollment and return the sponsor (experimenter), as compared to the plan without such features, allow us to state that such designs allow greater savings for retirement. Therefore, the inclusion of this type of design in public policy can serve as a \"nudge\" for people to make decisions that go against the time inconsistency.

Made available in DSpace on 2010-04-20T20:18:31Z (GMT). No. of bitstreams: 0 Previous issue date: 1998-04-06T00:00:00Z / This study presents a new approach for conducting monetary policy: inflation targeting. The survey begins with a historical review of the recent literature on monetary economics from the Phillips Curve and an analysis of the classical options for monetary policy to a careful description of the new framework. The practice experiences of Germany, New Zealand, Canada and England are analyzed. The impacts of the new regime on the inflation inertia process in examined with time series techniques. The study finds that inflation targeting increases monetary discipline and makes monetary policy more coherent and transparent. / Este estudo introduz uma nova abordagem estratégica para a política monetária: o regime de meta de inflação. O trabalho começa com uma revisão da literatura sobre política monetária desde a Curva de Phillips, a seguir os regimes clássicos de política monetária são analisados e se introduz a estrutura conceitual do regime de meta de inflação. As experiências práticas de quatro países (Alemanha, Nova Zelândia, Canadá e Inglaterra) são detalhadamente examinadas. A análise de séries temporais é empregada para comparar o padrão de autoregressividade da inflação sob o novo regime com o período precedente. O estudo aponta o regime de meta de inflação como uma estratégia mais eficiente no longo prazo porque responde melhor aos desafios da teoria e da prática.

Esta dissertação propõe investigar o fenômeno das toxicomanias como conseqüência do declínio da imago paterna na cultura atual. O estudo foi iniciado pelo cotejamento do tema na teoria de Sigmund Freud e pela interpretação de que a toxicomania é uma resposta à satisfação sexual recalcada. A pesquisa explorou ainda esse tema no ensino escrito e falado de Jacques Lacan. O uso abusivo de drogas promove um gozo auto-erótico que busca liberar o toxicômano de ter que lidar com os impasses da castração. Por tal motivo foi explorada a queda da operatividade do significante Nome-do-Pai na atualidade. Se o significante autentica o sujeito do inconsciente e opera como regulador de gozo, a ascensão do objeto a ao zênite social provoca efeitos decisivos sobre o sujeito: a inconsistência do Outro, a predominância do discurso da ciência e do capitalista, e a proliferação dos novos sintomas. Nesse sentido, a segunda clínica de Lacan, a chamada clínica borromeana, foi utilizada para interpretar os modos de gozo na contemporaneidade. O atendimento de um paciente psicótico que faz uso de drogas mostrou a importância de trabalhar o diagnóstico diferencial para orientar a direção do tratamento. / This dissertation proposes to investigate the chemical dependency phenomenon as a consequence of the paternal imago decline in current culture. The study begun by collating the theme in Sigmund Freud theory and by the interpretation that chemical dependency is a response to repressed sexual satisfaction. The research also explored this theme in Jacques Lacans written and spoken teaching. The abusive use of drugs promotes a self-erotic enjoyment that searches to release the chemical dependent from dealing with the castration impasses. Therefore, the operative decrease of the significant Name-of-Father in nowadays was explored. If the significant authenticates the unconscious subject and operates as a regulator of enjoyment, the rise of the a object to the social zenith causes a decisive effect on the subject: the inconsistency of the Other, the predominance of the science and capitalist discourse and the proliferation of new symptoms. Accordingly, the second clinic of Lacan, called borromean clinic, was used to interpret the ways of enjoyment in contemporary period. The surveillance of a psychotic patient who uses drugs showed the importance of working on the differentials diagnosis in order to treatment direction.