Pseudo-contractions in belief revision (2016)
- Authors:
- Autor USP: SANTOS, YURI DAVID - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Subjects: INTELIGÊNCIA ARTIFICIAL; LÓGICA MATEMÁTICA APLICADA
- Agências de fomento:
- Language: Inglês
- Abstract: Revisão de Crenças aborda o problema de como alterar estados epistêmicos, normalmente representados na literatura como conjuntos de sentenças lógicas. Resultados teóricos sólidos foram consolidados com o paradigma AGM, que lida com teorias (conjuntos de sentenças logicamente fechados). Depois disso, a teoria foi estendida para bases de crenças, isto é, conjuntos arbitrários de sentenças. Apesar de todo esse arcabouço teórico, pesquisadores de IA enfrentam sérias dificuldades ao tentar implementar sistemas de revisão de crenças. Uma das maiores complicações é o fecho exigido pela teoria AGM, que não pode ser facilmente computado. Mesmo bases de crenças, que não exigem fechamento, parecem ser impróprias para fins práticos, pois suas alterações são geralmente muito rígidas (dependentes de sintaxe). Algumas operações, conhecidas como pseudo-contrações, estão no meio do caminho entre mudanças para conjuntos de crenças e mudanças para bases de crenças. Nesse trabalho, propomos uma nova operação de pseudo-contração, estudamos suas propriedades e a caracterizamos. Também encontramos conexões entre esse operador e algumas outras pseudo-contrações.
- Imprenta:
- Data da defesa: 23.02.2016
-
ABNT
SANTOS, Yuri David. Pseudo-contractions in belief revision. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08062016-105125. Acesso em: 19 set. 2024. -
APA
Santos, Y. D. (2016). Pseudo-contractions in belief revision (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08062016-105125 -
NLM
Santos YD. Pseudo-contractions in belief revision [Internet]. 2016 ;[citado 2024 set. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08062016-105125 -
Vancouver
Santos YD. Pseudo-contractions in belief revision [Internet]. 2016 ;[citado 2024 set. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08062016-105125
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas