Belief change without compactness (2020)
- Authors:
- Autor USP: SANTOS, JANDSON SANTOS RIBEIRO - IME
- Unidade: IME
- Sigla do Departamento: MAC
- DOI: 10.11606/T.45.2020.tde-16032020-192134
- Subjects: INTELIGÊNCIA ARTIFICIAL; REPRESENTAÇÃO DE CONHECIMENTO
- Keywords: Atualização de crenças; Belief revision; Belief update; Compacidade; Compactness; Non-monotonic reasoning; Revisão de crenças; Sistemas não monotônicos
- Agências de fomento:
- Language: Inglês
- Abstract: Um dos principais objetivos da Inteligência Artificial (IA) é desenvolver agentes capazes de tomar decisões racionais de forma autônoma. Para isso, é essencial criar mecanismos para a representação do conhecimento que um agente tem sobre o mundo. Tais mecanismos devem possibilitar ao agente raciocinar sobre o conhecimento adquirido. No entanto, o conhecimento de um agente não é estático - ele é atualizado à medida que o agente adquire novas informações. Um dos grandes desafios que envolvem a representação do conhecimento é como um agente deve gerir seu corpo de conhecimento em resposta a novas informações que adquire: problema conhecido como Mudança de Crença. As abordagens padrão de Mudança de Crença apresentam duas formas: um conjunto de postulados de racionalidade que prescrevem comportamentos epistêmicos para um agente; e uma coleção de construções ou funções para executar tais mudanças racionais. Os dois principais paradigmas da Mudança de Crenças são o paradigma AGM (para mudança de crença em um ambiente estático) e o paradigma KM (para mudança de crença em um ambiente dinâmico). Ambos os paradigmas fazem fortes suposições sobre a lógica subjacente usada para expressar as crenças de um agente, como por exemplo a Supraclassicalidade e a Compacidade. Depender dessas suposições, no entanto, é bastante restritivo, pois muitas lógicas importantes para aplicações de IA e de Ciência da Computação não as possuem. Esta tese tem como foco estender a Mudança de Crençaspara o domínio das lógicas sem compacidade. Um dos efeitos colaterais em dispensar a Compacidade é que as construções padrões dos paradigmas da AGM e da KM não se conectam mais com os respectivos postulados de racionalidade. Neste trabalho, identificamos as razões por trás dessa falha. Por sua vez, isso nos ajuda a identificar algumas condições mínimas sob as quais a existência de operações racionais de mudança de crença nos paradigmas AGM e KM é garantida. Posteriormente, fornecemos operações de Mudança de Crença para ambos paradigmas AGM e KM sem a suposição da Compacidade. A principal diferença entre a nossa abordagem e as abordagens padrões está na forma como a preferência epistêmica de um agente é representada: em vez de \\textit e Sistemas de Esferas de Grove, consideramos teorias completas e relações parciais genuínas sobre mundos. Além disso, também consideramos a conexão entre a revisão de crenças AGM e os Sistemas Lógicos Não-Monotônico (SLNM), geralmente vistos como dois lados da mesma moeda. Demonstramos que a ponte entre a revisão de crenças e SLNMs se rompe na ausência da Compacidade. Em seguida, identificamos a causa do problema, e apresentamos um novo sistema não-monotônico que se conecta adequadamente aos postulados de revisão AGM, mesmo na ausência de compacidade. Significativamente, essa conexão com o paradigma AGM é independente de quaisquer construções específicas (como sistemas de esferas) e é diretamente estabelecida entre os postulados AGM eos axiomas do sistema não-monotônico proposto
- Imprenta:
- Data da defesa: 27.01.2020
- Status:
- Artigo publicado em periódico de acesso aberto (Gold Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
ABNT
SANTOS, Jandson Santos Ribeiro. Belief change without compactness. 2020. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/. Acesso em: 11 abr. 2026. -
APA
Santos, J. S. R. (2020). Belief change without compactness (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/ -
NLM
Santos JSR. Belief change without compactness [Internet]. 2020 ;[citado 2026 abr. 11 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/ -
Vancouver
Santos JSR. Belief change without compactness [Internet]. 2020 ;[citado 2026 abr. 11 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
