Exerccios

1.1 Onde e como surgiu a Lgica Clssica?

Ao que tudo indica foi com os trabalhos do filosofo grego Aristoteles, sabio que
viveu entre 384 a 322 a.C. na cidade de Estagira, na Macedonia, que teve
inicio os estudos
da Logica.
1.2 Quais so os trs princpios fundamentais da Lgica Clssica?

1- Principio da Identidade p = p
Toda proposicao ou objeto e identico a si mesmo
2- Principio da Identidade proposicional p p
Toda proposicao implica nela mesma
3- Principio do Terceiro Excluido p p
De duas proposicoes contraditorias, isto e, uma nega a outra, uma delas e
verdadeira.
4- Principio da Nao-contradicao - (p p )
Entre duas proposicoes contraditorias, uma delas e Falsa

1.3 Por que a linguagem formal da Lgica Clssica se mostrou adequada para
representar Conhecimento, apesar do seu raciocnio binrio?
Porque seu raciocinio binario se adaptou bem ao funcionamento de alguns
dispositivos eletrnicos que podiam trabalhar como uma chave liga-desliga,
entre eles, o
mais importante foi transistor.
1.4. Descreva quais so as situaes encontradas no mundo real que
dificultam a Interpretao de Sistema de controle e Sistemas especialistas que
utilizam a Lgica Clssica na tomada de deciso.

As crescentes exigencias do mercado tecnologico
obrigam que os equipamentos de producao sejam capazes de processar e
controlar
adequadamente sistemas em condicoes nunca antes imaginadas. O
refinamento e o maior quantidade de informacoes sobre o ambiente e materia
prima tem o objetivo de aumentar a producao resultando em produtos de maior
qualidade e precisao. Para que isso seja possvel as informacoes do mundo
real que servem nas tomadas de decisao devem ser cada dia mais minuciosas
e mais proximas da realidade.

1.5 Descreva por que existem dificuldades para um Sistema Especialista fazer
tratamento adequado de informaes originadas do Conhecimento Incerto,
quando utiliza a Lgica Clssica.

Porque quase sempre os limites entre o
falso e verdadeiro sao indefinidos, incertos, ambiguos e ate mesmo
contraditorios. Fica claro que utilizando apenas a Logica Classica binaria os
recursos tecnologicos disponveis no so capazes de representar fielmente a
realidade.

1.6 O que se entende por trivializaco? De um exemplo.
Acontece quando de frmulas contraditrias possamos deduzir qualquer
afirmao
EX: A (A B) constitui um esquema valido. Levando-se
em conta as premissas apresentadas, pela regra de deducao Modus Ponens
(de A e de A B deduzimos B) advem (A B).
Aplicando-se novamente a regra Modus Ponens a essa ultima formula obtemos
B.
Porem, a formula B e arbitraria. Assim, de formulas contraditorias pode-se
deduzir qualquer
afirmacao. Este e o fenomeno da trivializacao.
1.7 De a definio de uma Lgica Paraconsistente.
a Logica Paraconsistente e uma Logica Nao-Classica que revoga o
principio da Nao Contradicao e admite o tratamento de sinais contraditorios na
sua estrutura
teorica.
1.8 O que e uma Lgica Para-completa?
Uma
logica L chama-se Paracompleta se ela puder ser a logica subjacente a teorias
nas quais se
infringe a lei do terceiro excluido na seguinte forma: de duas proposicoes
contraditorias,
uma delas e verdadeira. De modo preciso, uma logica se diz paracompleta se
nela existirem
sistemas nao-triviais maximais aos quais nao pertencem uma dada formula e
sua negacao.
1.9 Por que e importante, quando se trata Conhecimento Incerto, considerar a
Contradio?


1.10 Descreva as caractersticas fundamentais das Lgicas Paraconsistentes
Anotadas de anotao com dois valores LPA2v.



1.11 O que significa Grau de Evidencia na LPA2v?
um valor que est contido no conjunto de valores compostos pelas
constantes de anotao do reticulado de Hasse.

1.12 Como so representadas as anotaes no reticulado associado a LPA2v?

poder de representacao sobre o quanto as anotacoes, ou evidencias,
expressam o
conhecimento sobre a proposicao P, se ao inves da representacao da anotacao
ser por um
unico simbolo esta for formada por um para ordenado. Desse modo pode-se
utilizar um
reticulado formado por pares ordenados, tal que: t = {(, ) | , e [0,
1] c 9}.
Neste caso, e tambem fixado um operador ~: |t| |t|.
Da mesma forma, o operador ~ constitui o significado do simbolo logico de
negacao do sistema que sera considerado, e os outros valores do reticulado
sao:
- indica o minimo de t = (0, 0);
- T indica o maximo de t = (1, 1);
- sup indica a operacao de supremo.
- inf indica a operacao de infimo supremo.

