Este trabalho apresenta três principais contribuições: i. a proposta de uma nova lógica de descrição probabilística; ii. um novo algoritmo de inferência em primeira ordem a ser utilizado em terminologias representadas nessa lógica; e iii. aplicações práticas em problemas reais. A lógica aqui proposta, crALC (credal ALC), adiciona inclusões probabilísticas na popular lógica ALC combinando as terminologias com condições de aciclicidade, de Markov, e adotando uma semântica baseada em interpretações. Como os métodos de inferência exata tradicionalmente apresentam problemas de escalabilidade devido à presença de quantificadores (restrições universal e existencial), apresentamos um algoritmo de loopy propagation em primeira-ordem que se comporta bem para terminologias com domínios não triviais. Uma série de testes foi feita com o algoritmo proposto em comparação com algoritmos tradicionais da literatura; os resultados apresentados mostram uma clara vantagem em relação aos outros algoritmos. São apresentadas ainda duas aplicações da lógica e do algoritmo para resolver problemas reais da área de robótica móvel. Embora os problemas tratados sejam relativamente simples, eles constituem a base de muitos outros problemas da área, sendo um passo importante na representação de conhecimento de agentes/robôs autônomos e no raciocínio sobre esse conhecimento. / This work presents two major contributions: i. a new probabilistic description logic; ii. a new algorithm for inference in terminologies expressed in this logic; iii. practical applications in real tasks. The proposed logic, referred to as crALC (credal ALC), adds probabilistic inclusions to the popular logic ALC, combining the usual acyclicity and Markov conditions, and adopting interpretation-based semantics. As exact inference does not seem scalable due to the presence of quantifiers (existential and universal), we present a first-order loopy propagation algorithm that behaves appropriately for non-trivial domain sizes. A series of tests were done comparing the performance of the proposed algorithm against traditional ones; the presented results are favorable to the first-order algorithm. Two applications in the field of mobile robotics are presented, using the new probabilistic logic and the inference algorithm. Though the problems can be considered simple, they constitute the basis for many other tasks in mobile robotics, being a important step in knowledge representation and in reasoning about it.

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-10T04:02:35Z (GMT). No. of bitstreams: 1 BatistaNeto_AlbertoLeopoldo_M.pdf: 764702 bytes, checksum: 38e943aef1a6e4a5f892916208eca7a5 (MD5) Previous issue date: 2007 / Resumo: Visando a atingir um esclarecimento sobre os conceitos fundamentais envolvidos no estudo das combinações entre lógicas, empreendemos uma alise do problema da representação geral de sistemas lógicos (com ênfase no conceito central de conseqüência lógica), juntamente com o do estabelecimento de uma noção apropriada de tradução ou morfismo entre os sistemas definidos de um determinado modo, com base em que podemos fundamentar algumas técnicas de combinação, especialmente a fibrilação algébrica. Tais técnicas são definidas e apresentadas em suas propriedades mais relevantes, sendo encontrados, no caso particular da fibrilação, problemas tais como o colapso e o anti-colapso. Para estes, a solução parece residir na escolha de formas adequadas de representar lógicas em geral e de traduzir lógicas umas nas outras. Uma apresentação modelo-teorética mostra-se apropriada para algumas representações de lógicas em geral (como, por exemplo, sistemas de Hilbert), embora não o seja para outras (como sistemas de conseqüências múltiplas). No entanto, duas das mais promissoras tentativas de solucionar, em particular, o problema do anti-colapso da fibrilação algébrica as meta-traduções e os transfers elementares podem ser definidas dentro desse arcabouço. Os transfers incluindo os transfers elementares - foram definidos em [17] - e aqui apresentamos uma representação das meta-traduções como tipo específico de transfer / Abstract: In order to accomplish an elucidation of the fundamental concepts involved in the study of the combinations between logics, we undertake an analysis of the problem of the general representation of logical systems (with an emphasis on the central concept of logical consequence) together with that of the establishment of an appropriate notion of translation or morphism between the logical systems defined in a certain fashion, on which basis we can ground some of the combination techniques, specially that of algebraic fibring. Such techniques are defined and presented in their most relevant features, and we find, in the particular case of fibring, problems such as collapsing and anticollapsing. The solution for these seem to rest on the choice of adequate forms of representing logics in general and translating logics into others. A modeltheoretic presentation shows itself appropriate for some representations of logics in general (such as Hilbert calculi), although they are not for some others (such as multipleconclusion systems). Notwithstanding, two of the most promising attempts to solve, in particular, the problem of the anticollapsing of algebraic fibring metatranslations and elementary transfers , are definable within that framework. Transfers including elementary transfers have been defined in [17] and we here present a representation of metatranslations as an specific kind of transfers / Mestrado / Logica / Mestre em Filosofia

