Abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança (1996)
- Autores:
- Autor USP: AVILA, BRAULIO COELHO - EP
- Unidade: EP
- Sigla do Departamento: PCS
- Assunto: ENGENHARIA ELÉTRICA
- Idioma: Português
- 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.
- Imprenta:
- Data da defesa: 29.04.1996
-
ABNT
AVILA, Braulio Coelho. Abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança. 1996. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1996. . Acesso em: 24 abr. 2024. -
APA
Avila, B. C. (1996). Abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança (Tese (Doutorado). Universidade de São Paulo, São Paulo. -
NLM
Avila BC. Abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança. 1996 ;[citado 2024 abr. 24 ] -
Vancouver
Avila BC. Abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança. 1996 ;[citado 2024 abr. 24 ]
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
