Universidade Federal do Rio de Janeiro COPPE

Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia

Instituto de Matemática

 
Visualizar Meses
Visualizar Meses
Visualizar Flat
Visualizar Flat
Visualizar Semanas
Visualizar Semanas
Visualizar Dias
Visualizar Dias
Categorias
Categorias
Procurar
Procurar

Evento: 'Seminário IA/Lógica: Evolução do Conhecimento no Tempo'

Eventos PESC (Palestras, Seminários, etc.)
Palestras, Seminários, etc. do PESC/COPPE/UFRJ.
Data: Tuesday, March 13, 2012 At 13:00
Duração: 1 Hora

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][3]), o verificador de modelos epstemicos DEMO[4] e a lógica epstemica probabilistica[5].

[1] Hans van Ditmarsch ,Wiebe van der Hoek e Barteld Kooi . Dynamic Epistemic Logic. Springer , 2008

[2] A. Baltag e L.S. Moss. Logics for epistemic programs. Synthese, 139: 165–224, 2004. Knowledge, Rationality & Action 1–60

[3]A. Baltag, L.S. Moss e S. Solecki. The logic of public announcements, common knowledge, and private suspicions. Technical Report SEN-R9922, CWI, Amsterdam, 1999.

[4] Jan van Eijck. DEMO – A Demo of Epistemic Modelling. Novembro,2006

[5] Carla A. D. M. Delgado. Modelling and Verifying Epstemic Properties im Multi-Agent Systems. 2007



Procurar no Calendário

Powered by ExtCalendar 2

© 2017 PESC/COPPE - Programa de Engenharia de Sistemas e Computação

Cidade Universitária, Centro de Tecnologia, Bloco H, Sala 319
Caixa Postal: 68511 CEP: 21941-972 Fones: +55 21 3938-8672 / +55 21 3938-8673 Fax: +55 21 3938-8676
Rio de Janeiro - RJ - Brasil
Horário de atendimento da Secretaria: 2a. a 6a. de 7:00 às 16:00 horas (exceto feriados escolares)