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: 'Palestra do Professor Hans van Ditmarsch - Universidade de Sevilha'

Eventos PESC (Palestras, Seminários, etc.)
Palestras, Seminários, etc. do PESC/COPPE/UFRJ.
Data: Tuesday, August 28, 2012 At 13:00
Duração: 2 Horas

Convidamos para a palestra do Professor Hans van Ditmarsch - Universidade de Sevilha, Espanha, que será ministrada no PESC no dia 28/082012 às 13:00 na sala H318-B (seminários).

O professor Hans estará nos visitando durante toda a semana que vem, se alguém tiver interesse em encontrá-lo é só me mandar um email.

Para maiores informaões sobre o professor Hans acesse sua página http://personal.us.es/hvd/

Todos são muito benvindos.

<a> Mario Benevides


Título: Awareness bisimulation, knowledge, and awareness
(This is joint work with Tim French, Fernando Velazquez, and Yi Wang)

We consider semantic structures and logics that differentiate between being uncertain about a proposition, being unaware of a proposition, becoming aware of a proposition, and getting to know the truth value of a proposition. We propose a unified setting to model this variety of static and dynamic aspects of awareness and knowledge. Various derived notions will be discussed: explicit knowledge, implicit knowledge, and also novel epistemic notions such as speculative knowledge (back to the motivation in Levesque's 'A Logic of Implicit and Explicit Belief', one can speculate over variables of which one is unaware, e.g. if you are unaware of p, then p v ~p is still speculatively known by you). A cornerstone of this framework is the notion of awareness bisimulation - this is the proper notion of structural similarity on the structures enriched with awareness of propositional variables proposed by Fagin and Halpern in 'Belief, awareness, and limited reasoning'. Just as bisimilarity preserves logical truth, awareness bisimilarity preserves the truth of which you are aware.


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)