quarta-feira, 10 de dezembro de 2008

SEMANA DA LÓGICA, na UFRN (2008.2)

O LoLITA (grupo de "Lógica, Linguagem, Informação, Teoria e Aplicações") do DIMAp/UFRN, em colaboração com o grupo de pesquisa em "Lógica, Conhecimento e Ética" do DeFil/UFRN, dá sua contribuição semestral aos Seminários de Lógica e Filosofia Formal da UFRN, com a seguinte programação:

Tema: Lógica Combinatória e Cálculo Lambda
Palestrante: Plácido Antônio de Souza Neto
Data: 15 de dezembro de 2008, 2a-feira, 18h30

Tema: Cálculo Lambda e Isomorfismo de Curry-Howard
Palestrante: Cléverton Hentz Antunes
Data: 16 de dezembro de 2008, 3a-feira, 18h30

Tema: Lógica Modal
Palestrante: Haniel Moreira Barbosa
Data: 17 de dezembro de 2008, 4a-feira, 18h30

Tema: Lógica Intuicionista
Palestrante: Otto Luis Pontes Soares de Araújo
Data: 18 de dezembro de 2008, 5a-feira, 18h30

Todas as palestras serão realizadas no auditório do CCET/UFRN.

quinta-feira, 4 de dezembro de 2008

Reasoning about Dynamic Depth Profiles

------------------------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-------------------------------------------------------------------------------------------


Título: Reasoning about Dynamic Depth Profiles

Palestrante: Paulo E. Santos (FEI)

Data: 08/12/2008, 14h30

Local: Sala 03B, IME-USP


Abstract: Reasoning about perception of depth and about spatial
relations between moving physical objects is a challenging problem.
We investigate the representation of depth and motion
by means of depth profiles whereby each object in the world
is represented as a single peak. We propose a logical theory,
formulated in the situation calculus (SC), that is used for reasoning
about object motion (including motion of the observer).
The theory proposed here is comprehensive enough to accommodate reasoning
about both sensor data and actions in the world. We show that
reasoning about depth profiles is sound and complete with
respect to actual motion in the world.
This shows that in the conceptual neighbourhood diagram (CND) of
all possible depth perceptions, the transitions between perceptions are
logical consequences of the proposed theory of depth and motion.

At the end of the talk I'll present some current work on the  integration of
 probabilistic reasoning in this framework.

terça-feira, 2 de dezembro de 2008

Verdade em Gottlob Frege

O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia Formal, com a palestra:

Verdade em Gottlob Frege
Prof. Fernando Raul Neto
Departamento de Filosofia, UFPE

Data: 12/12/2008 às 16h
Local: UFRN, Setor II, sala D1