Exportar registro bibliográfico

Planejamento sob incerteza para metas de alcançabilidade estendidas (2007)

  • Authors:
  • Autor USP: PEREIRA, SILVIO DO LAGO - IME
  • Unidade: IME
  • Sigla do Departamento: MAC
  • Assunto: INTELIGÊNCIA ARTIFICIAL
  • Language: Português
  • Abstract: Planejamento sob incerteza vem sendo cada vez mais requisitado em aplicações práticas de diversas áreas que requerem soluções confiáveis para metas complexas. Em vista disso, nos últimos anos, algumas abrodagens baseadas no uso de métodos formais para s;intese automática de planos têm sido propostas na área de Planejamento em Inteligência Artificial. Entre suas abordagens, planejamento baseado em verificação de modelos tem se mostrado uma opção bastante promissora; entretanto, conforme observamos, a maioria dos trabalhos dentro dessa abordagem baseia-se em CTL e trata apenas problemas de planejamento para metas de alcançabilidade simples (como aquelas consideradas no planejamento clássico). Nessa tese, introduzimos uma classe de metas de planejamento mais expressivas (metas de alcançabilidade estendidas) e mostramos que, para essa classe de metas, a semântica CTL não é adequada para formalizar algoritmos de síntese (ou validação) de planos. Como forma de contornar essa limitação, propomos uma nova versão de CTL, que denominamos 'alfa'-CTL. Então, a partir da semântica dessa nova lógica, implementamos um verificador de modelos (VACTL), com base no qual implementamos também um planejador (PACTL) capaz de resolver problemas de planejamento para metas de alcançabilidade estendidas, em ambientes não-determinísticos com observalidade completa. Finalmente, discutimos como garantir a qualidade das soluções quando dispomos de um modelo de ambiente onde asprobabilidades das transições causadas pela execução das ações são conhecidas
  • Imprenta:
  • Data da defesa: 05.11.2007
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PEREIRA, Silvio do Lago; BARROS, Leliane Nunes de. Planejamento sob incerteza para metas de alcançabilidade estendidas. 2007.Universidade de São Paulo, São Paulo, 2007. Disponível em: < http://www.teses.usp.br/teses/disponiveis/45/45134/tde-09042008-105750/ >.
    • APA

      Pereira, S. do L., & Barros, L. N. de. (2007). Planejamento sob incerteza para metas de alcançabilidade estendidas. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-09042008-105750/
    • NLM

      Pereira S do L, Barros LN de. Planejamento sob incerteza para metas de alcançabilidade estendidas [Internet]. 2007 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-09042008-105750/
    • Vancouver

      Pereira S do L, Barros LN de. Planejamento sob incerteza para metas de alcançabilidade estendidas [Internet]. 2007 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-09042008-105750/

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021