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.
|