Busca avançada
Ano de início
Entree

Revisao de conceitos e logicas de descricao.

Processo: 05/55251-1
Linha de fomento:Bolsas no Brasil - Iniciação Científica
Vigência (Início): 01 de outubro de 2005
Vigência (Término): 30 de junho de 2006
Área do 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

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)

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)