Revisao de conceitos e logicas de descricao.

• Processo: 05/55251-1
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de outubro de 2005
• Data de Término da vigência: 30 de junho de 2006
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de 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): Representação de conhecimento Revisão de crenças Inteligência artificial
• Palavra(s)-Chave do Pesquisador: Inteligencia Artificial | Logicas De Descricao | Representacao De Conhecimento | Revisao De Crencas

Resumo

A dinâmica dos estados epistêmicos ou teoria da revisão de crenças, como é mais conhecida" foi desenvolvida para descrever como um agente deve mudar suas crenças na presença de novas informações. Lógicas de descrição, por sua vez, têm se destacado como um importante formalismo para representação de conhecimento por serem, na prática, eficientes para fazer inferências e ao mesmo tempo suficientemente expressivas para representar conhecimento de forma adequada para uma vasta gama de aplicações, sendo úteis principalmente para descrever conceitos e ontologias. Atualmente web-semântica usa linguagens baseadas em lógicas de descrição para construir ontologias. Quando se descreve um domínio é bastante comum aparecerem inconsistências, por isso a necessidade da revisão. O objetivo deste trabalho é estudar revisão de crenças usando lógicas de descrição. (AU)