Revisao em logicas de descricao e outras logicas nao classicas.

• Processo: 08/54554-9
• Modalidade de apoio: Bolsas no Brasil - Doutorado Direto
• Data de Início da vigência: 01 de outubro de 2008
• Data de Término da vigência: 30 de setembro de 2010
• Área de 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
• Palavra(s)-Chave do Pesquisador: Evolucao De Ontologias | Inteligencia Artificial | Logicas De Descricao | Representacao De Conhecimento | Revisao De Crencas

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)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

RIBEIRO, Marcio Moretto. Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas. 2010. Tese de Doutorado - Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME/SBI) São Paulo.