Causalidade e dependência em raciocínio sobre ações

Detalhes bibliográficos
Ano de defesa: 2002
Autor(a) principal: Varzinczak, Ivan José
Orientador(a): Castilho, Marcos Alexandre, 1965-
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:
Lógica simbólica e matemática
Inteligência artificial
Ciência da Computação
Link de acesso: https://hdl.handle.net/1884/111
Resumo: Inclui apêndices
id UFPR_893cb2b4ada3e6a7a8275bca04994ed2
oai_identifier_str oai:acervodigital.ufpr.br:1884/111
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áticaCastilho, Marcos Alexandre, 1965-Varzinczak, Ivan José2024-10-18T14:53:36Z2024-10-18T14:53:36Z2002https://hdl.handle.net/1884/111Inclui apêndicesOrientador: Marcos Alexandre CastilhoDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Curso de Pós-Graduação em InformáticaInclui bibliografia e notas bibliográficasResumo: Neste trabalho, propomos uma solução para os problemas da persistência e da ramificação em termos de uma relação de dependência que indica em que circunstâncias uma determinada ação pode alterar o valor de verdade de um dado literal. Esta relação pode ser vista como uma noção causal fraca, noção esta considerada fundamental para raciocinar sobre ações corretamente. Uma vez integrada ao formalismo modal da Lógica de Ações e Planos CAV, obtém-se uma abordagem causal simples e poderosa para tratar problemas que envolvem ações. Neste texto, nós fazemos uma comparação sistemática entre outros formalismos recentes que tratam do mesmo problema. Mostramos também como integrar a dependência ao formalismo modal de CAP, estabelecendo provas de adequação e completude do sistema axiomático e do método de prova baseado em tableaux semânticos aqui definidos. Finalmente, através de exemplos clássicos da área e de outros novos aqui propostos, mostramos as vantagens de nossa abordagem em relação a outras encontradas na literatura.Abstract: In this work we propose a solution to the frame and ramification problems in terms of a dependence relation that points out the circumstances in which a certain action may change the truth value of a given literal. Such relation can be viewed as a weak causal notion, which is considered fundamental for correctly reasoning about actions. Once integrated in the base formalism of the Logic of Actions and Plans CAP, it gives us a simple and powerful causal approach to deal with problems involving actions. In this text we make a systematic comparison among other recent formalisms with the same purposes. We also show how to integrate the dependence relation in the modal formalism of CAV, establishing soundness and completeness proofs for the axiomatic system and the tableau based proof method so defined. Finally, by means of some classical scenarios of the area and other ones that we propose here, we show the advantages of our approach with respect to other formalisms in the literature.122f. : il.application/pdfDisponível em formato digitalLógica simbólica e matemáticaInteligência artificialCiência da ComputaçãoCausalidade e dependência em raciocínio sobre açõesinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALD - IVAN JOSE VARZINCZAK.pdfapplication/pdf4011353https://acervodigital.ufpr.br/bitstream/1884/111/1/D%20-%20IVAN%20JOSE%20VARZINCZAK.pdf283c23766ffe2dad19b89698fdee3308MD51open access1884/1112024-10-18 11:53:36.498open accessoai:acervodigital.ufpr.br:1884/111Repositório InstitucionalPUBhttp://acervodigital.ufpr.br/oai/requestinformacaodigital@ufpr.bropendoar:3082024-10-18T14:53:36Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Causalidade e dependência em raciocínio sobre ações
title Causalidade e dependência em raciocínio sobre ações
spellingShingle Causalidade e dependência em raciocínio sobre ações
Varzinczak, Ivan José
Lógica simbólica e matemática
Inteligência artificial
Ciência da Computação
title_short Causalidade e dependência em raciocínio sobre ações
title_full Causalidade e dependência em raciocínio sobre ações
title_fullStr Causalidade e dependência em raciocínio sobre ações
title_full_unstemmed Causalidade e dependência em raciocínio sobre ações
title_sort Causalidade e dependência em raciocínio sobre ações
author Varzinczak, Ivan José
author_facet Varzinczak, Ivan José
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 Castilho, Marcos Alexandre, 1965-
dc.contributor.author.fl_str_mv Varzinczak, Ivan José
contributor_str_mv Castilho, Marcos Alexandre, 1965-
dc.subject.por.fl_str_mv Lógica simbólica e matemática
Inteligência artificial
Ciência da Computação
topic Lógica simbólica e matemática
Inteligência artificial
Ciência da Computação
description Inclui apêndices
publishDate 2002
dc.date.issued.fl_str_mv 2002
dc.date.accessioned.fl_str_mv 2024-10-18T14:53:36Z
dc.date.available.fl_str_mv 2024-10-18T14:53:36Z
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/111
url https://hdl.handle.net/1884/111
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 122f. : il.
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/111/1/D%20-%20IVAN%20JOSE%20VARZINCZAK.pdf
bitstream.checksum.fl_str_mv 283c23766ffe2dad19b89698fdee3308
bitstream.checksumAlgorithm.fl_str_mv 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_ 1847526124925485056

Registros relacionados