Demonstração da Adequação do Operador BPM aos Postulados de Fusão de Crenças

Detalhes bibliográficos
Autor(a) principal: Dyonisio, Ana Cristina Medaglia
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 Universidade Federal de Santa CatarinaDyonisio, Ana Cristina MedagliaMarchi, Jerusa2018-12-09T20:48:25Z2018-12-09T20:48:25Z2018-11-14https://repositorio.ufsc.br/handle/123456789/192154TCC(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.70 f.Florianópolis, SC.Inteligência ArtificialAgentes InteligentesArtificial IntelligenceFusão CrençasBelief MergingDemonstração da Adequação do Operador BPM aos Postulados de Fusão de Crençasinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisporreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessLICENSElicense.txtlicense.txttext/plain; charset=utf-81383https://repositorio.ufsc.br/bitstream/123456789/192154/2/license.txt11ee89cd31d893362820eab7c4d46734MD52ORIGINALTCC_artigo_.pdfTCC_artigo_.pdfTCCapplication/pdf524570https://repositorio.ufsc.br/bitstream/123456789/192154/1/TCC_artigo_.pdff152982a6434749269b7adba1ac3b941MD51123456789/1921542018-12-09 18:48:25.711oai:repositorio.ufsc.br:123456789/192154Vm9jw6ogdGVtIGEgbGliZXJkYWRlIGRlOiBDb21wYXJ0aWxoYXIg4oCUIGNvcGlhciwgZGlzdHJpYnVpciBlIHRyYW5zbWl0aXIgYSBvYnJhLiBSZW1peGFyIOKAlCBjcmlhciBvYnJhcyBkZXJpdmFkYXMuClNvYiBhcyBzZWd1aW50ZXMgY29uZGnDp8O1ZXM6IEF0cmlidWnDp8OjbyDigJQgVm9jw6ogZGV2ZSBjcmVkaXRhciBhIG9icmEgZGEgZm9ybWEgZXNwZWNpZmljYWRhIHBlbG8gYXV0b3Igb3UgbGljZW5jaWFudGUgKG1hcyBuw6NvIGRlIG1hbmVpcmEgcXVlIHN1Z2lyYSBxdWUgZXN0ZXMgY29uY2VkZW0gcXVhbHF1ZXIgYXZhbCBhIHZvY8OqIG91IGFvIHNldSB1c28gZGEgb2JyYSkuIFVzbyBuw6NvLWNvbWVyY2lhbCDigJQgVm9jw6ogbsOjbyBwb2RlIHVzYXIgZXN0YSBvYnJhIHBhcmEgZmlucyBjb21lcmNpYWlzLgpGaWNhbmRvIGNsYXJvIHF1ZTogUmVuw7puY2lhIOKAlCBRdWFscXVlciBkYXMgY29uZGnDp8O1ZXMgYWNpbWEgcG9kZSBzZXIgcmVudW5jaWFkYSBzZSB2b2PDqiBvYnRpdmVyIHBlcm1pc3PDo28gZG8gdGl0dWxhciBkb3MgZGlyZWl0b3MgYXV0b3JhaXMuIERvbcOtbmlvIFDDumJsaWNvIOKAlCBPbmRlIGEgb2JyYSBvdSBxdWFscXVlciBkZSBzZXVzIGVsZW1lbnRvcyBlc3RpdmVyIGVtIGRvbcOtbmlvIHDDumJsaWNvIHNvYiBvIGRpcmVpdG8gYXBsaWPDoXZlbCwgZXN0YSBjb25kacOnw6NvIG7Do28gw6ksIGRlIG1hbmVpcmEgYWxndW1hLCBhZmV0YWRhIHBlbGEgbGljZW7Dp2EuIE91dHJvcyBEaXJlaXRvcyDigJQgT3Mgc2VndWludGVzIGRpcmVpdG9zIG7Do28gc8OjbywgZGUgbWFuZWlyYSBhbGd1bWEsIGFmZXRhZG9zIHBlbGEgbGljZW7Dp2E6IExpbWl0YcOnw7VlcyBlIGV4Y2XDp8O1ZXMgYW9zIGRpcmVpdG9zIGF1dG9yYWlzIG91IHF1YWlzcXVlciB1c29zIGxpdnJlcyBhcGxpY8OhdmVpczsgT3MgZGlyZWl0b3MgbW9yYWlzIGRvIGF1dG9yOyBEaXJlaXRvcyBxdWUgb3V0cmFzIHBlc3NvYXMgcG9kZW0gdGVyIHNvYnJlIGEgb2JyYSBvdSBzb2JyZSBhIHV0aWxpemHDp8OjbyBkYSBvYnJhLCB0YWlzIGNvbW8gZGlyZWl0b3MgZGUgaW1hZ2VtIG91IHByaXZhY2lkYWRlLiBBdmlzbyDigJQgUGFyYSBxdWFscXVlciByZXV0aWxpemHDp8OjbyBvdSBkaXN0cmlidWnDp8Ojbywgdm9jw6ogZGV2ZSBkZWl4YXIgY2xhcm8gYSB0ZXJjZWlyb3Mgb3MgdGVybW9zIGRhIGxpY2Vuw6dhIGEgcXVlIHNlIGVuY29udHJhIHN1Ym1ldGlkYSBlc3RhIG9icmEuIEEgbWVsaG9yIG1hbmVpcmEgZGUgZmF6ZXIgaXNzbyDDqSBjb20gdW0gbGluayBwYXJhIGVzdGEgcMOhZ2luYS4KTGljZW7Dp2EgQ3JlYXRpdmUgQ29tbW9ucyAtIGh0dHA6Ly9jcmVhdGl2ZWNvbW1vbnMub3JnL2xpY2Vuc2VzL2J5LW5jLzMuMC9ici8KRepositório de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar:23732018-12-09T20:48:25Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.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.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Dyonisio, Ana Cristina Medaglia
dc.contributor.advisor1.fl_str_mv Marchi, Jerusa
contributor_str_mv Marchi, Jerusa
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.accessioned.fl_str_mv 2018-12-09T20:48:25Z
dc.date.available.fl_str_mv 2018-12-09T20:48:25Z
dc.date.issued.fl_str_mv 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.
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
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/192154/2/license.txt
https://repositorio.ufsc.br/bitstream/123456789/192154/1/TCC_artigo_.pdf
bitstream.checksum.fl_str_mv 11ee89cd31d893362820eab7c4d46734
f152982a6434749269b7adba1ac3b941
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1766805059574693888

Registros relacionados