Belief change without compactness (2020)
- Authors:
- Autor USP: SANTOS, JANDSON SANTOS RIBEIRO - IME
- Unidade: IME
- Sigla do Departamento: MAC
- 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
-
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://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/. Acesso em: 11 jan. 2026. -
APA
Santos, J. S. R. (2020). Belief change without compactness (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/ -
NLM
Santos JSR. Belief change without compactness [Internet]. 2020 ;[citado 2026 jan. 11 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/ -
Vancouver
Santos JSR. Belief change without compactness [Internet]. 2020 ;[citado 2026 jan. 11 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