O conhecimento da probabilidade de ocorrência de precipitações é de grande importância para o planejamento de atividades como produção agrícola, sistemas de abastecimento de água e geração de energia. Neste sentido, a análise regional de freqüências se apresenta como uma ferramenta para a redução de incertezas na estimativa das probabilidades, podendo também diminuir a dimensionalidade das informações. Desta forma, esta pesquisa tem por objetivo estudar uma metodologia para análise regional de freqüências, aplicada à precipitação, na qual se admite que as séries que formam uma região homogênea seguem uma mesma distribuição, que dispensa a utilização de fatores de escala locais, e que seus parâmetros podem ser satisfatoriamente estimados pela média dos parâmetros de ajuste das séries locais. Para compor a metodologia foi construído um teste de homogeneidade regional e um teste para avaliar a qualidade do agrupamento, que leva em consideração os objetivos da análise. Os dois testes citados e a verificação da qualidade da obtenção da distribuição regional pela média dos parâmetros locais foram baseados na medida da máxima diferença de probabilidades entre duas séries e no teste de aderência de Kolmogorov-Smirnov (KS), auxiliando, então, numa melhor compreensão dos resultados, já que esse teste é referência na avaliação da qualidade do ajuste de funções probabilísticas. Como estudo de caso, a metodologia foi aplicada na análise de precipitações totais mensais e anuais no Rio Grande do Sul e em Santa Catarina, utilizando-se o método de agrupamento difuso Fuzzy CMeans para identificação das regiões. Verificou-se que o modelo de obtenção da distribuição regional proposto é satisfatório, embora necessite de um fator de correção para a distribuição Gama. O teste de aderência regional mostrou-se bastante útil para orientar a ponderação das variáveis e para auxiliar na determinação do melhor número de regiões, o que foi comprovado pelo alto grau de homogeneidade verificado, mesmo antes de serem aplicados ajustes nas regiões resultantes do agrupamento. Constatou-se ainda que a utilização dos graus de pertinência não produziu resultados satisfatórios para fazer estimativas pontuais e pouco contribuiu para a realização de ajustes no agrupamento. Todavia, o ajuste do modelo de alocação para novos pontos, através da matriz de pertinência, apresentou bons resultados, embora ainda seja necessária sua verificação em situação real. A análise regional da área de estudo resultou em nove regiões, que foram consideradas heterogêneas em apenas dois dos 117 períodos avaliados. Além disso, a partir do teste KS ( = 20%), verificou-se que as distribuições regionais se mostraram válidas para 97,8% das séries, confirmando a possibilidade de utilizar a distribuição regional, sem a necessidade dos fatores de escala locais. / Information on rainfall probability are helpful for some activities planning including agriculture, water supply and hydropower generation. For such purpose, the regional frequency analysis is a powerful tool to reduce uncertainties in probabilities estimation and also information’s dimension. This research evaluates the possibility of taking rainfall regional frequency analysis considering that in a homogeneous region the site frequency distributions are identical, setting aside local scaling factors, and that its parameters may satisfactorily be estimated by average parameters of local series fitting. To address such goals, the methodology consisted of elaborating a regional homogeneity test and a test to assess the cluster quality. Both tests and the assessment over the regional distribution quality were based on the maximum probability differences between two series and on the Kolmogorov-Smirnov test (KS). As a case study, the methodology was applied on Rio Grande do Sul and Santa Catarina States monthly and annual precipitation data, using clustering method Fuzzy CMeans for identification of regions. It was verified that the regional distribution model is satisfactory, although it needs a correction factor for Gamma distribution. The test of regional adherence was useful to guide the variables weighting and to help on the determination of the optimum number of regions, once a high degree of homogeneity was obtained, even before the application of adjustments on the resultant regions from the cluster analysis. The use of membership degrees was not satisfactory on estimating at-site features and resulted on low contribution for cluster adjustments. However, the allocation model fitting for new points presented good results, though a real case assessment is still required. The regional analysis resulted in nine regions, which were heterogeneous in only two of the 117 evaluated periods. Moreover, from the KS test ( = 20%), it was verified that the regional distributions were valid for 97.8% of the series, confirming the possibility to use regional distribution, without any local scaling factor.

