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
-
ABNT
PEREIRA, Silvio do Lago. Planejamento sob incerteza para metas de alcançabilidade estendidas. 2007. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-09042008-105750/. Acesso em: 02 maio 2024. -
APA
Pereira, S. do L. (2007). Planejamento sob incerteza para metas de alcançabilidade estendidas (Tese (Doutorado). 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. Planejamento sob incerteza para metas de alcançabilidade estendidas [Internet]. 2007 ;[citado 2024 maio 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-09042008-105750/ -
Vancouver
Pereira S do L. Planejamento sob incerteza para metas de alcançabilidade estendidas [Internet]. 2007 ;[citado 2024 maio 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-09042008-105750/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
