Planejamento em inteligência artificial na lógica de ações e planos

Detalhes bibliográficos
Ano de defesa: 2008
Autor(a) principal: Vizoni, Fausto Novaes Chiappin
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:
Inteligência artificial
Lógica simbólica e matemática
Ciência da Computação
Link de acesso: https://hdl.handle.net/1884/19933
Resumo: Orientador: Marcos Alexandre Castilho
id UFPR_ff5fc15961fc5e361f8998ff8a60ab73
oai_identifier_str oai:acervodigital.ufpr.br:1884/19933
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-Vizoni, Fausto Novaes Chiappin2024-11-04T18:57:50Z2024-11-04T18:57:50Z2008https://hdl.handle.net/1884/19933Orientador: Marcos Alexandre CastilhoDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 29/08/2008Inclui bibliografiaResumo: Neste trabalho, buscamos mostrar que é possível executar a tarefa de planejamento de um problema que utiliza a lógica como forma de representação. A lógica é a forma mais normal de se representar um cenário, porém ela possui características que atrapalham o desenvolvimento de um planejador prático. Apresentamos um planejador baseado na lógica de ações e planos que possui a solução para o problema da persistência e o da ramificação. Utilizamos o método de tableaux semânticos para a lógica modal com regras de propaganda e regras estruturais. Apresentamos resultados obtidos a partir de cenários da área de planejamento e mostramos o desempenho do planejador implementado.Abstract: In this work we show that is possible to solve the plan generation task ofa problem that uses a logic-based approaches to knowledge representation. Logic is thenormal way to represent a scenario, but it has some problems that hinder the developmentof a practical planner. We present a planner based on the logic of action and plans whichhas a solution to the frame and ramification problem. We use semantic tableau for modallogic with propagation rules and structural rules. We present the results obtained forscenarios of the planning area and show the performance of our implemented planner.vi, 84f. : il.application/pdfDisponível em formato digitalInteligência artificialLógica simbólica e matemáticaCiência da ComputaçãoPlanejamento em inteligência artificial na lógica de ações e planosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALPlanejamento em inteligencia artificial na Logica de Acoes e Planos.pdfapplication/pdf521041https://acervodigital.ufpr.br/bitstream/1884/19933/1/Planejamento%20em%20inteligencia%20artificial%20na%20Logica%20de%20Acoes%20e%20Planos.pdfc49c54bcc36024fbc3542e46e9c89404MD51open accessTEXTPlanejamento em inteligencia artificial na Logica de Acoes e Planos.pdf.txtExtracted Texttext/plain158170https://acervodigital.ufpr.br/bitstream/1884/19933/2/Planejamento%20em%20inteligencia%20artificial%20na%20Logica%20de%20Acoes%20e%20Planos.pdf.txt23cb7bf0b98bc2158c49985c1dfa1fd5MD52open accessTHUMBNAILPlanejamento em inteligencia artificial na Logica de Acoes e Planos.pdf.jpgGenerated Thumbnailimage/jpeg1167https://acervodigital.ufpr.br/bitstream/1884/19933/3/Planejamento%20em%20inteligencia%20artificial%20na%20Logica%20de%20Acoes%20e%20Planos.pdf.jpga71c2e803b1e31da8fd0bd693607fad8MD53open access1884/199332024-11-04 15:57:50.33open accessoai:acervodigital.ufpr.br:1884/19933Repositório InstitucionalPUBhttp://acervodigital.ufpr.br/oai/requestinformacaodigital@ufpr.bropendoar:3082024-11-04T18:57:50Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Planejamento em inteligência artificial na lógica de ações e planos
title Planejamento em inteligência artificial na lógica de ações e planos
spellingShingle Planejamento em inteligência artificial na lógica de ações e planos
Vizoni, Fausto Novaes Chiappin
Inteligência artificial
Lógica simbólica e matemática
Ciência da Computação
title_short Planejamento em inteligência artificial na lógica de ações e planos
title_full Planejamento em inteligência artificial na lógica de ações e planos
title_fullStr Planejamento em inteligência artificial na lógica de ações e planos
title_full_unstemmed Planejamento em inteligência artificial na lógica de ações e planos
title_sort Planejamento em inteligência artificial na lógica de ações e planos
author Vizoni, Fausto Novaes Chiappin
author_facet Vizoni, Fausto Novaes Chiappin
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 Vizoni, Fausto Novaes Chiappin
contributor_str_mv Castilho, Marcos Alexandre, 1965-
dc.subject.por.fl_str_mv Inteligência artificial
Lógica simbólica e matemática
Ciência da Computação
topic Inteligência artificial
Lógica simbólica e matemática
Ciência da Computação
description Orientador: Marcos Alexandre Castilho
publishDate 2008
dc.date.issued.fl_str_mv 2008
dc.date.accessioned.fl_str_mv 2024-11-04T18:57:50Z
dc.date.available.fl_str_mv 2024-11-04T18:57:50Z
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/19933
url https://hdl.handle.net/1884/19933
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 vi, 84f. : 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/19933/1/Planejamento%20em%20inteligencia%20artificial%20na%20Logica%20de%20Acoes%20e%20Planos.pdf
https://acervodigital.ufpr.br/bitstream/1884/19933/2/Planejamento%20em%20inteligencia%20artificial%20na%20Logica%20de%20Acoes%20e%20Planos.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/19933/3/Planejamento%20em%20inteligencia%20artificial%20na%20Logica%20de%20Acoes%20e%20Planos.pdf.jpg
bitstream.checksum.fl_str_mv c49c54bcc36024fbc3542e46e9c89404
23cb7bf0b98bc2158c49985c1dfa1fd5
a71c2e803b1e31da8fd0bd693607fad8
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_ 1847526128247373824

Registros relacionados