Detalhes bibliográficos
| Ano de defesa: |
1996 |
| Autor(a) principal: |
Avila, Braulio Coelho |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Tese
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| 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: |
https://www.teses.usp.br/teses/disponiveis/3/3141/tde-19122024-123905/
|
Resumo: |
Representação de conhecimento é de crucial importância na área de inteligencia artifical. Embora não exista um consenso geral do que e representação de conhecimento, muitos esquemas foram propostos para representar e armazenar conhecimento. Neste trabalho é dado ênfase a frames. Os frames são um esquema de representação de conhecimento que permitem realizar descrições de objetos complexos. Porém, existe uma lacuna entre o conhecimento representado pelos sistemas de frames e o conhecimento sobre o mundo real. Existem poucos sistemas de frames que preocupam-se em diminuir esta lacuna de conhecimento. Porém, eles não tratam adequadamente questões como as exceções e o fenômeno da inconsistência. Uma dificuldade que tem sido encontrada nesses sistemas é a falta de uma semântica formal para tratar exceções e inconsistências. Neste trabalho é implementado, em ParaLog-e, um raciocinador de herança paraconsistente que representa conhecimento através de frames paraconsistentes e realiza inferências, baseadas no grau de inconsistência/sub-determinação, sobre hierarquias entrelaçadas. Além disso, sua principal característica é não eliminar, ab initio, as contradições. O raciocinador de herança implementado permite tratar mais adequadamente exceções e informações inconsistentes em sistemas de frames com múltipla herança. |
