dc.contributor | Bittencourt, Guilherme | |
dc.contributor | Universidade Federal de Santa Catarina | |
dc.creator | Marchi, Jerusa | |
dc.date | 2012-10-22T16:57:58Z | |
dc.date | 2012-10-22T16:57:58Z | |
dc.date | 2006 | |
dc.date | 2006 | |
dc.date.accessioned | 2017-04-03T20:30:27Z | |
dc.date.available | 2017-04-03T20:30:27Z | |
dc.identifier | 239018 | |
dc.identifier | http://repositorio.ufsc.br/xmlui/handle/123456789/89122 | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/706245 | |
dc.description | Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. | |
dc.description | A área de Mudança de Crenças trabalha com métodos que permitem incorporar uma nova informação à uma base de crenças previamente existente. Estes métodos devem garantir que a base resultante seja consistente e que a base original sofra apenas as mudanças mínimas necessárias para torná-la coerente com a nova informação.
Formalmente, a mudança mínima é definida através de um critério de proximidade entre as bases de crenças dado por uma medida de distância entre os modelos das bases. Este critério é usado tanto por métodos de Revisão de Crenças quanto de Atualização de Crenças. Para a área de revisão de crenças, Dalal propôs um operador de revisão que satisfaz os postulados AGM (Alchourrón, Gardenfors, Makinson) e propõe como unidade de medida para a definição de distância o número de símbolos proposicionais que apresentam valores verdade diferentes entre os modelos. Para a área de atualização de crenças, Forbus e Winslett propuseram operadores semânticos que satisfazem os postulados KM (Katsuno, Mendelzon) para a área de atualização de crenças. Todos estes operadores baseiam-se em uma visão semântica das bases de crenças.
Neste trabalho são apresentadas versões sintáticas destes operadores de mudança de crenças. Os operadores propostos requerem que a base de crenças seja representada nas formas normais de Implicantes Primários e Implicados Primários. As versões sintáticas propostas são estritamente equivalentes aos operadores de Dalal, Forbus e Winslett. Também são propostos dois novos operadores sintáticos baseados em uma definição diferente de mudança mínima. O novo critério de mudança mínima proposto é definido usando a relação "holográfica" existente entre os literais em uma forma primária e as cláusulas (duais), na outra forma primária, nas quais eles ocorrem. Esta nova abordagem sintática permite criar um contexto para os literais e uma nova visão do processo de mudança de crenças. A nova noção de minimalidade proposta produz mudanças mais pertinentes e menores que a noção usual de distância mínima. | |
dc.format | xxiii, 110 p.| grafs., tabs. | |
dc.language | por | |
dc.publisher | Florianópolis, SC | |
dc.subject | Engenharia eletrica | |
dc.subject | Representação do conhecimento (Teoria da informação) | |
dc.subject | (Teoria da informacao) | |
dc.title | Operadores sintáticos para mudança de crenças baseados na representação em formas normais primárias | |
dc.type | Tesis | |