Você está na página 1de 2

1.

IMPORTNCIA DE CONHECER APLICAES: Motivaes gerais existem mas uma vez que se entenda a lgica como uma ferramenta a ser aplicada em situaes especficas,soasaplicaesqueiroguiarseudesenvolvimento. 2. Exemplodeteoriasquecontminconsistncia:TeoriadotomodeBohr a. (EXPLANARMELHOR). 3. Algunspossveisusos: a. Aximatizao de sistemas filosficos que contenham contradies (Ex.: FenomenologiadeSartre). b. Formalizao de linguagens naturais (seres humanos so capazes de racionar deformaadequadaapesardasinconsistncias). c. Implementao de theorem provers que no explicam devido presena de contradies, uma vez que impossvel garantir a ausncia de contradies no BD. 4. As inferncias de lgicas paraconsistentes preservam a verdade mas tambm preservam algo mais, de carter epistemolgico, aquilo que o Abilio chamou de construtividadeeevidncia. 5. Possveisreasemqueaparaconsistnciapodeajudarousernecessria: a. reamdica b. reamilitar(informaesdemltiplossensores). c. DataMining i. Exemplo do mercado (descobrir que quem gosta de X gosta tambm de Y). ii. Exemplo da anlisee indexaodeinformaesbrutas, comoasusadas eminvestigaespoliciais. 6. IMPLEMENTAODEUMALINGUAGEMPARACONSISTENTE:PARALOG_E a. O prolog uma linguagem de programao que funciona gerandose uma estruturadedados(modelo)eemseguidafazendoqueries(perguntas)aela. i. Exemplos:gosta(joao,maria),gosta(maria,jos),gosta(jos,maria). ii. Perguntas:gosta(maria,joao)(Mariagostadejoo?)No iii. USARDESENHOparailustrar b. O Paralog_e uma verso da linguagem de programao Prolog que suporta inconsistncias, isto , um modelo de dados que contenha contradies. Enquanto o Prolog responderia um arbitrrio no a dada pergunta ou entraria emloopinfinito,oparalogdetectaainconsistnciaetrazinformaessobreela. c. DESCRIODOEXEMPLODOARTIGO,SESSO5. d. Diferenasentreasduasabordagens: i. A mquina de inferncia padro do Prolog depende da ordenao dos fatos e regras para obter dedues, a paralog no. Isto explica as diferenasdasduasprimeirasqueries. ii. Na terceira query, a diferena surge porque, uma vez que tenha atingido uma concluso, o Prolog no checa se h outras concluses que possamlevaracontradies,masaParalogafaz. iii. Na quarta query, como o prolog no distingue o no como No h

informaes/evidncias do no como sendo efetivo (isto , afirmase que Bob no tem a doena, esta informao no usada, sendo perdida. e. ISSO, EM GERAL permite dizer que a paralog pode ser usada para lidar com vriasquestesdeintelignciaartificaldemodomaisnatural. 7. UM EXEMPLO DE APLICAO PRTICA DE LGICAS PARACONSISTENTES: DiagnsticodomaldeAlzheimer a. Uso de ANN (Artificial Neural Network), redes neurais, visto como uma ferramentapossivelmentetilnaanlisedepadres. b. O uso de PANN (Paraconsistent artificial neural network) capaz de lidar com incerteza, inconsistencia e paracompletude visto como uma ferramenta em potencial para anlise de dados gerados por EEG (eletroencefalogramas), provendo anlisesquantitativas e qualitativas confiveis mesmo na presena de dedadosinconsistentesoriundosdevriasfontes. i. Redesneuraissonormalmenteusadasquandoumasoluoalgoritmica excessivamentecomplexaouinvivelporqualquerrazo. ii. dentre estes, destacamse problemas de predio e reconhecimento de padres(otipodecoisaemquesomosbons). c. Segundo o artigo, no momento, no h metodo definitivo que determine um diagnstico dedemencia, porexemplo.Sendonecessriaoumacombinaode testes para obter um diagnstico provvel. O cruzamento destes dados pode levarainformaesinconsistentes,masaindainformativas. d. O artigo usou uma linguagem lgica anotada semelhante PARALOG e equivalentenombitoquenosinteressaaqui. e. Mostrar figura 1 e tabela 1 para demonstrar os valores de verdade utilizados nesteteste. f. Explicar a forma com que se d a anlise morfolgica das ondas e de onde se tira o quo parecida uma determinada onda com outra (de uma base de controlereferencial).(pgina20) i. Ao fim do processo, gerase um valor de evidncia favorvel e valor de evidnciacontrria,eestessosubmetidosaoquadrode g. Leituradodataanalysisdecisionmakingedemonstraodaredeneural. i. Explicar cada clula deprocessamentodainformao,destacandoofato de que cada uma recebe informaes a favor e contra uma dada informao e que envia sada um valor que pode variar conforme a matrizdevaloresdeverdade,damesmaformaqueumaquerydoprolog. h. Conclusesevantagensdosistema i. Permiteaplicaoemtemporealporquenoperdearefernciatemporal. ii. Mostrouseefetivoecombaixoconsumoderecursoscomputacionais.