Página Principal

 

    Sobre o Grupo

    F.A.Qs

    Pesquisas

    Cursos

    Publicações

    Livros

    Eventos

    História da LPA

    Links

    Bibliografia

    Contato

 

Perguntas mais freqüentes (PMF) (FAQs):

.O que é Lógica?

Lógica é  o estudo sistemático do pensamento dedutivo,  que permite  construir argumentos  corretos nas ciências naturais, nas ciências  humanas e  nas ciências formais, e que possibilita distinguir  os argumentos corretos  dos incorretos. Uma definição Moderna de Lógica é: "Lógica é o conjunto de normas deduzidas das leis psicológicas com finalidade de dirigir operações do pensamento". 

A Lógica estabelece as leis do raciocínio, a maneira certa de como a razão deve operar, pouco importando se o raciocínio tem ou não fundamento na realidade.
A Lógica moderna e contemporânea  usa os  mesmos métodos que são usados em Matemática, e  por isso é também chamada de Lógica Simbólica. Por outro lado,  a própria Matemática  faz  uso intenso da  Lógica em suas demonstrações e em seus fundamentos.

 

.O que é Lógica Clássica?

A Lógica Clássica é aquela que percorreu uma longa trajetória desde Aristóteles, estando já relacionada  ao  método axiomático da Geometria de Euclides, com  intensa atividade na Idade Média, até  confluir modernamente  nas  idéias de Gottlob Frege em 1879 sobre  a primeira  linguagem formal para a   Lógica. Personagens subseqüentes no cenário da Lógica  incluem  Georg Cantor, Kurt Gödell, Alonzo Church, Alan Turing  e Alfred Tarski.  C. A da Costa  e a  diversas  outras.
Como a  própria  noção de  “máquina de  computar” é um conceito lógico, expresso através da máquinas de Turing devidas  a  Alan Turing,  boa parte da Informática e das Ciências da Computação utilizam a  Lógica, e em particular  a Lógica Clássica. O desenvolvimento técnico não diminuiu a  necessidade de  reflexão filosófica a respeito dos  métodos e  da  natureza da Lógica e a transformou em paradigma  para certas  áreas da Filosofia como a Filosofia Analítica. A Lógica contemporânea   converteu-se  numa  disciplina independente e  múltipla  que  se desenvolve em   conexão com a Filosofia, a  Lingüística, a Matemática e as Ciências da Computação

.O que é Lógica  Não-Clássica?

As rígidas leis da Lógica Clássica não permitem tratar situações que muitas vezes acontecem no mundo real, como ambiguidades, contradições, inconsistências e incertezas. Para dar um melhor tratamento à situações não cobertas pela lógica clássica surgiram as chamadas Lógicas Não-Clássicas. Teoria recente, foi somente partir do início do Século  XX  que as Lógicas Não-Clássicas  tiveram início com relevantes estudos que deram origem às Lógicas  Multivalentes, historicamente ligadas a Jean Lukasiewicz, às  Lógicas Intuicionistas  historicamente  ligadas a Alois Brower e  Arendt Heyting e às Lógicas  Paraconsistentes historicamente  ligadas a Stanislaw Jaskowski e a  newton C. A. Da Costa.

.O que é Lógica Paraconsistente?

A Lógica Paraconsistente LA é uma lógica pertencente ao grupo das chamadas Lógicas Não-Clássicas e tem como principal característica permitir o tratamento de contradições  sem trivialização, desafiando assim os princípios básicos da Lógica Clássica. Portanto, a lógica Paraconsistente trata-se de uma lógica Não-Clássica criada para desafiar o princípio da contradição.

O aparecimento da lógica paraconsistente somente ocorreu em 1963, com um trabalho do lógico brasileiro Newton Carneiro Affonso da Costa. Da Costa já havia exposto suas idéias sobre o conceito da contradição anteriormente, mas só em 1963 é que ele formulou, não um sistema, mas uma hierarquia enumerável de lógicas paraconsistentes de primeira ordem, dos respectivos cálculos de descrições e um esboço de teorias paraconsistentes de conjuntos construídos sobre sua lógica. O termo Lógica Paraconsistente só foi cunhado em 1976 por F. Miró Quesada, numa conferência pronunciada durante o III Simpósio Latino-Americano de Lógica Matemática, realizado na Unicamp.

.O que é Lógica Paraconsistente Anotada?

Lógica Paraconsistente Anotada LPA é uma classe de Lógica Paraconsistente que traz as proposições valoradas por anotações muitas vezes chamadas de Graus de Crença. Na Lógica Paraconsistente Anotada LPA estas proposições com seus respectivos graus de crença são representados através de um reticulado associado o que  permite a manipulação de dados e descrições inconsistentes de modo não-trivial.

 

.Como é possível Aplicar a Lógica Paraconsistente Anotada?

 

Sabe-se que quando o conhecimento é representado usando, principalmente, regras de produção ou lógica de predicados, é possível descrever declarações ou fatos com graus de crenças associados, onde estas crenças possuem certas evidências de apoio.

Na prática os graus de crença das proposições da LPA são formados através medições, normalizações ou de combinações de informações probabilísticas. Reconhecendo a LPA como uma Lógica Evidencial e fazendo uma interpretação matemática dos valores do reticulado é possivel manipular as anotações e elaborar tomadas de decisão aplicando os fundamentos da Lógica em diversas áreas do conhecimento humano. Através de interpretações feitas em um reticulado representativo da Lógica Paraconsistente Anotada pode-se obter um algoritmo denominado de Para-Analisador e, através deste, implementar por meio de programas de computação e de circuitos eletrônicos, sistemas lógicos de controle  que permitam manipular e raciocinar com sinais representativos sobre informações de conhecimento incerto que podem ser inconsistentes.

 

.O que é Rede Neural Artificial?

As Redes Neurais Artificiais  são modelos mecanicistas que foram criados por métodos computacionais para modelar partes das funções do cérebro. Uma Rede Neural Artificial é um conjunto bem estruturado de unidades de processamento interligadas por canais de comunicação cada qual tendo um determinado peso correspondente a um valor númérico. Estes conjuntos formam camadas interligadas entre sí onde as informações são processadas com o objetivo de representar o funcionamento de aprendizagem que ocorre no cérebro humano. 

.O que é uma Rede Neural Artificial Paraconsistente RNAP?

Uma Rede Neural Artificial Paraconsistente RNAP é um conjunto de unidades de processamento construído através dos fundamentos teóricos da Lógica Paraconsistente Anotada LPA.

As Redes Neurais Artificiais Paraconsistentes RNAP's tem a mesma finalidade de modelar partes do funcionamento do cérebro e criar sistemas de aprendizagem e reconhecimento de padrões para aplicações em diversas áreas da Inteligência Artificial, com a diferença de que, sendo construída com os fundamentos da Lógica Paraconsistente demonstra capacidade de tratar informações incertas e contraditórias.

Atualmente várias pesquisas de aplicações das RNAP estão sendo desenvolvidas com resultados que parecem ser superiores aos apresentados pelas Redes Neurais Artificiais Clássicas.

 

 

 
 
 

© 2004 JISF
 
 
setstats 1