Uma LÃgica de DescriÃÃo Default / A Description Logic for Default
AUTOR(ES)
DÃbora Farias Frota
FONTE
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia
DATA DE PUBLICAÇÃO
19/08/2011
RESUMO
A formalizaÃÃo do conhecimento e a automatizaÃÃo do raciocÃnio sÃo assuntos centrais de pesquisa da InteligÃncia Articial. A LÃgica de Primeira Ordem tem sido tradicionalmente utilizada para tais propÃsitos. No entanto, ela à mais adequada para lidar com conhecimento completo em circunstÃncias ideais. Em situaÃÃes reais, nas quais o conhecimento à parcial, a LÃgica de Primeira Ordem nÃo à suciente. LÃgicas nÃo-monotÃnicas tÃm sido propostas para melhor lidar com o raciocÃnio prÃtico. Uma formalizaÃÃo do raciocÃnio nÃo-monotÃnico bem-sucedida à a LÃgica Default de Reiter que estende a LÃgica de Primeira Ordem com regras default. Infelizmente, a LÃgica Default à indecidÃvel. Nesta dissertaÃÃo, propomos uma LÃgica de DescriÃÃo Default expressiva o suciente para formalizar o raciocÃnio prÃtico sobre bases de conhecimento. Ela tem como base monotÃnica a LÃgica de DescriÃÃo ALC. Adicionamos algumas restriÃÃes à aplicaÃÃo dos defaults a m de obter propriedades interessantes, tais como a coerÃncia e a eliminaÃÃo de extensÃes anÃmalas. Apresentamos os principais algoritmos usados para construir uma extensÃo com um passo-a-passo e suas anÃlise de complexidade.
ASSUNTO(S)
ciencia da computacao lÃgica de descriÃÃo lÃgica default complexidade exptime description logic default logic exptime complexity lÃgica de primeira ordem lÃgica de computador algoritmos complexidade computacional
ACESSO AO ARTIGO
http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7649Documentos Relacionados
- Morphoanatomical description and germination of Merremia tomentosa (Choisy) Hall.
- Refinamento de Consultas em LÃgicas de DescriÃÃo Utilizando Teoria dos Rough Sets
- Morphophysiological description of early and late potato clones aiming at adaptation to tropical conditions.
- Taxonomia de Glomeromycota: revisÃo morfolÃgica, chaves dicotÃmicas e descriÃÃo de novos tÃxons
- QuirÃpteros como hospedeiros do fungo Coccidioides posadasii: descriÃÃo do primeiro registro de isolamento.