Pseudo-contraction operations for description logics (2021)
- Authors:
- Autor USP: MATOS, VINÍCIUS BITENCOURT - IME
- Unidade: IME
- Sigla do Departamento: MAC
- 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
-
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://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/. Acesso em: 06 nov. 2024. -
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://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/ -
NLM
Matos VB. Pseudo-contraction operations for description logics [Internet]. 2021 ;[citado 2024 nov. 06 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/ -
Vancouver
Matos VB. Pseudo-contraction operations for description logics [Internet]. 2021 ;[citado 2024 nov. 06 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