Resumo não disponível

Submitted by Eduarda Figueiredo (eduarda.ffigueiredo@ufpe.br) on 2015-03-06T13:30:59Z No. of bitstreams: 2 WFM.pdf: 3221677 bytes, checksum: 56cc62f63f4bc2e8c0f3b4603feb0f2a (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-06T13:30:59Z (GMT). No. of bitstreams: 2 WFM.pdf: 3221677 bytes, checksum: 56cc62f63f4bc2e8c0f3b4603feb0f2a (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-02-27 / CAPES / Devido ao aumento da competitividade, as empresas têm buscado alternativas em melhorarem seus processos e aumentarem a qualidade de seus produtos e serviços. Não diferentemente, as empresas do setor da construção, particularmente aquelas voltadas para a construção de edifícios, têm adotado um Sistema de Gestão da Qualidade (SGQ) no aperfeiçoamento de seus processos e no atendimento às exigências do mercado. Entre os SGQ existentes, o PBQP-H/SiAC tem se destacado por oferecer benefícios que são favoráveis às empresas deste segmento. Entretanto, ao contrário das médias e grandes empresas, as Micro e Pequenas Empresas (MPEs), por natureza, possuem recursos financeiros limitados, causando o adiamento no programa. Contudo, têm cabido às MPEs sua implementação justamente para se equivalerem com as maiores, permitindo, desta forma, maiores possibilidades de competitividade no mercado consumidor. Como forma de ajudá-las em sua sustentabilidade, é proposto neste trabalho um modelo para a autoavaliação aos requisitos do PBQP-H/SiAC, com o emprego da Lógica Fuzzy como ferramenta de medição. A Lógica Fuzzy permitirá obter um valor mais próximo do grau de formalizado do requisito avaliado, proporcionando, assim, melhor definição à tomada de decisão na melhoria do requisito, possibilitando, no final, maiores chances de certificação. Como ferramenta para coleta de dados, utilizou-se um questionário composto pelos requisitos de um dos níveis do programa com a inserção de uma escala. O modelo foi exposto a uma simulação, aos requisitos de um dos níveis do programa, a fim de atestar sua aplicabilidade. Como resultado, o modelo determinou o grau de formalizado do nível pretendido. Todavia, ele está sujeito a sofrer alterações e melhorias na busca por resultados mais consistentes.

Submitted by Israel Vieira Neto (israel.vieiraneto@ufpe.br) on 2015-03-06T19:03:25Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO José Victor de Souza.pdf: 1774568 bytes, checksum: fab146b1a30b4c068e4c0fcd8b573a20 (MD5) / Made available in DSpace on 2015-03-06T19:03:25Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO José Victor de Souza.pdf: 1774568 bytes, checksum: fab146b1a30b4c068e4c0fcd8b573a20 (MD5) Previous issue date: 2014-11-26 / Este trabalho tem por objetivo estabelecer à luz da Teoria da Decisão e da lógica fuzzy (muito utilizada onde a imprecisão de dados e informações se faz presente) modelos que auxiliem o investidor financeiro a escolher a ação que ofereça o menor risco para ele, tendo por base as suas preferências e julgamentos, além do conhecimento advindo de dados e/ou especialista(s). Para isso, se fez necessária uma pesquisa bibliográfica sobre investimentos financeiros e seleção de portfólio, bem como sobre Teoria da Decisão e lógica fuzzy, para descobrir como estavam as pesquisas atuais sobre esses temas. Além do mais, uma coleta de dados das variáveis envolvidas nos modelos foi realizada em sites respeitados e confiáveis na área financeira e econômica. Neste estudo, foi possível identificar que o ativo financeiro de risco ouro é o mais indicado para investimento, tanto sozinho quanto em conjunto com o dólar americano e/ou com as ações (IBOVESPA).

Submitted by Eduarda Figueiredo (eduarda.ffigueiredo@ufpe.br) on 2015-03-10T19:39:21Z No. of bitstreams: 2 Tese de Doutorado - Helenice Leite Garcia DEQ UFPE.pdf: 18198049 bytes, checksum: bb0a11c0b9e56d9bf8ace7b684c665b7 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-10T19:39:21Z (GMT). No. of bitstreams: 2 Tese de Doutorado - Helenice Leite Garcia DEQ UFPE.pdf: 18198049 bytes, checksum: bb0a11c0b9e56d9bf8ace7b684c665b7 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-08-02 / CNPq / A disponibilidade de água no mundo inteiro tem se tornado pauta importante em todos os fóruns de discussão sobre as condições dos recursos hídricos no planeta. As avaliações sobre esta disponibilidade são, principalmente em relação à qualidade da águ,a em termos da definição de parâmetros físicos, químicos e biológicos da água, representando um conjunto de parâmetros extremamente importantes para o contexto da sustentabilidade ambiental. Neste cenário, as técnicas de Inteligência Computacional ou de Inteligência Artificial, têm se tornando alternativas de ampla aplicabilidade para modelagem e simulação da qualidade da água. Neste trabalho foi, então, desenvolvido um estudo para que as redes neurais, a lógica fuzzy e a análise de componente principal fossem utilizadas como estratégias para avaliação da qualidade da água em corpos hídricos do Estado de Sergipe, com vista à construção de interface fáceis de serem utilizadas em ambiente MATLAB. Neste estudo, foram coletados dados ambientais dos reservatórios Jacarecica, da Marcela e da bacia do Rio Poxim, em Sergipe. Para o desenvolvimento da modelagem em termos de redes neurais, foram utilizadas as redes Multi Layer Perceptron (MLP) e as redes Radial Basis Function (RBF) e um sistema neuro-fuzzy para modelar a qualidade da água utilizando como variável de saída a concentração de clorofila-a para caracterizar o fenômeno de eutrofização do sistema. Além dessa modelagem, foi desenvolvida uma equação com base na análise de componente principal em função das medidas de pH, oxigênio dissolvido, amônia, nitrito e nitrato, além das concentrações de ortofosfato, nitrogênio total e fosforo total, e clorofila-a. Quanto à aplicação da lógica fuzzy, foi calculado o índice de qualidade da água em função das concentrações de clorofila-a, nitrogênio total e fósforo total para classificação do sistema nos quatro níveis tróficos para que as variáveis linguísticas fossem identificadas. Para a análise fuzzy foram implementadas as regras fuzzy com base no conhecimento especialista do sistema hídrico, sendo o modelo fuzzy considerado representativo para classificar as condições ambientais dos reservatórios. É importante ressaltar que os resultados foram satisfatórios em termos da classificação e descrição do fenômeno de eutrofização entre os níveis de oligotrófico e hipertrófico para corpos hídricos em análise. Dessa forma, as técnicas de inteligência artificial, em particular as redes neurais e a lógica fuzzy, foram empregadas com sucesso para um conjunto de dados ambientais, mostrando a viabilidade numérica no que concerne a representação de fenômenos ambientais complexos e importantes para sustentabilidade ambiental dos corpos hídricos.

Made available in DSpace on 2014-06-12T17:22:21Z (GMT). No. of bitstreams: 2 arquivo6131_1.pdf: 1121516 bytes, checksum: 7954497c4a2c0248e35fd3661514b0bc (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / O presente trabalho funda-se na discussão sobre a possibilidade de se utilizar a retórica como método no processo de criação e aplicação do direito. Como base para a pesquisa, estabeleceu-se a retórica antiga de Aristóteles e a retórica analítica de Ottmar Ballweg. Da primeira, toma-se o modelo de uma lógica própria da retórica fundada no entimema e no paradigma a dedução e a indução retóricas. Da segunda, a tripartição em diferentes níveis da retórica como linguagem e metalinguagem. Outrossim, destacam-se conexões metodológicas entre retórica e direito, tanto nos períodos em que a retórica teve grande importância para a formação do raciocínio jurídico, como em épocas em que foi substituída por novos paradigmas. As inconsistências de uma epistemologia jurídica também são abordadas em confronto com os elementos teóricos da retórica analítica. Para uma crítica das recentes teorias da argumentação jurídica, põe-se o ceticismo pirrônico como forma de conceber a argumentação não como método racional fundado em regras procedimentais tomadas como universais, mas como modelo de regularidades baseado em figuras de linguagem e estilos de apresentação dos discursos estratégicos. O intento principal é identificar como argumentação e retórica vieram a se dissociar em meados do século XX, obtendo a argumentação, entre os juristas, um maior status de racionalidade em relação à retórica. Discute-se ainda a função da lógica jurídica como forma de se descobrir ou apresentar os raciocínios jurídicos

Made available in DSpace on 2014-06-12T17:35:38Z (GMT). No. of bitstreams: 2 arquivo6400_1.pdf: 2766764 bytes, checksum: 5dd2d76c5836d5c14f515b5e41d59c38 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / O papel das diferentes técnicas de gerenciamento de projetos, que conduzam a implantação de projetos bem sucedidos, tem assumido grande relevância e sido amplamente estabelecido em áreas como planejamento e controle de tempo, custo e qualidade. Essa relevância tem se tornado mais expressiva à medida que aumentam os custos associados ao desempenho dos projetos, os benefícios advindos da redução de tempo e a qualidade. Esta realidade pode ser observada em especial em projetos de Tecnologia da Informação (TI) e Sistemas de Informação (SI). Com o intuito de contribuir para o adequado gerenciamento e avaliação de desempenho de projetos de TI/SI, este trabalho propõe um modelo de decisão multicritério para auxiliar os gerentes na avaliação do desempenho desses projetos e analisar o quão bem está o andamento dos mesmos, de uma maneira mais objetiva, considerando as dimensões de tempo, custo e qualidade. Para as duas primeiras dimensões, esta análise pode ser feita em dois momentos: quando o projeto está concluído, determinando-se a variação entre o valor planejado, através do modelo, e o valor real; ou quando o mesmo ainda está em andamento, verificando o percentual de quanto o valor planejado esteja sendo consumido. Para a qualidade dos projetos de desenvolvimento de software, esta é obtida a partir de julgamentos referentes a alguns aspectos críticos para o seu gerenciamento, considerados por meio de uma revisão da literatura e da aplicação de um questionário nas empresas instaladas no Porto Digital, sediado em Recife-PE. Para o desenvolvimento dessas medidas de desempenho, foram utilizados a lógica fuzzy e métricas de software. Por fim, estas medidas foram agregadas através de um método de decisão multicritério, que permite aos gerentes saber quais são os projetos críticos. Com o objetivo de ilustrar a aplicação do modelo proposto é apresentado um exemplo numérico baseado em um caso hipotético.

Esta tese trata do controle integrado de tensão e reativos (volt/var) em alimentadores de distribuição; no âmbito de planejamento; através da inserção de bancos de reguladores de tensão e de capacitores. Um algoritmo genético multiobjetivo incrementado por lógica fuzzy é apresentado para resolver o problema volt/var; uma vez que este se constitui um problema de otimização combinatória multiobjetivo. O conhecimento especialista é aplicado através da lógica fuzzy para promover uma redução do espaço de busca; utilizando reguladores em unidades padronizadas; bem como avaliando a sensibilidade das barras para receberem capacitores. Os objetivos da resolução do problema volt/var são para minimizar: desvio de tensão de barra e custo total das perdas. Segundo os preceitos da otimização multiobjetivo; um conjunto de soluções ótimas é obtido; o qual representa a solução de todos os objetivos; concomitantemente; onde são respeitadas as restrições operacionais do sistema. O algoritmo é aplicado a um alimentador de 69 barras; conhecido da literatura e depois a um alimentador real de 167 barras. Os resultados mostram uma boa aproximação da fronteira de Pareto no conjunto de soluções e que houve correção do perfil de tensão aliada a uma significativa redução nas perdas. _________________________________________________________________________________________ ABSTRACT: This thesis deals with integrated voltage and reactive power control (volt/var) for radial distribution feeders in planning issues, by means of the application of automatic voltage regulators (AVRs) banks and capacitors. A multiobjective genetic algorithm (SPEA2) improved using fuzzy logic is presented to solve the volt/var problem, since it is a combinatorial multiobjective optimization problem. The expert knowledge is taken into account via fuzzy logic in order to reduce the search space using voltage regulators in standard units as well doing capacitors sensitivity analysis. According to the multiobjective optimization fundamentals, an optimal solution ensemble is obtained, which concomitantly represents the solutions to both objectives, in such a way that the operational constraints of systems are satisfied. The algorithm is evaluated for a known 69- bus feeder in the literature of the subject and to 167-bus real feeder. The obtained results demonstrate that the proposed method provides good concordance between the obtained solution and the Pareto front, correction of voltage profile jointly with losses reduction.