Título: Revisão de Modelos CTL baseada no Sistema de Esferas.
Palestrante: Paulo de Tarso Guerra Oliveira

Data:  8/4/2010, 14hs
Local: Sala 254-A

As ferramentas de verificação de modelos atuais são capazes de detectar
inconsistências em modelos CTL de maneira relativamente eficiente. No
entanto, não há na grande maioria destas ferramentas qualquer tipo de mecanismo capaz
de indicar como restituir a consistência desses modelos.

Neste seminário propomos uma abordagem baseada em revisão de crenças para o
reparo de modelos, a qual denominamos Revisão de Modelos CTL. Apresentaremos
as diferenças fundamentas entre esta abordagem e a principal proposta
relacionada, a Atualização de Modelos CTL [Zhang e Ding, 2008]. Proporemos a construção
de uma função de revisão baseada no sistema de esferas de Adam Grove e, em
especial, analisaremos sua obediência aos Postulados AGM.