Detalhes bibliográficos
| Ano de defesa: |
1988 |
| Autor(a) principal: |
José Carlos Barbosa Damski |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Instituto Tecnológico de Aeronáutica
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1872
|
Resumo: |
A construção de Bases de Conhecimento é um processo quase artesanal, resultado de uma série de interações entre o especialista e o Engenheiro de Conhecimento. Normalmente estas Bases de Conhecimento apresentam defeitos de construção como informações incompletas e inconsistentes. Neste trabalho mostramos um sistema que faz a verificação de Bases de Conhecimento expressas em regras do tipo SE-ENTÃO. Esta verificação consiste na análise da ocorrência de ciclos; análise de consistência; completude das regras sobre o domínio; integridade das informações, etc. Paralelamente são apresentados alguns métodos para verificação parcial da Base de Conhecimento por parte do Engenheiro de Conhecimento, durante o processo de Aquisição de Conhecimento. |
