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.