Busca avançada
Ano de início
Entree

Melhorando a eficiência de revisão de bases de crença em logics de descrição via modularidade em ontologias

Processo: 18/00087-2
Linha de fomento:Bolsas no Exterior - Estágio de Pesquisa - Doutorado Direto
Vigência (Início): 15 de abril de 2018
Vigência (Término): 14 de janeiro de 2019
Área do conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
Pesquisador responsável:Renata Wassermann
Beneficiário:Ricardo Ferreira Guimarães
Supervisor no Exterior: Ulrike Melanie Sattler
Instituição-sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
Local de pesquisa : University of Manchester, Inglaterra  
Vinculado à bolsa:17/04410-0 - Modularidade em revisão de ontologias, BP.DD
Assunto(s):Inteligência artificial   Revisão de crenças

Resumo

De acordo com a W3C, ontologias em OWL (ou OWL 2) são o meio padrão para compartilhar informação na Web Semântica. Entre as muitas visões de ontologias, adotamos aqui a definição de ontologias como documentos que descrevem a conceitualização de um domínio, em uma linguagem que possa ser processada por um computador. Especificamente, abordamos o problema de reparar e evoluir ontologias de grande escala de forma eficiente. Como OWL e OWL 2 estão fundamentadas na família das lógicas de descrição, podemos tratar a codificação de ontologias em tais linguagens como conjuntos finitos de axiomas lógicos. Essa visão nos permite combinar a teoria de Revisão de Crenças, a qual formaliza mudanças racionais em objetos lógicos, e as estratégias de modularização, que podem reduzir os custos computacionais associados com as operações em Revisão de Crenças.

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.