Busca avançada
Ano de início
Entree

Revisão em lógicas de descrição e outras lógicas não clássicas

Processo: 08/54554-9
Linha de fomento:Bolsas no Brasil - Doutorado Direto
Vigência (Início): 01 de outubro de 2008
Vigência (Término): 30 de setembro de 2010
Área do conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
Pesquisador responsável:Renata Wassermann
Beneficiário:Marcio Moretto Ribeiro
Instituição-sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
Assunto(s):Lógica computacional   Lógicas não clássicas   Ontologia (ciência da computação)   Representação de conhecimento   Web semântica

Resumo

Revisão de crenças é o estudo da atualização de uma base de conhecimentos. Normalmente essa atualização é definida a partir de três operações básicas: expansão (adição de nova informação), revisão (adição consistente de nova informação) e contração (remoção de informação). Lógicas de Descrição (LDs), por sua vez, formam uma família de linguagens para representação de conhecimento conceitual (ontológico). Em 2004 a W3C adotou o OWL e suas respectivas sub-linguagens (OWL-DL e OWL-Lite) como linguagens padrão para ontologias na web. Lógicas de descrição formam a base teórica do OWL e, portanto, seu estudo passou a ser de grande importância para o desenvolvimento da web-semântica. Lógicas de descrição assumem que as ontologias são estáticas. Porém, o conhecimento armazenado na web não é estático. Portanto, é de se esperar que as ontologias na web também não devam ser. Essa constatação trouxe à tona o problema chamado de dinâmica ou evolução das ontologias. Durante o mestrado estudamos a dinâmica das ontologias do ponto de vista da revisão de crenças e exploramos as dificuldades encontradas ao aplicar revisão de crenças às lógicas de descrição. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)