61 |
Estudo sobre a Demonstração do segundo teorema de incompletude de GödelEstivalet, Manuel Bauer January 2012 (has links)
A presente dissertação consiste em um estudo de apresentações da demonstração do Segundo Teorema de Incompletude de Gödel. Considera, com especial atenção, aquelas feitas por Shoefield no Mathematical Logic e por Hilbert e Bernays no Grundlagen der Mathematik. Como resultado, obtém-se uma análise das condições de derivabilidade e considerações sobre como é possível demonstrá-las.
|
62 |
Um modelo algébrico do quantificador da ubiquidade /Boza, Tiago Augusto dos Santos. January 2014 (has links)
Orientador: Hércules de Araújo Feitosa / Co-orientador: Marcelo Reicher Soares / Resumo: Esta pesquisa está inserida no contexto filosófico da Lógica, com ênfase nos aspectos dos quantificadores e nos seus modelos ou interpretações. O objetivo deste trabalho é um aprofundamento das noções de quantificação dentro do aspecto das lógicas moduladas. Para tanto, aborda-se a lógica modulada do plausível, que procura formalizar o quantificador da ubiquidade. O texto apresenta uma proposta, introduzida por Paul Halmos, de interpretação da lógica quantificacional clássica em modelos algébricos e, como contribuição original, estende este modelo para um modelo algébrico para a lógica do plausível. / Abstract: This research is inserted in the context of Philosophy of Logic, with emphasis on aspects of quantifiers and their models or interpretations. The aim of this paper is a deepening on notions of quantification in the environment of modulate logics. For that, this Dissertation approaches the modulate logic of plausible, which seeks to formalize the quantifier of ubiquity. The text presents a proposal, of Paul Halmos, to interpret the classical logic quantification into algebraic models. As an original contribution, it is extended this model to an algebraic model for the logic of plausible. / Mestre
|
63 |
\"Combinações de lógicas modais não-normais\" / \"Combinations of non-normal modal logics\"Fajardo, Rogerio Augusto dos Santos 13 August 2004 (has links)
Neste trabalho, estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a combinação preserva propriedades como correção, completude e decidibilidade. Estendemos um estudo já realizado sobre combinações de sistemas de Lógica Modal Normal para sistemas de Lógica Modal Não-normal. O principal resultado deste trabalho é a preservação de completude da aplicação externa de um sistema de Lógica Modal Não-normal M em um sistema lógico L. Outro resultado importante é um exemplo de interação forte na combinação independente, ou fusão, de dois sistemas de Lógica Modal Não-normal. / In this work, we study a few ways of combining Modal Logic systems, analysing when the combination preserves properties like soundness, completeness and decidability. We extend a study of the combination of Normal Modal Logic systems to Non-normal Modal Logic systems. The main result of this work is the completeness preservation in the external application of a Non-normal Modal Logic system M to a logic system L. Another important result is an example of strong interations arising in the fusion of two Non-normal Modal Logic system.
|
64 |
Lógica nebulosa (\'fuzzy\') aplicada na determinação dos parâmetros de trabalho de fornos industriais de têmpera contínua para o aço CK 75. / Fuzzy logic applied in the determination of the parameters of work of industrial furnace of continuos tempering of the steel CK75.Barbosa Junior, José 22 November 2006 (has links)
Este trabalho apresenta o projeto de um sistema gerador de \"set-point\" (GSP), utiliza-do na determinação dos parâmetros de trabalho de fornos industriais de têmpera contínua de aços ao carbono, cuja modelagem é baseada na lógica \"fuzzy\". O trabalho é constituído de três etapas básicas: primeiro, estudou-se os princípios metalúrgicos do aço e do processo de têmpera, necessários para o entendimento do problema, tendo como foco no aço CK75 de grande aplicação industrial. Segundo, estudou-se a funcionalidade de todas as partes constitu-intes do forno e seu modo de operação. Na terceira etapa, baseado em entrevistas com os ope-radores e técnicos em metalurgia, considerados especialistas no processo de têmpera, reali-zou-se a modelagem \"fuzzy\". Constatou-se de que forma as partes do forno afetam a trans-formação do aço, as variáveis de entrada e saída relevantes para o GSP e finalmente realizou-se o GSP com o MATLAB®. O modelo foi exaustivamente testado na produção de aço tem-perado, em um dos fornos da empresa Mangels, o que possibilitou sua validação de forma incontestável. / This work presents the project of a generating system of \"set-point\" (GSP), used in the determination of the parameters of work of a process of continuous tempering of carbon steels, whose modeling is based on the \"fuzzy\" logic. The work is made of three basic stages. First of all the principles of metallurgy for the steel and temper process, which are necessary for the understanding of the problem are studied. It is focused in the steel CK75 of great in-dustrial application. In the second stage, the functionality of all parts of the furnace and its operation way is studied. In the last stage a \"fuzzy\" modeling is accomplished, based on inter-views with the operators and technicians in metallurgy, who are considered specialists in the temper process. It is identified how the parts of the oven affect the transformation of the steel, variable input and output relevant to GSP. Finally will use the GSP with MATLAB® is car-ried out. The model was tested in exhaustive way in one of the furnace of the company Man-gels what made its incontrovertible validation possible.
|
65 |
A violência doméstica e familiar contra a mulher face à Lei Maria da PenhaBorgonhone, Eny Ribeiro 29 May 2008 (has links)
Submitted by Leticia Alvarenga (leticiaalvarenga@fdv.br) on 2018-08-24T18:06:59Z
No. of bitstreams: 1
ENY RIBEIRO BORGONHONE.pdf: 901037 bytes, checksum: c10b3e475237604128540f915c3ed090 (MD5) / Approved for entry into archive by Ana Paula Galdino (repositorio@fdv.br) on 2018-08-24T20:30:46Z (GMT) No. of bitstreams: 1
ENY RIBEIRO BORGONHONE.pdf: 901037 bytes, checksum: c10b3e475237604128540f915c3ed090 (MD5) / Made available in DSpace on 2018-08-24T20:30:46Z (GMT). No. of bitstreams: 1
ENY RIBEIRO BORGONHONE.pdf: 901037 bytes, checksum: c10b3e475237604128540f915c3ed090 (MD5)
Previous issue date: 2008-05-29 / A visão da pessoa da mulher como inferior e indigna de vários direitos sempre esteve pari passu com um tratamento diferenciado de gênero, o qual muitas vezes chegava (e chega) a atos de violência doméstica e familiar contra a mulher. Deste ponto de partida, buscou-se abordar a violência doméstica contra a mulher em suas raízes históricas, culturais, sociais e também legais, uma vez que, por muito tempo, a desigualdade era institucionalizada, amparando a violência doméstica, além da abordagem de aspectos contemporâneos, como a diferenciação salarial, a objetificação da mulher, a persistência da violência doméstica, como resquícios do tratamento desigual, apesar de leis equiparadoras, como a própria Constituição Federal do Brasil. A incidência da violência doméstica em proporção alarmante e a condenação do Brasil pela Corte Internacional de Direitos Humanos levaram à elaboração de uma lei específica de proteção à mulher quanto a este tipo de violência, Lei 11.340/06 (LMP), a qual se mostra deficiente para conter os casos de violência doméstica e familiar pela falta de estrutura física para efetivação de seus enunciados, e, principalmente, pela ótica em que é aplicada, qual seja, a visão da lógica formalista, desconsiderando a historicidade do grave problema da
violência doméstica e familiar, bem como aspectos relevantes atuais, afastando cada vez mais a lei da realidade material. Com isto, chega-se à conclusão que a lógica formal, orientadora na aplicação da LMP de maneira silogística-dedutiva ou de maneira mecanizada, não é capaz de realizar os seus intentos, atentando para que a lógica jurídica argumentativa possa ser uma alternativa para que a LMP alcance seus objetivos de prevenir e coibir casos de violência doméstica e familiar contra a mulher, já que, nesta, ótica o Direito é aplicado por meio de uma decisão pensada e refletida, tendo por base todo o entorno remoto e atual da problemática. / The vision of the person of the woman as inferior and unworthy of several rights, has always been pari passu with different treatment of gender, which often came (and reached) to acts of domestic violence against women and family, from this point of departure sought Up tackle domestic violence against women in their historical roots, cultural, social and legal, because, for a long time the inequality was institutionalised, supporting domestic violence, and the approach to contemporary issues such as wage differentiation, objetificação of women, the persistence of domestic violence as vestiges of unequal treatment, although equiparadoras laws, as the Federal Constitution of Brazil. The incidence of domestic violence in alarming proportions and condemnation of Brazil by the International Court of Human Rights led the drafting of a specific law to protect women in this type of violence, Law 11.340/06 - PML, which shows poor to contain the cases of domestic violence and family by the lack of physical infrastructure for effectiveness of its listed, and, above all, through the view that it is applied, that is, the vision of the formalistic approach, disregarding the historicity of the serious problem of domestic violence and family, as well as aspects relevant today, moving increasingly the law of reality material. With this, you reach the conclusion that the formal logic, guidance in the implementation of the PML-way silogística-dedutiva or
mechanized way and not capable of performing their attempts, bearing in mind that the legal argumentative logic, can be an alternative to that PML to reach their goals to prevent and correct cases of domestic violence against women and family, because this perspective the law is applied by means of thought and reflected a decision based on all the remote environment and the current problem.
|
66 |
Violência doméstica e familiar contra a mulher face à Lei Maria da PenhaBorgonhone, Eny Ribeiro 29 May 2008 (has links)
Submitted by Leticia Alvarenga (leticiaalvarenga@fdv.br) on 2018-08-24T17:50:59Z
No. of bitstreams: 1
ENY RIBEIRO BORGONHONE.pdf: 901037 bytes, checksum: c10b3e475237604128540f915c3ed090 (MD5) / Rejected by Ana Paula Galdino (repositorio@fdv.br), reason: Corrigir descrição do título.
De: conta a mulher
Para: contra a mulher on 2018-08-24T20:25:16Z (GMT) / Submitted by Leticia Alvarenga (leticiaalvarenga@fdv.br) on 2018-08-25T12:47:06Z
No. of bitstreams: 1
ENY RIBEIRO BORGONHONE.pdf: 901037 bytes, checksum: c10b3e475237604128540f915c3ed090 (MD5) / Approved for entry into archive by Ana Paula Galdino (repositorio@fdv.br) on 2018-08-27T11:25:36Z (GMT) No. of bitstreams: 1
ENY RIBEIRO BORGONHONE.pdf: 901037 bytes, checksum: c10b3e475237604128540f915c3ed090 (MD5) / Made available in DSpace on 2018-08-27T11:25:36Z (GMT). No. of bitstreams: 1
ENY RIBEIRO BORGONHONE.pdf: 901037 bytes, checksum: c10b3e475237604128540f915c3ed090 (MD5)
Previous issue date: 2008-05-29 / A visão da pessoa da mulher como inferior e indigna de vários direitos sempre esteve pari passu com um tratamento diferenciado de gênero, o qual muitas vezes chegava (e chega) a atos de violência doméstica e familiar contra a mulher. Deste ponto de partida, buscou-se abordar a violência doméstica contra a mulher em suas raízes históricas, culturais, sociais e também legais, uma vez que, por muito tempo, a desigualdade era institucionalizada, amparando a violência doméstica, além da abordagem de aspectos contemporâneos, como a diferenciação salarial, a objetificação da mulher, a persistência da violência doméstica, como resquícios do tratamento desigual, apesar de leis equiparadoras, como a própria Constituição Federal do Brasil. A incidência da violência doméstica em proporção alarmante e a
condenação do Brasil pela Corte Internacional de Direitos Humanos levaram à elaboração de uma lei específica de proteção à mulher quanto a este tipo de violência, Lei 11.340/06 (LMP), a qual se mostra deficiente para conter os casos de violência doméstica e familiar pela falta de estrutura física para efetivação de seus enunciados, e, principalmente, pela ótica em que é aplicada, qual seja, a visão da lógica formalista, desconsiderando a historicidade do grave problema da violência doméstica e familiar, bem como aspectos relevantes atuais, afastando cada vez mais a lei da realidade material. Com isto, chega-se à conclusão que a lógica formal, orientadora na aplicação da LMP de maneira silogística-dedutiva ou de maneira
mecanizada, não é capaz de realizar os seus intentos, atentando para
que a lógica jurídica argumentativa possa ser uma alternativa para que a LMP alcance seus objetivos de prevenir e coibir casos de violência doméstica e familiar contra a mulher, já que, nesta, ótica o Direito é aplicado por meio de uma decisão pensada e refletida, tendo por base todo o entorno remoto e atual da problemática. / The vision of the person of the woman as inferior and unworthy of several rights, has always been pari passu with different treatment of gender, which often came (and reached) to acts of domestic violence against women and family, from this point of departure sought Up tackle domestic violence against women in their historical roots, cultural, social and legal, because, for a long time the inequality was institutionalised, supporting domestic violence, and the approach to contemporary issues such as wage differentiation, objetificação of women, the persistence of domestic violence as vestiges of unequal treatment, although equiparadoras laws, as the Federal Constitution of Brazil. The incidence of domestic violence in alarming proportions and condemnation of Brazil by the International Court of Human Rights led the drafting of a specific law to protect women in this type of violence, Law 11.340/06 - PML, which shows poor to contain the cases of domestic violence and family by the lack of physical infrastructure for effectiveness of its listed, and, above all, through the view that it is applied, that is, the vision of the formalistic approach, disregarding the historicity of the serious problem of domestic violence and family, as well as aspects relevant today, moving
increasingly the law of reality material. With this, you reach the conclusion that the formal logic, guidance in the implementation of the PML-way silogística-dedutiva or mechanized way and not capable of performing their attempts, bearing in mind that the legal argumentative logic, can be an alternative to that PML to reach their goals to prevent and correct cases of domestic violence against women and family, because this perspective the law is applied by means of thought and reflected a decision based on all the remote environment and the current problem.
|
67 |
Estudos sobre a lógica paraconsciente DL e aplicações em Direito / Studies about DL paraconsistent and applications in LawGodoy, Saul Gurfinkel Marques de 09 September 2009 (has links)
O desenvolvimento de sistemas de lógica paraconsistente tem melhorado o nosso poder analítico e aprofundou nossa compreensão dos sistemas de lógicas não-clássicas. Esses sistemas têm possibilitado aplicações em diversas áreas, notadamente em Direito. Embora a lógica clássica seja aceita como um valioso mecanismo para analisar os problemas no domínio dos estudos jurídicos, existem outras abordagens, como o cálculo DL, que contém, em certo sentido, a lógica clássica e, portanto, a teoria dos silogismos, amplamente aceitos no raciocínio jurídico. O objetivo principal da dissertação é apresentar a lógica paraconsistente DL, um sistema desenvolvido por N. da Costa e R. Wolf, baseado no trabalho de McGuill e Parry. Apresentaremos como este sistema pode ser aplicado como uma ferramenta para resolver problemas relacionados com o Direito e de uma formalização de aspectos da hermenêutica. / The development of Paraconsistent logical systems has enhanced our analytical power and deepened our understanding of non-classic logic systems. It also has rendered applications in many fields, notably in Law. Although classical logic is accepted as a valuable mechanism to analyze problems in the realm of legal studies, there are stronger frameworks such as the DL calculus, which encompasses classical logic and therefore the silogism, widely accepted in legal reasoning. My chief aim is to present an overview of the DL paraconsistent calculus, a system developed by da Costa and Wolf, based on the work of McGuill and Parry. I will also show how this system may be applied as a tool in solving problems relating lawlogic and how the formalization of these problems allows for hermeneutical analysis.
|
68 |
Proposta metodológica de avaliação integrada de riscos na infraestrutura de sistemas hídricos por meio do programa Risco-Fuzzy – estudo de caso: sistema de aporte de água bruta para a região metropolitana de Fortaleza / Methodological proposal for integrated risk assessment in the infrastructure of water systems by Risk-Fuzzy program - case study: raw water supply system for the region metropolitan of FortalezaCodes, Rodrigo Amaral de 25 February 2016 (has links)
CODES, R. A. Proposta metodológica de avaliação integrada de riscos na infraestrutura de sistemas hídricos por meio do programa Risco-Fuzzy – estudo de caso: sistema de aporte de água bruta para a região metropolitana de Fortaleza. 2016. 111 f. Tese (Doutorado em Engenharia Civil: Saneamento Ambiental) – Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Hohana Sanders (hohanasanders@hotmail.com) on 2016-11-28T12:53:33Z
No. of bitstreams: 1
2016_tese_racodes.pdf: 3296783 bytes, checksum: ca87ef2762eff338bbb97f5a9315c85c (MD5) / Approved for entry into archive by Marlene Sousa (mmarlene@ufc.br) on 2016-11-28T16:43:15Z (GMT) No. of bitstreams: 1
2016_tese_racodes.pdf: 3296783 bytes, checksum: ca87ef2762eff338bbb97f5a9315c85c (MD5) / Made available in DSpace on 2016-11-28T16:43:15Z (GMT). No. of bitstreams: 1
2016_tese_racodes.pdf: 3296783 bytes, checksum: ca87ef2762eff338bbb97f5a9315c85c (MD5)
Previous issue date: 2016-02-25 / The developed communities, in all their activities, are permanently, and each To a complex set of risks. Risk is, therefore, a concept that Has an increasing importance in contemporary society with an impact on different Aspects thereof. Water systems, in turn, are areas of potential Concept of risk assessment and risk management, taking into account that the objectives In the environment or in economic sustainability, resulting from uncertainties, Extreme events, errors or other events. To ensure system security Several methodologies have been developed with applications to specific cases. Because they are complex processes, based on inaccurate or Approximate, many of the studies have also considered the use of Fuzzy Systems, Which are based on Fuzzy Logic, because they fit well with the type of analysis in question. O This paper initially discusses general aspects of risk assessment and risk management. Related to some water systems, also addressing the theoretical foundations of Preliminary Hazards (APP) and Fuzzy Systems. Its main objective, however, The presentation of a methodological proposal consisting of the formulation of a Risk analysis in which it is possible to subdivide the analyzed water system into several Levels. Therefore, the individual values of the various types of risk can be obtained Involved in the study, the risks of the subsystems in which they are distributed, and The overall risk of the system. It also proposes the construction of a system of fuzzy inference, Where the pertinence functions are suggested for the input language variables Possibility of Occurrence and Severity of Consequences and for the linguistic variable of Output, as well as establishing value scales for them. For the Analysis, the Risk-Fuzzy Program was developed specifically for this purpose. It then evaluates the proposed methodology, as a Case Study, based on data already Which were drawn up at the Water Resources Management Company (COGERH), in the System of Gross Water Supply for the Metropolitan Region of Fortaleza (SAAB / RMF). It also concludes that, for the scenarios considered, the SAAB / RMF, with regard to the frequency and severity of possible risks, it is Both in quantity and water quality. It presents, Finally, new perspectives for studies and research that can complement or Study. / As comunidades desenvolvidas, em todas as suas atividades, estão permanentemente, e cada vez mais, submetidas a um complexo conjunto de riscos. Risco é, portanto, um conceito que tem uma importância crescente na sociedade contemporânea com incidência em diferentes aspectos da mesma. Os sistemas hídricos, por sua vez, são domínios de aplicação potencial do conceito de avaliação e gestão de riscos, tendo em conta que os objetivos fixados podem sofrer desvios, no ambiente ou na sustentabilidade econômica, resultantes de incertezas, eventos extremos, erros ou outros acontecimentos. Para garantir a segurança de sistemas hídricos, diversas metodologias têm sido desenvolvidas com aplicações a casos específicos. Por se tratarem de processos complexos, que tomam como base informações imprecisas ou aproximadas, muitos dos estudos têm também considerado a utilização de Sistemas Fuzzy, que são baseados na Lógica Fuzzy, por se adequarem bem ao tipo de análise em questão. O presente trabalho discorre inicialmente sobre aspectos gerais da avaliação e gestão de riscos relacionados a alguns sistemas hídricos, abordando ainda os fundamentos teóricos da Análise Preliminar de Perigos (APP) e dos Sistemas Fuzzy. Tem como principal objetivo, entretanto, a apresentação de uma proposta metodológica que consiste na formulação de uma avaliação integrada de riscos em que é possível a subdivisão do sistema hídrico analisado em diversos níveis. Podem ser obtidos, portanto, os valores individuais dos diversos tipos de risco envolvidos no estudo, os riscos dos subsistemas em que estes estejam distribuídos, bem como o risco global do sistema. Propõe também a construção de um sistema de inferência fuzzy, onde são sugeridas as funções de pertinência para as variáveis linguísticas de entrada Possibilidade de Ocorrência e Severidade das Consequências e para a variável linguística de saída Risco, como também estabelece escalas de valores para as mesmas. Para a realização da análise proposta, foi ainda desenvolvido o Programa Risco-Fuzzy, específico para este fim. Avalia, em seguida, a metodologia proposta, como Estudo de Caso, a partir de dados já existentes, que foram levantados junto à Companhia de Gestão dos Recursos Hídricos (COGERH), no Sistema de Aporte de Água Bruta para a Região Metropolitana de Fortaleza (SAAB/RMF). Conclui também que, para os cenários considerados, a situação do SAAB/RMF, no que diz respeito à frequência e à gravidade dos possíveis riscos, é confortável, tanto em relação à quantidade como também à qualidade da água. Apresenta, finalmente, novas perspectivas de estudos e pesquisas que possam complementar ou aprofundar o estudo em questão.
|
69 |
Complexidade descritiva da lógica de ponto fixo relacional inflacionário / The descriptive complexity of logics with relational fixed-pointFarias, Márcia Roberta Falcão de January 2016 (has links)
FARIAS, Márcia Roberta Falcão de. Complexidade descritiva da lógica de ponto fixo relacional inflacionário. 2016. 114 f. Tese (Doutorado em Ciência da Computação)-Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Anderson Silva Pereira (anderson.pereiraaa@gmail.com) on 2017-01-10T20:51:08Z
No. of bitstreams: 1
2016_tese_mrffarias.pdf: 875367 bytes, checksum: b080a902e479415aafe748ca7f2224e9 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2017-01-11T15:46:49Z (GMT) No. of bitstreams: 1
2016_tese_mrffarias.pdf: 875367 bytes, checksum: b080a902e479415aafe748ca7f2224e9 (MD5) / Made available in DSpace on 2017-01-11T15:46:49Z (GMT). No. of bitstreams: 1
2016_tese_mrffarias.pdf: 875367 bytes, checksum: b080a902e479415aafe748ca7f2224e9 (MD5)
Previous issue date: 2016 / Descriptive Complexity is a field of Finite Model Theory, which is interested in characterizing computational complexity classes in terms of the logical resources that are required to express all the problems belonging to the class. The seminal result in the area is the celebrated Fagin's Theorem, which proves that the class NP is captured by the existential fragment of second order logic. On the other side of the spectrum, we have the well known fact that first-order logic is not sufficiently expressive to define even such simple problems as graph connectivity. The introduction of fixed-point operators is a standard technique to increase the expressive power of a logic in a controlled way. Indeed, Immerman and Vardi prove that first-order logic with the least fixed-point operator, denoted LFP, is able to capture the class P over the set of ordered structures. We generalize the classical fixed-point logics using relations instead of operators. The basic idea is that we use loops in a relation instead of fixed-points of a function, that is, X is a fixed-point of the relation R in case the pair (X,X) belongs to R. We introduce the notion of initial fixed-point of an inflationary relation R and the associated operator rifp. We denote by RIFP the first-order logic with the inflationary relational fixed-point operator rifp and show that it captures the polynomial hierarchy using a translation to second-order logic. We also consider the fragment RIFP1 with the restriction that the rifp operator can be applied at most once. We show that RIFP1 captures the class NP and compare our logic with the nondeterministic fixed-point logic proposed by Abiteboul, Vianu and Vardi, that introduces the notion of non-deterministic fixed-points and proves that the first-order logic with such operators captures the class NP. The results of this work will be published in 11th Workshop on Logical and Semantic Frameworks, with Applications - LSFA. / Complexidade Descritiva é um ramo da Teoria dos Modelos Finitos que está interessada em caracterizar classes de complexidade computacionais em termos dos recursos lógicos necessários para expressar todos os problemas que estão contidos na classe. O resultado mais celebrado da área é o Teorema de Fagin que prova que a classe NP é capturada pelo fragmento existencial de segunda ordem. Por outro lado, a lógica de primeira ordem (FO) não é expressiva o suficiente para definir problemas simples como o problema da conectividade de grafos. A introdução de operadores de ponto fixo é uma técnica padrão para acrescentar poder expressivo à lógica de maneira controlada. De fato, Immerman e Vardi provam que FO com o operador de menor ponto fixo, denotada por LFP, é capaz de capturar a classe P sobre estruturas finitas e ordenadas. Neste trabalho, seguiremos uma abordagem diferente e definiremos a noção de ponto fixo sobre uma relação arbitrária. Nós generalizamos as lógicas clássicas de ponto fixo usando relações no lugar de operadores. A ideia básica é que usamos laços em uma relação no lugar de pontos fixos de uma função, isto é, X é ponto fixo de uma relação R no caso do par (X,X) pertencer à relação R. Nós introduzimos a noção de ponto fixo inicial de uma relação inflacionária R e o operador rifp associado. Chamamos de RIFP a lógica FO com o operador de ponto fixo relacional inflacionário e mostramos que essa lógica captura a hierarquia polinomial usando uma tradução para a lógica de segunda ordem. Também consideramos o fragmento RIFP1 com a restrição do operador rifp poder ser aplicado no máximo uma vez. Mostramos que RIFP1 captura a classe NP e comparamos nossa lógica com a lógica de ponto fixo não-determinístico proposta por Abiteboul, Vianu e Vardi, que introduz a noção do ponto fixo não-determinístico e prova que a lógica FO com o operador de ponto fixo não-determinístico captura a classe NP sobre estruturas ordenadas. Os resultados deste trabalho foram aceitos para publicação em 11th Workshop on Logical and Semantic Frameworks, with Applications - LSFA.
|
70 |
Estimando o desfecho no recém-nascido grave através da Lógica FuzzyChaves, Luciano Eustáquio [UNESP] 26 June 2006 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:28:34Z (GMT). No. of bitstreams: 0
Previous issue date: 2006-06-26Bitstream added on 2014-06-13T20:37:37Z : No. of bitstreams: 1
chaves_le_me_guara.pdf: 440958 bytes, checksum: 8b8afbcfad481f6009f5c9ccf9b696ca (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O objetivo deste trabalho foi construir um modelo lingüístico utilizando as propriedades da lógica fuzzy com 4 variáveis de entrada: peso ao nascer, idade gestacional, Apgar, fração inspirada de oxigênio e de saída a variável risco de morte. Foi oferecido uma planilha com dados reais a 4 especialistas para que estes estimassem a possibilidade de óbito. Os valores fornecidos pelos especialistas foram correlacionados com os valores fornecidos pelo modelo; o estudo incluiu 100 recém nascidos e ocorreram 8 óbitos. A possibilidade média de óbito do modelo foi de 49,7% (dp=29,3%) e para alta a média foi de 24% (dp=17,5%). Estes valores são diferentes quando comparados pelo teste t Student (t=2,44) mostrando que são diferentes com significância estatística p< 0,001. A correlação entre os especialistas e o modelo proposto foi de 80% e a acurácia do modelo foi de 81,9%. Foi notado que o risco de morte neonatal diminui quando o peso ao nascer, a idade gestacional e o Apgar aumentam, e a fração de oxigênio diminui. Este modelo preditivo não invasivo e de baixo custo financeiro pode ser usado em berçários e UTIN, pois é facilmente utilizado. / The aim of the present study was to construct a linguistic model using the properties of fuzzy logic with four input variables (birth weight, gestational age, Apgar and inspired oxygen fraction) and risk of death as the output variable. A spreadsheet with real data was given to four specialists to estimate the possibility of death. The values provided by the specialists were correlated to those provided by the model; the study included 100 and eight deaths occurred. The mean chance of death in the model was 49.7% (sd=29.3%) and the mean chance of discharge was 24% (sd=17.5%). When compared using the Student’s t-test (t=2.44), the difference between these values was statistically significant (p< 0.001). The correlation between the specialists and the proposed model was 80% and the accuracy of the model was 81.9%. The risk of neonatal death diminished with an increase in birth weight, gestational age and Apgar as well as a reduction in oxygen fraction. This non-invasive, low-cost predictive model is easy to use and may be used in nurseries and NICUs.
|
Page generated in 0.0323 seconds