Uma abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança.

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:
Handling exceptions and inconsistencies
Tratamento de exceções e inconsistências
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.
id USP_e51c2a7a1ab3e17f0d6597602c7ca18b
oai_identifier_str oai:teses.usp.br:tde-19122024-123905
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling Uma abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança.Untitled in englishHandling exceptions and inconsistenciesTratamento de exceções e inconsistênciasRepresentaçã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.The representation of knowledge is of crucial importance in the field or Artificial Intelligence. Although there is no unified approach to the representation of knowledge, various schemes for the representation and storage of knowledge have been proposed. This work concentrates on the Frames approach. Frames are a scheme for the representation of knowledge which allows the description of complex objects. However, there is a gap between the knowledge represented by Frame Systems and the knowledge in the real world. Some Frame Systems have been designed in order to reduce this gap. Nonetheless, they do not deal with tasks such as, exceptions and the inconsistency phenomenon adequately. A drawback which has been found in those systems is the lack of a formal semantic which deals with exceptions and, inconsistency.In this work a inheritance reasoner, written in Paralog_e, has been implemented. It represents knowledge through paraconsistent frames and performs inferences over the tangled hierarchies based upon the degree of inconsistency/under-determinedness. Moreover, its main characteristic is that it does not eliminate, ab initio, the contradictions. The inheritance reasoner has provide a more adequate treatment to exceptions and inconsistent information of Frame Systems with multiple inheritance. Finally, some aspects related to future works are also considered.Biblioteca Digitais de Teses e Dissertações da USPRillo, MarcioAvila, Braulio Coelho1996-04-29info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3141/tde-19122024-123905/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2024-12-20T19:16:16Zoai:teses.usp.br:tde-19122024-123905Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212024-12-20T19:16:16Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Uma abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança.
Untitled in english
title Uma abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança.
spellingShingle Uma abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança.
Avila, Braulio Coelho
Handling exceptions and inconsistencies
Tratamento de exceções e inconsistências
title_short Uma abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança.
title_full Uma abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança.
title_fullStr Uma abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança.
title_full_unstemmed Uma abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança.
title_sort Uma abordagem paraconsistente baseada em lógica evidencial para tratar exceções em sistemas de frames com múltipla herança.
author Avila, Braulio Coelho
author_facet Avila, Braulio Coelho
author_role author
dc.contributor.none.fl_str_mv Rillo, Marcio
dc.contributor.author.fl_str_mv Avila, Braulio Coelho
dc.subject.por.fl_str_mv Handling exceptions and inconsistencies
Tratamento de exceções e inconsistências
topic Handling exceptions and inconsistencies
Tratamento de exceções e inconsistências
description 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.
publishDate 1996
dc.date.none.fl_str_mv 1996-04-29
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/3/3141/tde-19122024-123905/
url https://www.teses.usp.br/teses/disponiveis/3/3141/tde-19122024-123905/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1831214833635164160

Registros relacionados