Revisao de crencas em logicas de descricao.

• Processo: 06/53028-6
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de setembro de 2006
• Data de Término da vigência: 31 de agosto de 2008
• Área de conhecimento: Ciências Exatas e da Terra - Ciência 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
• Vinculado ao auxílio: 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications, AP.TEM
• Assunto(s): Inteligência artificial Revisão de crenças Lógica de descrição
• Palavra(s)-Chave do Pesquisador: Inteligencia Artificial | Logica De Descricao | Revisao De Crencas

Resumo

A área de revisão de crenças tem sido extensamente estudada nos últimos vinte anos. Ela trata do problema de como um agente deve mudar suas crenças na presença de novas informações. Lógicas de descrição têm se destacado como um bom formalismo para representação de conhecimentos, principalmente conhecimentos conceituais, por serem bastante expressivas e ao mesmo tempo decidíveis. Uma importante aplicação das lógicas de descrição é que elas fornecem a base teórica para a linguagem padrão para descrever ontologias na internet (OWL), e, portanto são um formalismo importante para o desenvolvimento da web-semântica. Durante o mestrado pretendemos implementar um revisor de ontologias, dando continuidade ao trabalho desenvolvido durante a iniciação científica, onde mostramos como é possível aplicar revisão de crenças a lógicas de descrição. (AU)