Pseudo-contraction operations for description logics (2021)
- Authors:
- Autor USP: MATOS, VINÍCIUS BITENCOURT - IME
- Unidade: IME
- Sigla do Departamento: MAC
- DOI: 10.11606/D.45.2021.tde-02092021-131750
- Subjects: ONTOLOGIAS; REVISÃO DE CRENÇAS; REPRESENTAÇÃO DE CONHECIMENTO
- Keywords: Belief revision; Description logics; Lógicas de pescrição; Ontology repair; Pseudo-contraction; Pseudocontração; Reparo de ontologias
- Agências de fomento:
- Language: Inglês
- Abstract: A representação de conhecimento em ontologias é baseada em Lógicas de Descrição, que são fragmentos decidíveis da lógica de primeira ordem. Uma vez que o conhecimento não é estático, é necessário lidar com a aquisição de novas informações, que podem contradizer o conhecimento existente. Revisão de Crenças busca resolver este problema, mas o arcabouço clássico AGM supõe um agente ideal capaz de lidar com conjuntos de sentenças fechados logicamente, e algumas de suas generalizações para bases de crenças (como ontologias representadas com Lógicas de Descrição) podem levar a uma perda de informação, visto que nenhuma sentença pode ser adicionada ao realizar uma operação de contração. Neste trabalho, analisamos construções kernel para operações de pseudocontração e suas propriedades formais. Ademais, mostramos a relação próxima que existe entre os conceitos e definições das áreas de Revisão de Crenças e Reparo de Ontologias (tais como pseudocontrações e reparos brandos, respectivamente), e apresentamos uma notação unificada para suas operações
- Imprenta:
- Data da defesa: 13.07.2021
- 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
MATOS, Vinícius Bitencourt. Pseudo-contraction operations for description logics. 2021. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/. Acesso em: 09 abr. 2026. -
APA
Matos, V. B. (2021). Pseudo-contraction operations for description logics (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/ -
NLM
Matos VB. Pseudo-contraction operations for description logics [Internet]. 2021 ;[citado 2026 abr. 09 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/ -
Vancouver
Matos VB. Pseudo-contraction operations for description logics [Internet]. 2021 ;[citado 2026 abr. 09 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
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
