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.
| Identifer | oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:1872 |
| Date | 01 June 1988 |
| Creators | José Carlos Barbosa Damski |
| Contributors | Roberto Lins de Carvalho |
| Publisher | Instituto Tecnológico de Aeronáutica |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações do ITA, instname:Instituto Tecnológico de Aeronáutica, instacron:ITA |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0031 seconds