Suponha que temos um banco de dados ou programa de computador que contém, entre outras informações, os seguintes dados codificados logicamente:
- Todos os coiotes norte-americanos são cinzentos.
- Animal resgatado é um coiote
- O coiote encontrado é de Washington.
- Washington é um estado norte-americano
Se nosso programa for capaz de fazer inferências lógicas, o resultado da operação das quatro informações será o coiote cinza. No entanto, suponha que isso não corresponda à realidade e o coiote tenha pelo amarelo. Portanto, devemos negar a informação de que o coiote encontrado é branco e adicioná-la ao banco de dados, mas então criamos uma inconsistência com o restante das informações registradas.
Para manter a confiabilidade dos dados, seria necessário revisar os dados previamente registrados e corrigir algumas das crenças estabelecidas antes do novo evento. Para isso, não é necessário renunciar a todas as premissas anteriores, pois isso significaria uma perda de informação desnecessária e importante. Então você tem que escolher alguma coisa.
O problema de revisão de crenças refere-se ao fato de que a informação lógica por si só não indica quais deles devem ser descartados, mas que outros meios devem ser utilizados para elucidar quais devem ser excluídos ou modificados. Além disso, qualquer escolha terá consequências lógicas ao fazer novas inferências; portanto, ao abandonar uma crença, você também deve decidir quais consequências queremos manter e quais são obsoletas.
O que é Revisão de Crenças?
Esforços para criar agentes lógicos que atuem racionalmente envolvem, em última análise, a formalização do processo de revisão de crenças. Isso implica levar em conta novas informações e ajustar o estado de crença, ou estado epistêmico, de acordo.
Existem várias maneiras de alterar um estado de crença quando novas informações são obtidas. Por exemplo, considere um agente que acredita que “Pablo é um padre” e que “os padres não são casados”. Se este agente souber que Pablo é casado, o estado de crença torna-se inconsistente e uma das afirmações deve ser rejeitada para resolver a inconsistência.
Revisão de crença, ou mudança de crença, refere-se à ato de mudar ou adicionar novas crenças. Ao adicionar uma crença em desacordo, as crenças conflitantes devem ser eliminadas ou modificadas para que permaneçam consistentes. Isso é possível porque as crenças são representadas por um conjunto de sentenças que podem ser deletadas ou introduzidas, exigindo ajustes de consistência com outras sentenças salvas.
Tipos de Mudanças na Revisão de Crenças
Mudar as crenças requer o cumprimento de regras específicas de racionalidade. Essas regras foram testadas usando teoremas de representação derivados de postulados relacionados a operações específicas envolvendo crenças e suas representações.
1. Revisão e atualização de informações.
Existem dois tipos principais de alterações, que geralmente são divididas em alterações mais específicas.
1.1. Atualizar
Atualizar crenças significa ajustá-los para refletir novas informações. Envolve a mudança de crenças antigas por novas, que se relacionam com a situação atual.
1.2. exame
Novas informações podem ser inconsistentes com antigas crenças. As velhas crenças são provavelmente menos confiáveis do que as novas. Nesse caso, as novas informações podem criar uma inconsistência. Esse processo de evitar conflitos é chamado de revisão, que é quando novas informações são inseridas em um conjunto de crenças antigas, sem que ocorra incompatibilidade.
Para minimizar o impacto do processo de revisão de crenças, conhecimento deve permanecer o mesmo antes e depois de uma revisão ou atualização. Esse princípio é conhecido como mudança mínima, que formaliza a suposição de que é improvável que as pessoas mudem de ideia. Também requer que, ao atualizar as crenças, seja preservado o máximo de conhecimento prévio possível.
O próximo exemplo clássico mostra que as operações necessárias para atualizar e revisar crenças não são as mesmas. Baseia-se em duas perspectivas diferentes sobre novas informações:
Dois satélites, A e B, estão em órbita ao redor de Marte com a missão de pousar. Estes emitem um sinal contínuo sobre sua localização na base. A Terra recebe um sinal de que um dos dois satélites está em órbita; no entanto, devido a um problema técnico, ele não sabe qual satélite transmitiu os dados. Um pouco mais tarde, é recebido o sinal de que o satélite A pousou em Marte. De acordo com a operação de atualização de dados, a informação do satélite A é ajustada e a posição de B (que não é atualizada) é desconhecida. A não interfere em B, pois não sabemos se já pousou ou se ainda está em órbita.
No exemplo de revisão, digamos que uma cidade tenha dois teatros e a obra A seja apresentada em um deles. Esta é a primeira informação que podemos registrar. Então, sabemos que nas mesmas datas será apresentada uma peça B no primeiro teatro. Nesse caso, podemos deduzir que a obra A será encenada no teatro que permanece livre. Há uma operação de revisão, quando novas informações são introduzidas.
2. Outras operações
Em uma determinada situação em que todas as crenças envolvidas referem-se ao mesmo cenáriooperações adicionais podem ser realizadas, incluindo:
- Contração: eliminação de uma crença.
- Expansão: adicionar uma crença sem verificar a consistência
- Extração: eliminação de um conjunto coerente de crenças
- Consolidação: restaurar a coerência de um todo.
- Fusão: combinar dois ou mais sistemas de crenças em um, mantendo a consistência. No entanto, isso difere da revisão, pois não prioriza novos dados.
Desenvolvimento de pesquisas sobre a revisão de crenças
Desde meados da década de 1980, a revisão de crenças tem sido considerada um assunto por si só. Este termo foi criado a partir de duas áreas de pesquisa relacionadas: ciência da computação e filosofia.
Desde o início da computação, os programadores criaram diferentes procedimentos para poder atualizar bancos de dados. Com o desenvolvimento da Inteligência Artificial, modelos de atualização de banco de dados cada vez mais complexos têm sido propostos. Em 1979, nasceram os sistemas de manutenção da verdade; capazes de revisar suas crenças para manter a consistência com novas informações que contradizem as existentes. Em 1983 ele fez uma das mais importantes contribuições teóricas para a revisão de crenças, a noção de prioridade foi introduzida. A priorização usa regras predefinidas para determinar qual fonte de dados tem precedência sobre outras fontes de dados no momento da atualização.
Desde a Antiguidade, a mudança de crenças tem sido objeto de reflexão filosófica. Já no século 20 houve debates mais específicos focados na mudança de crenças. Essas discussões envolvem julgar se as mudanças na probabilidade foram racionais e determinar os mecanismos usados para o desenvolvimento de teorias científicas. Mais tarde, na década de 1970, ocorreram debates centrados nas exigências de mudanças nas crenças racionais. O filósofo Isaac Levi abordou muitas preocupações no campo da pesquisa linguística e revisão de crenças na década de 1970.
Em 1985, Carlos Alchourrón, Peter Gärdenfors e David Makinson escreveram um artigo que forneceu uma estrutura formal para estudos de mudança de crença. Desde, o modelo AGM foi usado para organizar novos conhecimentos relacionados a mudanças de crençassendo este o núcleo teórico.
O modelo AGM
O modelo AGM é a teoria da revisão crenças mais aceitas. Ele estabelece que crenças são representadas por um conjunto logicamente fechado de sentenças. Deve-se notar que tanto no modelo AGM quanto na maioria dos modelos de revisão de crenças, estes são representados por sentenças escritas em linguagem formal. As frases não são capazes de capturar todas as nuances e aspectos da crença, mas atualmente são consideradas a melhor representação de um caráter geral.
O conjunto de creencias é capaz de expansão, contração e revisão. A expansão ocorre quando uma nova proposição é adicionada ao conjunto, que então se fecha logicamente. Na contração, uma das proposições do conjunto é eliminada, fechando-se logicamente. Finalmente, revisão refere-se à mesma coisa que expansão para adicionar uma nova proposição ao conjunto, mas deve permanecer consistente.
A operação de expansão é simples; as operações de redução e revisão podem ser múltiplas. Os autores apenas discutem múltiplas operações possíveis que devem obedecer a certos postulados de racionalidade. As operações de contração requerem:
- fechamento
- Acertar
- Inclusão
- recuperação
- Vazio
- extensionalidade
Um dos tópicos mais discutidos na teoria da revisão de crenças é o postulado da recuperação. Isso afirma que se uma crença for excluída e depois reinserida, todas as crenças originais serão recuperadas. No entanto, este isso não se aplica a bases de crenças, que são modelos semelhantes que usam conjuntos de crenças logicamente fechados. Tem havido muita discussão sobre como o modelo AGM representa mudanças nas crenças. Vários modelos alternativos foram propostos que alegam fornecer uma explicação mais realista das mudanças de crença do que o modelo AGM.
Referências bibliográficas
- Alchourron, EC; Gardenfors, P.; Makinson D. (1985). Sobre a lógica da mudança de teoria: funções de contração e revisão da reunião parcial. Journal of Symbolic Logic, 50: 510–530.
- Antoniou, G. e MA. Williams (1997) Raciocínio Não-Montônico, MIT Press.
- Gardenfors, Pedro. (1992). Revisão de crenças: uma introdução. 10.1017/CBO9780511526664.001.