1.13 O que significa o termo anotao na LPA2v? De um exemplo de uma
anotao na LPA2v.


1.14 Considere que exames feitos em um paciente x solicitados pelo medico
M1 o faz
afirmar que O paciente x esta com 72% de probabilidade de estar acometido
de uma
patologia grave y. Descreva a Proposio e sua anotao utilizando as
simbologias da
Lgica Paraconsistente Anotada de anotao nica.
1.15 Supondo que exames feitos em um paciente x solicitados pelo medico M1
o faz
afirmar que O paciente x esta com 50% de probabilidade de estar acometido
de uma
patologia grave y. Descreva a Proposio e sua anotao utilizando as
simbologias da
Lgica Paraconsistente Anotada de anotao nica.
1.16 Considere que os exames feitos em um paciente x atravs de um
aparelho P1 gerou
uma informao ao Medico que o faz afirmar que O paciente x esta com 68%
de
probabilidade de estar acometido de uma patologia grave y. Descreva a
Proposio e sua
anotao utilizando as simbologias da Lgica Paraconsistente Anotada de
anotao nica.
1.17 Supondo que um paciente receba o diagnostico do medico M1da seguinte
forma:__
Os resultados dos exames solicitados me levam a afirmar que voc tem 68%
de
probabilidade de estar acometido de uma pneumonia. No satisfeito com o
diagnostico o
paciente procura o medico M2, que analisando os exames lhe faz a seguinte
afirmao:__ Os resultados dos exames me levam a afirmar que voc tem
43% de
probabilidade de estar acometido de uma pneumonia. Descreva a Proposio
e a anotao
dessa analise utilizando as simbologias da Lgica Paraconsistente Anotada de
anotao com
dois valores LPA2v.
1.18 Considere que um paciente receba o diagnostico do medico M1da
seguinte forma:__
Os resultados dos exames solicitados me levam a afirmar que voc tem 80%
de
probabilidade de estar acometido de uma pneumonia. No satisfeito com o
diagnostico o
paciente procura o medico M2, que analisando os exames lhe faz a seguinte
afirmao:__ Os resultados dos exames me levam a afirmar que voc tem
80% de
probabilidade de estar acometido de uma pneumonia. Descreva a Proposio
e a anotao
dessa analise utilizando as simbologias da Lgica Paraconsistente Anotada de
anotao com
dois valores LPA2v.
1.19 Considere que um paciente receba o diagnostico do medico M1da
seguinte forma:__
Os resultados dos exames solicitados me levam a afirmar que voc tem 50%
de
probabilidade de estar acometido de uma pneumonia. No satisfeito com o
diagnostico o paciente procura o medico M2, que analisando os exames lhe faz
a seguinte
afirmao:__ Os resultados dos exames me levam a afirmar que voc tem
50% de
probabilidade de estar acometido de uma pneumonia. Descreva a Proposio
e a anotao
dessa analise utilizando as simbologias da Lgica Para consistente Anotada de
anotao com
dois valores LPA2v.
1.20 Desejando expressar seus conhecimentos sobre a possibilidade do
aparecimento de
uma epidemia de determinada doena em uma regio o medico M1 diz que
existe uma
evidencia de 50% de acontecer. a) Considere essa afirmao do especialista e
descreva a
Proposio e anotao conforme os conceitos da LPA2v. b) Descreva se
ocorre ou no a
existncia de Contradio na afirmao do Medico.
1.21 Considere que a respeito do item anterior o Medico M1 afirme: Existe
uma evidencia
de 80% de acontecer epidemia nesta regio. a) Descreva a proposio com a
anotao
conforme os fundamentos da LPA2v. b) Descreva se ocorre ou no a
existncia de
Contradio na afirmao do Medico.
1.22 Desejando outra fonte de informao sobre a provvel epidemia considere
que um
outro medico M2 tenha afirmado: Existe uma evidencia de 75% de acontecer
epidemia
nesta regio. a) Descreva a proposio com a anotao conforme os
fundamentos da
LPA2v. b) Descreva se ocorre ou no a existncia de Contradio nas
afirmaes dos
Mdicos.
1.23 Considere que os exames feitos em um paciente x atravs de um
aparelho P1 gerou
uma informao ao Medico que o faz afirmar que O paciente x esta com 56%
de
probabilidade de estar acometido de uma patologia grave y. No contente
com as medies
do aparelho P1 o Medico solicitou novos exames em um aparelho P2 que
gerou a
informao: O paciente x esta com 86% de probabilidade de estar acometido
de uma
patologia grave y. Descreva a Proposio e sua anotao utilizando as
simbologias da
Lgica Paraconsistente Anotada de anotao com dois valores.