Calendário de Eventos
|
Seminário IA/Lógica: Evolução do Conhecimento no Tempo
Terça-feira, 13 Março 2012, 13:00 - 14:00
Seminário IA/Lógica: Evolução do Conhecimento no Tempo
Isaque Macalam Saab Lima
Local: COPPE/Sistemas, bloco H sala H304B
Data: 13/03/2012
Hora: 13:00-14:00.
Nesta apresentação iremos abordar temas relacionados com modelagem e verificação de sistemas que representam a evolução das propriedades epstemicas ao longo do tempo. Apresentaremos a lógica epstêmica dinamica ( DEL - Dynamic Epistemic Logic [1]), os modelos de ações (action models[2
Isaque Macalam Saab Lima
Local: COPPE/Sistemas, bloco H sala H304B
Data: 13/03/2012
Hora: 13:00-14:00.
Nesta apresentação iremos abordar temas relacionados com modelagem e verificação de sistemas que representam a evolução das propriedades epstemicas ao longo do tempo. Apresentaremos a lógica epstêmica dinamica ( DEL - Dynamic Epistemic Logic [1]), os modelos de ações (action models[2