Produção Nacional
Revisado por pares
Newton C. A. da Costa, Jair Minoro Abe,
... recorrer a um tipo novo de logica. Logica paraconsistente e uma logica que pode servir de base para teorias inconsistentes ... nova arquitetura para ciencia de computacao baseada em logica paraconsistente anotada e implementacao de circuitos eletronicos paraconsistentes.
Tópico(s): Computability, Logic, AI Algorithms
2000 - UNIVERSIDADE DE SÃO PAULO | Estudos Avançados
Produção Nacional
Revisado por pares
Alessandro Gonçalves Campolina, Patrícia Coelho de Soárez, Fábio Vieira Do Amaral, Jair Minoro Abe,
... de Incorporação de Tecnologias no SUS (CONITEC). A lógica paraconsistente anotada evidencial Eτ foi a abordagem metodológica escolhida ... Incorporación de Tecnologías en el SUS (CONITEC). La lógica paraconsistente anotada de evidencias Eτ fue el enfoque metodológico seleccionado, al tratarse de una lógica subyacente para constructos capaces de sintetizar información objetiva ( ...
Tópico(s): Health Systems, Economic Evaluations, Quality of Life
2017 - Escola Nacional de Saúde Pública, Fundação Oswaldo Cruz | Cadernos de Saúde Pública
El presente articulo intenta presentar algunas ideas a proposito de la interpretacion logico-simbolica de los discursos miticos. Esas ideas son tratadas de manera mas formal y aplicadas al examen de algunos ejemplos de fenomenos miticos y rituales en la contribucion del autor a Antropologia y Matematicas , libro en preparacion, del cual es coautor el doctor Victor Albis del Departamento de Matematicas de la Universidad Nacional de Colombia.
Tópico(s): Literary and Cultural Studies
1989 - National University of Colombia | Ideas y Valores
... de la intensidad vital de la desobediencia. Una lógica paraconsistente para conservar la vida y garantizarle continuidad y ...
Tópico(s): Urban and sociocultural dynamics
2019 - University of Texas Press | Journal of Latin American geography
Produção Nacional
Revisado por pares
Carlos Alberto Ferreira Bispo, Edson Walmir Cazarini,
... norma. A avaliação proposta aplica os recursos da Lógica Paraconsistente Anotada de Dois Valores (LPA2V). Apresenta-se como ...
Tópico(s): Geography and Environmental Studies
2006 - UNIVERSIDADE FEDERAL DE SÃO CARLOS | Gestão & Produção
... e a substituição da lógica dominante por uma lógica paraconsistente. A Epistemografia intervêm, portanto, para acolher o conhecimento ...
Tópico(s): Science and Science Education
2006 - PONTIFÍCIA UNIVERSIDADE CATÓLICA DE CAMPINAS | Transinformação
Produção Nacional
Revisado por pares
José Rodrigo Cabral, Jair Minoro Abe, Luiz Rodrigo Bonette, Patrícia Cristina de Lima,
... resultados de exames laboratoriais através da aplicação da Lógica Paraconsistente Anotada Evidencial Eτ e do algoritmo Para-Analisador. ... questões acerca da Diabetes Mellitus (DM) e da Lógica Paraconsistente Anotada Evidencial Eτ foram levantadas. Como processo metodológico, ... aplicados através do algoritmo Para-Analisador utilizando a Lógica Paraconsistente Anotada Evidencial Eτ. A partir disso, apresentou-se ... resultado secundário, foi possível perceber, ainda, que a Lógica Paraconsistente Anotada Evidencial Eτ pode ser aplicada em outras ...
Tópico(s): Artificial Intelligence in Healthcare
2023 - Grupo de Pesquisa Metodologias em Ensino e Aprendizagem em Ciências | Research Society and Development
Produção Nacional
Revisado por pares
... Costa e conhecido como urn dos fundadores da lógica paraconsistente, mas suas contribuições alcançam também os fundamentos da física, da ciência da computação,a teoria dos modelos, a lógica algébrica, a teoria dos reticulados, as aplicações de ...
Tópico(s): Pragmatism in Philosophy and Education
2009 - UNIVERSIDADE FEDERAL DE SANTA CATARINA | Principia an international journal of epistemology
Produção Nacional
Revisado por pares
Alequexandre Galvez de Andrade, Fernando Rodrigues de Amorim, Nélio Fernando dos Reis,
... é qualitativa e quantitativa, utilizando-se da Lógica Paraconsistente Anotada Evidencial (lógica Et). Foi elaborado um questionário, contendo 58 questões, ... transformação, inovação, geografia da inovação, atores e processos. Lógica Paraconsistente Anota Evidencial: as teorias paraconsistentes permitem teoremas de ...
Tópico(s): Innovation and Socioeconomic Development
2021 - Grupo de Pesquisa Metodologias em Ensino e Aprendizagem em Ciências | Research Society and Development
Produção Nacional
Revisado por pares
Samira Sestari do Nascimento, Irenilza de Alencar Nääs, Jair Minoro Abe, Cristina Corrêa de Oliveira, Luiz Roberto Forçan,
... mesmo falta de dados, o constructo utiliza a Lógica Paraconsistente Anotada Evidencial Eτ, em duas dimensões, dotada de ...
Tópico(s): Multi-Criteria Decision Making
2021 - Grupo de Pesquisa Metodologias em Ensino e Aprendizagem em Ciências | Research Society and Development
Produção Nacional
Revisado por pares
Fernanda Gomes da Silva Silva, Vladimir Araújo da Silva, Júlia Trevisan Martins, Miderson Andrei de Souza Santana, Beatriz Maria dos Santos Santiago Ribeiro,
... do programa Excel® e analisados por meio da Lógica Paraconsistente, média e desvio padrão. Resultados: participaram do estudo ...
Tópico(s): Palliative and Oncologic Care
2020 - Programa de Pós-Graduação Mestrado em Enfermagem da Universidade Federal do Piauí | Revista de Enfermagem da UFPI
Produção Nacional
Revisado por pares
... a “IF-lógica” (“independence friendly logic”) e a lógica paraconsistente são, em certo sentido, bastante similares. A partir ... potencialidades da IF-lógica podem ser reproduzidas na lógica paraconsistente. Uma das grandes dificuldades, deixada como um desafio, ... de condições de verdade para esta nova linguagem paraconsistente de primeira ordem, com vistas a garantir uma maior inter-relação entre esta e a IF-lógica. Argumento que tais condições de verdade não somente ...
Tópico(s): Computability, Logic, AI Algorithms
2009 - UNIVERSIDADE FEDERAL DE SANTA CATARINA | Principia an international journal of epistemology
Produção Nacional
Revisado por pares
Marcelo E. Coniglio, Newton M. Peron,
... que as obrigações contraditórias produzem trivialização; e uma lógica deôntica paraconsistente bimodal que combina as características de sistemas previamente introduzidos. Estas lógicas são utilizadas para analisar o conhecido paradoxo de Chisholm aproveitando-se do fato de que, além que as obrigações contraditórias não trivializam nas LDI’s, varias das dependências lógicas da lógica clássica são bloqueadas no contexto das LDI’s, ...
Tópico(s): Logic, programming, and type systems
2009 - UNIVERSIDADE FEDERAL DE SANTA CATARINA | Principia an international journal of epistemology
Produção Nacional
Marcus Vinicius Leite, Jair Minoro Abe, Marcos Antônio de Souza,
Tópico(s): Business and Management Studies
2024 - | Anais ... Encontro Nacional de Engenharia de Produção/Anais do Encontro Nacional de Engenharia de Produção
Produção Nacional
Revisado por pares
Maria Sueny Barbosa Soares, Mariana Thamires Martins, Marivalde Moacir Francelin,
... novo conceito de desclassificação e os princípios da lógica paraconsistente.
Tópico(s): Psychology and Mental Health
2013 - UNIVERSIDADE ESTADUAL DE CAMPINAS | RDBCI Revista Digital de Biblioteconomia e Ciência da Informação
Mario da Silva Quinello, Jair Minoro Abe, Fábio Vieira Do Amaral, Mariano Sérgio Pacheco De Ângelo, Cristina Corrêa de Oliveira, Marcelo Nogueira, Bárbara de Souza Gutierres,
During the development cycle of softwaretesting related activities is being developed which seek tomitigate the propagation of errors. Tests can be done at allstages of the development process of software. Tools andmethodologies guiding the test teams in order to ensurequality while executing this process, which is relevant in thetotal project cost. Thus, the challenge is finding ways toincrease the efficiency of Software Testing, in particular,regression testing, without further burdening the final ...
Tópico(s): Software Testing and Debugging Techniques
2013 - | Proceedings of International Conference on Engineering and Computer Education
Produção Nacional
Rubens dos Santos Guimarães, Válter Strafacci Júnior, Paulo Marcelo Tasinaffo,
... dos principais aspectos que envolvem a utilizacao da Logica Paraconsistente Anotada – LPA aplicada na avaliacao educacional de surdos. ...
Tópico(s): Education Pedagogy and Practices
2011 - | Anais do Workshop de Informática na Escola
Produção Nacional
Revisado por pares
Luiz Antônio de Lima, Jair Minoro Abe, Angel Antônio Gonzalez Martinez, Jonatas Santos de Souza, Flávio Amadeu Bernardini, Nilson Amado de Souza, Liliam Sayuri Sakamoto,
... na tomada de decisões. Palavras-chave: Neurônios Artificiais Paraconsistentes. Inteligência Artificial. Lógica Paraconsistente. Deep Learning Paraconsistente.
Tópico(s): Rough Sets and Fuzzy Logic
2021 - Faculdade Santo Agostinho | Revista FSA
Uyguaciara Vêloso Castelo Branco, Paulo Hideo Nakamura, Edineide Jezine,
... um grupo de expertises e o uso da Lógica Paraconsistente (Da Costa, 1999; Abe, 1992; Subrahmanian, 1987) como ... a partir do processo de validação aplicado, a lógica paraconsistente anotada, LPA2v, que a escala construída é consistente ...
Tópico(s): Education Pedagogy and Practices
2017 - Servei de Formació Permanent i Innovació Educativa, Universitat de València | Revista de Sociología de la Educación-RASE
Produção Nacional
Revisado por pares
Kelly Cristina Abou Arabi de Mendonça, Sérgio Luiz da Conceição Matos, João Inácio da Silva Filho, Maurício Conceição Mário, Dorotéa Vilanova Garcia, Hyghor Miranda Côrtes, A. de Carvalho, Irene Silva Farias,
... de uma estrutura microcontrolada com algoritmos baseados em Lógica Paraconsistente Anotada compondo uma rede de análises de sinais ... estrutura algorítmica proposta utiliza-se algoritmos fundamentados em Logica Paraconsistente (LP) que é uma lógica não clássica capaz de suportar sinais contraditórios, o ... seja vantajosa a sua aplicação em relação a lógica clássica binária. O hardware da Estação de Razão Paraconsistente foi simulado em laboratório e em uma malha de controle experimental apresentando resultados superiores a sistemas de razão que utilizam a lógica convencional.
Tópico(s): Low-power high-performance VLSI design
2022 - Grupo de Pesquisa Metodologias em Ensino e Aprendizagem em Ciências | Research Society and Development
Joseffe Barroso de Oliveira, Davi Silvestre Moreira dos Reis, Cláudio Luís Magalhães Fernandes, Maurício Conceição Mário, João Inácio da Silva Filho,
... seus respectivos alarmes com auxílio dos algoritmos da Lógica Paraconsistente Anotada de dois valores (LPA2v), uma lógica não- ... e normalizados para a aplicação da LPA. A Lógica Paraconsistente é aplicada utilizando o Algoritmo Para-Analisador, com ...
Tópico(s): Anomaly Detection Techniques and Applications
2022 - Brazilian Journal of Development | Brazilian Journal of Development
Produção Nacional
Revisado por pares
Joseffe Barroso de Oliveira, João Vitor Santa Rosa Gino, Carlos José de Lima, João Inácio da Silva Filho,
... medições elétricas e seus alarmes correspondentes usando a Lógica Paraconsistente Anotada de Dois Valores (LPA2v). Esta abordagem lógica ... ajustados para serem compatíveis com a LPA. A Lógica Paraconsistente é aplicada por meio do Algoritmo Para-Analisador, ...
Tópico(s): Computational Physics and Python Applications
2023 - Sindicato das Secretárias do Estado de São Paulo | Revista de Gestão e Secretariado (Management and Administrative Professional Review)
Produção Nacional
Revisado por pares
Liliam Sayuri Sakamoto, Jair Minoro Abe, Luiz Antônio de Lima, Nilson Amado de Souza, Jonatas Santos de Souza,
... de transformação digital e implementação do uso da Lógica Paraconsistente Anotada Evidencial Et para a otimização e diminuição ... implementação dessa inovação. Palavras-chave: Lógica não Clássica. Lógica Paraconsistente Anotada Evidencial Eτ. Sistemas de Logística. ABSTRACT In ...
Tópico(s): Chemistry Education and Research
2022 - Faculdade Santo Agostinho | Revista FSA
Cláudio Luís Magalhães Fernandes, Joseffe Barroso de Oliveira, Maurício Conceição Mário, João Inácio da Silva Filho, Davi Silvestre Moreira dos Reis,
... artigo são apresentados os resultados da aplicação da Lógica Paraconsistente Anotada com anotação de dois valores (LPA2v) em ... de controle de automação baseados em fundamentos da Lógica Paraconsistente, bem como permite a união de blocos que ...
Tópico(s): Formal Methods in Verification
2022 - Brazilian Journal of Development | Brazilian Journal of Development
Produção Nacional
Walther Xanthopulo, Walter Xanthopulo,
... porte construidos com estrutura de monobloco, baseado na Logica Paraconsistente Anotada de 2 Valores (LPA2v) em que se ... dentro da boa tecnica de oficina. Palavras-Chave: Logica paraconsistente, engenharia da computacao, estrutura do veiculo, LPA2v. ABSTRAC ...
Tópico(s): Transport Systems and Technology
2016 - | Ciência & Engenharia
Jose Jefferson Morais de Oliveira, João Inácio da Silva Filho,
... quantificar estes riscos utilizando os conceitos básicos de Lógica Paraconsistente Anotada com anotação de dois valores (LPA2v). Na ... configuração de algoritmos compondo uma Rede de Análise Paraconsistente (RAP), e determinado o valor do Grau de Certeza real resultante. Os resultados obtidos ratificaram a possibilidade de se aplicar este tipo de lógica em redes neurais destinadas a predição de falhas ...
Tópico(s): Power Quality and Harmonics
2022 - Brazilian Journal of Development | Brazilian Journal of Development
Produção Nacional
Revisado por pares
Helen Gomes da Silva, Hércules de Araújo Feitosa, Gabriel Alexandre da Cruz,
A Lógica paraconsistente J3 foi introduzida por D’Ottaviano e da Costa (1970). Tal abordagem foi proposta ao considerar o problema de Jàskowski que tratava de aspectos da paraconsistência. Em (1985) D’Ottaviano apresentou um sistema axiomático correto e completo para J3. Posteriormente, Feitosa, Cruz e Golzio (2015) introduziram um novo sistema axiomático para a lógica J3, mais simples em relação à primeira formalização. Diante do fato que o método hilbertiano é pouco intuitivo, ...
Tópico(s): Logic, Reasoning, and Knowledge
2018 - | Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia
... Palavras-chave: Anomalia cientifica; logica nao monotonica; logica paraconsistente; logica modal; descoberta de Netuno.
Tópico(s): Logic, Reasoning, and Knowledge
2017 - | Argumentos - Revista de Filosofia
Produção Nacional
André Cruz Goulart, Harrysson Luiz da Silva, Sandro Gomes Rodrigues,
... o resultado da revisão sistemática das aplicações da lógica paraconsistente anotada (LPA) para gestão de riscos e de ...
Tópico(s): Geography and Environmental Studies
2023 - | International Journal of Environmental Resilience Research and Science
Claudio Luiz Firmino, Dorotéa Vilanova Garcia, Landulfo Silveira, Marcos Tadeu Tavares Pacheco,
... técnicas de análise de componente principal (PCA) e lógica paraconsistente anotada (LPA) foram empregadas para discriminação e classificação ...
Tópico(s): Identification and Quantification in Food
2022 - Brazilian Journal of Development | Brazilian Journal of Development