Fórum de notícias

Essa é a chamada que prometi enviar para vocês sobre a
palestra do Silvio de sua defesa de doutorado.

[]s

Leliane

++++++++++++++++++++++++++++++++++++++++++++++++++++++
Olá,

convido a todos para a minha defesa de doutorado:

Titulo: Planejamento sob incerteza para metas de alcançabilidade estendidas
Data : segunda-feira - 05/11/2007 - 14:00
Local : IME - Bloco A - Sala 136

Banca:
Profa. Dra. Leliane Nunes de Barros (orientadora) - IME-USP
Prof. Dr. Marcelo Finger - IME-USP
Prof. Dr. Fábio Gagliardi Cozman - EP-USP
Prof. Dr. Jacques Wainer - IC-UNICAMP
Prof. Dr. Marcos Alexandre Castilho - DI-UFPR
Profa. Dra. Renata Wassermann (suplente) - IME-USP
Prof. Dr. Jaime Simão Sichman (suplente) - EP-USP

Resumo:

Planejamento sob incerteza vem sendo cada vez mais requisitado em
aplicações práticas de diversas areas que requerem soluções confiáveis
para metas complexas. Em vista disso, nos últimos anos, algumas
abordagens baseadas no uso de métodos formais para síntese automática
de planos têm sido propostas na área de Planejamento em Inteligência
Artificial. Entre essas 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 de 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 alpha-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 observabilidade completa.
Finalmente, discutimos como garantir a qualidade das soluções quando
dispomos de um modelo de ambiente onde as probabilidades das
transições causadas pela execução das ações são conhecidas.


Conto com a presença de todos.


Atenciosamente,