Busca avançada
Ano de início
Entree

Revisao de crencas em logicas de descricao.

Processo: 06/53028-6
Linha de fomento:Bolsas no Brasil - Mestrado
Vigência (Início): 01 de setembro de 2006
Vigência (Término): 31 de agosto de 2008
Área do 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

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)

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)