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