Demonstração da Adequação do Operador BPM aos Postulados de Fusão de Crenças
Autor(a) principal: | |
---|---|
Data de Publicação: | 2018 |
Tipo de documento: | Trabalho de conclusão de curso |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFSC |
Texto Completo: | https://repositorio.ufsc.br/handle/123456789/192154 |
Resumo: | TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação. |
id |
UFSC_7da828d5a1e1630ce2c9db2b3557940b |
---|---|
oai_identifier_str |
oai:repositorio.ufsc.br:123456789/192154 |
network_acronym_str |
UFSC |
network_name_str |
Repositório Institucional da UFSC |
repository_id_str |
2373 |
spelling |
Demonstração da Adequação do Operador BPM aos Postulados de Fusão de CrençasInteligência ArtificialAgentes InteligentesArtificial IntelligenceFusão CrençasBelief MergingTCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação.A manutenção de crenças é um grande desafio na concepção de agen- tes inteligentes. Em particular, a área de fusão de crenças tem por objetivo definir crenças e objetivos comuns para um grupo de agentes com objetivos individuais distintos e possivelmente conflitantes, man- tendo suas bases de crenças individuais consistentes e sem perda ex- cessiva de informação. Neste contexto, alguns operadores para fusão de crenças foram propostos nas últimas décadas, incluindo os pionei- ros: operadores de maioria e arbitração - que utilizam, como principal medida de mudança, o cálculo de distância entre as bases considerando como unidade de distância um símbolo proposicional. Grande parte dos operadores atuam sobre conjuntos de modelos, que podem cres- cer exponencialmente ao número de fórmulas descritas na base. Como alternativa, operadores sintáticos podem ser utilizados. Em particu- lar, o operador BPM (acrônimo de Bittencourt, Perrussel e Marchi) foi proposto utilizando a mesma ideia de medida mínima, mas atuando sobre uma representação dual enxuta da base de crenças, denominada formas normais primárias, obtendo resultados equivalentes. Contudo, permaneceu em aberto a demonstração de que tal operador respeita os postulados estabelecidos para guiar processos de fusão de crenças. Desta forma, o objetivo deste trabalho foi demonstrar que tal operador satisfaz os postulados de fusão, o que foi realizado com sucesso utili- zando as próprias definições de implicantes primários como estratégia para as provas. Assim sendo, o operador sintático BPM torna-se uma interessante ferramenta para determinadas situações em que lidamos com sistemas baseados em conhecimento.Maintenance of belief bases is a big challenge in the design of intelligent agents. In particular, the belief merging area aims to define common beliefs and goals for a group of agents with distinct and possibly con- flicting individual goals, keeping their individual belief bases consistent and without excessive loss of information. In this context, some belief merging operators have been proposed in the recent decades, including the pioneers: majority and arbitration operators - which use, as a me- asure of change, the calculation of distance between bases considering one propositional symbol as the unit of distance. Most operators act on model sets, which can grow exponentially on the number of formulas described in the belief base. As alternative, synthetic operators can be used. In particular, the BPM operator (acronym of Bittencourt, Perrussel and Marchi) was proposed using the same idea of minimum measure, but acting on a minimal dual representation of the belief ba- ses, called prime normal forms, obtaining equivalent results. However, the demonstration such this operator respect the postulates established to guide belief merging processes remains open. Thus, the objective of this work was to demonstrate that this operator satisfies the merging postulates, which was done successfully using the definitions of prime implicants as an strategy for the demonstrations. Thus, the synthetic operator BPM becomes an interesting tool to obtain situations that deal with basic knowledge systems.Florianópolis, SC.Marchi, JerusaUniversidade Federal de Santa CatarinaDyonisio, Ana Cristina Medaglia2018-12-09T20:48:25Z2018-12-09T20:48:25Z2018-11-14info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis70 f.application/pdfhttps://repositorio.ufsc.br/handle/123456789/192154porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2018-12-09T20:48:25Zoai:repositorio.ufsc.br:123456789/192154Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732018-12-09T20:48:25Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false |
dc.title.none.fl_str_mv |
Demonstração da Adequação do Operador BPM aos Postulados de Fusão de Crenças |
title |
Demonstração da Adequação do Operador BPM aos Postulados de Fusão de Crenças |
spellingShingle |
Demonstração da Adequação do Operador BPM aos Postulados de Fusão de Crenças Dyonisio, Ana Cristina Medaglia Inteligência Artificial Agentes Inteligentes Artificial Intelligence Fusão Crenças Belief Merging |
title_short |
Demonstração da Adequação do Operador BPM aos Postulados de Fusão de Crenças |
title_full |
Demonstração da Adequação do Operador BPM aos Postulados de Fusão de Crenças |
title_fullStr |
Demonstração da Adequação do Operador BPM aos Postulados de Fusão de Crenças |
title_full_unstemmed |
Demonstração da Adequação do Operador BPM aos Postulados de Fusão de Crenças |
title_sort |
Demonstração da Adequação do Operador BPM aos Postulados de Fusão de Crenças |
author |
Dyonisio, Ana Cristina Medaglia |
author_facet |
Dyonisio, Ana Cristina Medaglia |
author_role |
author |
dc.contributor.none.fl_str_mv |
Marchi, Jerusa Universidade Federal de Santa Catarina |
dc.contributor.author.fl_str_mv |
Dyonisio, Ana Cristina Medaglia |
dc.subject.por.fl_str_mv |
Inteligência Artificial Agentes Inteligentes Artificial Intelligence Fusão Crenças Belief Merging |
topic |
Inteligência Artificial Agentes Inteligentes Artificial Intelligence Fusão Crenças Belief Merging |
description |
TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação. |
publishDate |
2018 |
dc.date.none.fl_str_mv |
2018-12-09T20:48:25Z 2018-12-09T20:48:25Z 2018-11-14 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
format |
bachelorThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://repositorio.ufsc.br/handle/123456789/192154 |
url |
https://repositorio.ufsc.br/handle/123456789/192154 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
70 f. application/pdf |
dc.publisher.none.fl_str_mv |
Florianópolis, SC. |
publisher.none.fl_str_mv |
Florianópolis, SC. |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFSC instname:Universidade Federal de Santa Catarina (UFSC) instacron:UFSC |
instname_str |
Universidade Federal de Santa Catarina (UFSC) |
instacron_str |
UFSC |
institution |
UFSC |
reponame_str |
Repositório Institucional da UFSC |
collection |
Repositório Institucional da UFSC |
repository.name.fl_str_mv |
Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC) |
repository.mail.fl_str_mv |
|
_version_ |
1808652027268431872 |