A estrutura lógica da imaginação

---------- Forwarded message ----------
From: Rafael Testa <rafaeltesta EM gmail.com>
Date: 2009/5/25

Pessoal,
lembro a todos que nesta quarta-feira, dia 27 de maio, teremos seminário:

+++++++++++++++++++++++++++++++++++++++

Título: A estrutura lógica da imaginação
Autor: Alexandre Costa-Leite (CLE-UNICAMP)

Este trabalho pretende investigar condições
semânticas para o estudo dos conceitos
de "imaginação", "conceptibilidade" e
"possibilidade", bem como suas interações.

Local: CLE - UNICAMP

+++++++++++++++++++++++++++++++++++++++

Contamos com a presença de todos.
Abraços,
Rafael Testa

__._,_.___

Revisão de Especificações Formais Inconsistentes: Conceitos e Caminhos.

------------------------------------------------------------------------------------------
 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
-------------------------------------------------------------------------------------------

Palestrante: Paulo de Tarso Guerra Oliveira
Título: Revisão de Especificações Formais Inconsistentes: Conceitos e Caminhos.

Data: 28/05/09, 14:00hrs
Local: Sala 241A IME-USP

Resumo:

       A especificação formal de um sistema traz uma série de vantagens ao processo de
desenvolvimento de software, dentre elas a possibilidade de verificar ainda em
fase de projeto a existência de inconsistências de especificação, isto é,
divergências entre a especificação do sistema e o comportamento desejado.
Diversos métodos de verificação de inconsistência foram propostos, e embora
muitos deles sejam eficazes, não há neles qualquer mecanismo que indique como
tornar a especificação consistente.

       Iremos apresentar uma abordagem desenvolvida no nosso instituto: o uso de
técnicas de Revisão de Crença para gerar sugestões de mudança em um dado
conjunto de especificações. O objetivo deste seminário é mostrar conceitos
relacionados a essa abordagem, explorar um pouco dos trabalhos desenvolvidos
sobre o tema e exibir os desafios a serem enfrentados.

"O significado da Matemática na História".

---------- Forwarded message ----------
From: Rafael Testa
Date: 2009/5/20
Subject: [seminarios-CLE] Seminário

Pessoal,
lembro a todos que hoje (20/05/2009) teremos seminário do Prof. Rubens Lintz, Professor Emérito da Mc Master University

Título:
"O significado da Matemática na História".

Contamos com a presença de todos,
Rafael

Local: Sala de Seminários do CLE - Unicamp - Campinas-SP

Aprendizagem de Ontologias

------------------------------------------------------------------------------------------
 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
-------------------------------------------------------------------------------------------

Palestrante: Carlos Eduardo Atencio Torres
Título: Aprendizagem de Ontologias

Data: 14/05/09, 14:00hrs
Local: Sala 241A IME-USP

Resumo:

Uma Base de Conhecimentos (BC) é um conjunto de fatos e regras adquiridas a
partir de um domínio. A maneira de popular esta BC representa um problema
crítico porque exige muito tempo. Um enfoque para tratar este problema é a
Aprendizagem de Ontologias(AO), que pode lidar com distintos tipos de dados como
dados estruturados, semi-estruturados e não estruturados. No entanto, a maior
parte da informação disponível vem de dados não estruturados.

Para este seminário, nós planejamos estudar a metodologia incremental de Philip
Cimiano que indica que para fazer AO, basicamente primeiro se requer uma
extração de termos (Métodos Estatísticos), depois uma extração de conceitos
(Clustering e Processamento de Linguagem Natural), extração de relações e
finalmente de axiomas de algum texto que desejamos analisar.

Value Iteration to solve Factored MDP-IPs

------------------------------------------------------------------------------------------

 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: Value Iteration to solve Factored MDP-IPs
Palestrante:  Leliane Nunes Barros

Data:   07/05/2009, 14h00
Local:  Sala 241A, IME-USP

Resumo:

When modeling real-world decision-theoretic planning problems in the
Markov decision process (MDP) framework, it is often impossible to
obtain a completely accurate estimate of transition probabilities. For
example, natural uncertainty arises in the transition specification
due to elicitation of MDP transition models from an expert or data, or
non-stationary transition distributions arising from insufficient
state knowledge. In the interest of obtaining the most robust policy
under transition uncertainty, the Markov Decision Process with
Imprecise Transition Probabilities (MDP-IPs) has been introduced to
model such scenarios. Unfortunately, while solutions to the MDP-IP are
well-known, they require nonlinear optimization and are extremely
time-consuming in practice. To address this deficiency, we propose
efficient dynamic programming methods to exploit the structure of
factored MDP-IPs. Noting that the key computational bottleneck in the
solution of MDP-IPs is the need to repeatedly solve nonlinear
constrained optimization problems, we show how to target approximation
techniques to drastically reduce the computational overhead of the
nonlinear solver while producing bounded, approximately optimal
solutions. Our results show up to two orders of magnitude speedup in
comparison to traditional "flat" dynamic programming approaches and up
to an order of magnitude speedup over the extension of factored MDP
approximate value iteration techniques to MDP-IPs.

Todos são benvindos

"Verdade ou verdades: Foucault e o paradoxo da Linguagem".

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 ou verdades: Foucault e o paradoxo da Linguagem".
Prof. Dr. Antônio Basílio Novaes Thomaz de Menezes
DEFIL - UFRN

Local: UFRN, Setor II, sala G1
Data: 08/05/2009 às 16 h.