Construindo descrições simbólicas consistentes com aplicação a um sistema de autoria de conceitos visuais

Detalhes bibliográficos
Ano de defesa: 2001
Autor(a) principal: Dal Lago, Fábio
Orientador(a): Direne, Alexandre Ibrahim
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: Não Informado pela instituição
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:
Sistemas tutoriais inteligentes
Ciencia da Computação
Link de acesso: https://hdl.handle.net/1884/24716
Resumo: Orientador: Alexandre Ibrahim Direne
id UFPR_2756ccd9dc172e294b6d122ef55bd293
oai_identifier_str oai:acervodigital.ufpr.br:1884/24716
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaDirene, Alexandre IbrahimDal Lago, Fábio2025-05-28T14:28:23Z2025-05-28T14:28:23Z2001https://hdl.handle.net/1884/24716Orientador: Alexandre Ibrahim DireneDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em InformáticaResumo: Este trabalho consiste na concepção, projeto e implementação de ALADIM, uminterpretador de relações lógicas para manter uma base de conhecimento com seuconteúdo consistente. O interpretador foi integrado a um ambiente já existente, especialmente destinado à autoria e ensino de descrições simbólicas de alto nívelsobre conceitos visuais de imagens médicas. Porém, uma das principais deficiênciasdo referido ambiente está no fato de não existir um mecanismo de interpretação derelações lógicas para verificar a consistência das descrições inseridas pelo autor.Para solucionar tal problema, foi realizado um estudo cognitivo sobre diálogos entremédicos radiologistas para extrair a essência das relações lógicas neles envolvidas.A partir disso, o protótipo ALADIM foi projetado e implementado com base emtécnicas formais de inferência lógica para servir como guia interativo de explicaçõese sugestões para o autor, quando da ocorrência de inconsistência no materialdescrito. O trabalhado ainda apresenta vantagens e desvantagens da aplicação daferramenta, assim como metas futuras de pesquisa.Abstract: This work presents the conception, design and implementation of ALADIM, an interpreter of logic relations aimed at the maintenance of consistent knowledge bases. The interpreter was integrated to an existing software environment, specifically applied to the authoring and teaching of high-level, symbolic descriptions of visual concepts in medical images. However, one of the main deficiencies of the referred environment is in that it does not include a logic-base equipment for consistency checking of the image descriptions inserted by the author. To solve this problem, we carried out a cognitive study on dialogues, recorded from human medical radiologists, in order to extract the essentials of the logic relations involved with them. From this point, the ALADIM prototype was designed and implemented, based on formal logic inference techniques to serve as an interactive explanation guide to the author, whenever inconsistencies arise in the teaching material. The work also discusses the advantages and disadvantages of using the tool, as well as future research aims.64 f. ; 30cm.application/pdfDisponível em formato digitalSistemas tutoriais inteligentesCiencia da ComputaçãoConstruindo descrições simbólicas consistentes com aplicação a um sistema de autoria de conceitos visuaisinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALD - DAL LAGO, FABIO.pdfapplication/pdf1831679https://acervodigital.ufpr.br/bitstream/1884/24716/1/D%20-%20DAL%20LAGO%2c%20FABIO.pdfab30356946b46dc0aeb0019454bfd3d0MD51open accessTEXTD - DAL LAGO, FABIO.pdf.txtExtracted Texttext/plain135102https://acervodigital.ufpr.br/bitstream/1884/24716/2/D%20-%20DAL%20LAGO%2c%20FABIO.pdf.txt604dfd02a9e982cc84d907b6fd3882beMD52open accessTHUMBNAILD - DAL LAGO, FABIO.pdf.jpgGenerated Thumbnailimage/jpeg1225https://acervodigital.ufpr.br/bitstream/1884/24716/3/D%20-%20DAL%20LAGO%2c%20FABIO.pdf.jpg5a65ad03d6a9c75d57c119f3098c24c3MD53open access1884/247162025-05-28 11:28:23.878open accessoai:acervodigital.ufpr.br:1884/24716Repositório InstitucionalPUBhttp://acervodigital.ufpr.br/oai/requestinformacaodigital@ufpr.bropendoar:3082025-05-28T14:28:23Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Construindo descrições simbólicas consistentes com aplicação a um sistema de autoria de conceitos visuais
title Construindo descrições simbólicas consistentes com aplicação a um sistema de autoria de conceitos visuais
spellingShingle Construindo descrições simbólicas consistentes com aplicação a um sistema de autoria de conceitos visuais
Dal Lago, Fábio
Sistemas tutoriais inteligentes
Ciencia da Computação
title_short Construindo descrições simbólicas consistentes com aplicação a um sistema de autoria de conceitos visuais
title_full Construindo descrições simbólicas consistentes com aplicação a um sistema de autoria de conceitos visuais
title_fullStr Construindo descrições simbólicas consistentes com aplicação a um sistema de autoria de conceitos visuais
title_full_unstemmed Construindo descrições simbólicas consistentes com aplicação a um sistema de autoria de conceitos visuais
title_sort Construindo descrições simbólicas consistentes com aplicação a um sistema de autoria de conceitos visuais
author Dal Lago, Fábio
author_facet Dal Lago, Fábio
author_role author
dc.contributor.other.pt_BR.fl_str_mv Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.advisor1.fl_str_mv Direne, Alexandre Ibrahim
dc.contributor.author.fl_str_mv Dal Lago, Fábio
contributor_str_mv Direne, Alexandre Ibrahim
dc.subject.por.fl_str_mv Sistemas tutoriais inteligentes
Ciencia da Computação
topic Sistemas tutoriais inteligentes
Ciencia da Computação
description Orientador: Alexandre Ibrahim Direne
publishDate 2001
dc.date.issued.fl_str_mv 2001
dc.date.accessioned.fl_str_mv 2025-05-28T14:28:23Z
dc.date.available.fl_str_mv 2025-05-28T14:28:23Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1884/24716
url https://hdl.handle.net/1884/24716
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.fl_str_mv Disponível em formato digital
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 64 f. ; 30cm.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/24716/1/D%20-%20DAL%20LAGO%2c%20FABIO.pdf
https://acervodigital.ufpr.br/bitstream/1884/24716/2/D%20-%20DAL%20LAGO%2c%20FABIO.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/24716/3/D%20-%20DAL%20LAGO%2c%20FABIO.pdf.jpg
bitstream.checksum.fl_str_mv ab30356946b46dc0aeb0019454bfd3d0
604dfd02a9e982cc84d907b6fd3882be
5a65ad03d6a9c75d57c119f3098c24c3
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv informacaodigital@ufpr.br
_version_ 1847526312057503744

Registros relacionados