Seminário remoto "Lógicos em Quarentena" 11/02/2021 (quinta-feira) 16:00h

[Bruno Lopes]

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim. As apresentações usualmente são gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a agenda completa).

Data: 11 de fevereiro de 2021 (quinta-feira)
Horário: 16:00h GMT-3

Apresentador: Richard L. “Arf” Epstein (Advanced Reasoning Forum)
Título: Temporal Propositional Logic
Resumo: I will present an approach to taking account of time in reasoning by

using temporal propositional connectives based on readings of “before”,
as we do in our ordinary speech.  A proposition, such as “Spot barked”,
if true is not about a time but establishes a time.  So if both “Spot
barked” and “Dick yelled” are true, then “Spot barked before Dick
yelled” is true or is false.  New true propositions can be added by
relating them to others in the before-after ordering.  The ordering need
not be linear.  The method should be easy to implement in artificial
intelligence and useful for security analyses.
       This is based on joint work with Esperanza Buitrago.

A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/and-jnda-pzc .

--

Bruno Lopes

Professor Adjunto

Instituto de Computação

Universidade Federal Fluminense

http://www.ic.uff.br/~bruno