Probabilistic Logic with Independence

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

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: Probabilistic Logic with Independence

Palestrante: Cassio Polpo de Campos - EACH-USP

Data e Local: dia 04.06.07 às 16:00 hs

Local: Sala 242 - Bloco A - IME - USP

Resumo:
This talk investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages, and then consider graph-theoretic representations for propositional probabilistic logic with independence. Inference problems and complexity results are discussed. Finally, we examine a relational probabilistic logic in finite domains. (Joint work with Fabio Cozman, Poli-USP.)

A Epistemologia Naturalizada de Quine e o Ceticismo

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, com a palestra

A EPISTEMOLOGIA NATURALIZADA DE QUINE E O CETICISMO
Prof. Dr. Jaimir Conte

Data: 25 / 05 /2007 às 16 h
Local: UFRN / CCHLA / Auditório de Filosofia

Reasoning about depth and motion from an observer's viewpoint

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

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 depth and motion from an observer's viewpoint

Palestrante: Paulo E. Santos -- FEI, Sao Paulo

Data e Local: dia 28.05.07 às 16:00 hs

Local: Sala 242 - Bloco A - IME - USP

Resumo:

In this talk I present a logic-based formalism for representing knowledge about objects in space and their movements, and show how this knowledge could be built up from the viewpoint of an observer immersed in a dynamic world. Space is represented using functions that extract attributes of depth, size and distance from
snapshots of the world.

These attributes compose a novel spatial reasoning system named Depth Profile Calculus (DPC). Transitions between qualitative relations involving these attributes are represented by an extension of this calculus called Dynamic Depth Profile Calculus (DDPC). We argue that knowledge about objects in the world could be built up via a process of abduction on DDPC relations.

I'm also going to discuss some current developments of this framework and avenues for future work.

Incompletude e Inconsistência: um Jogo entre a Cruz e a Espada

Seminários de Programa do Grupo de Lógica Teórica e Aplicada CLE/IFCH
Título: Incompletude e Inconsistência: um Jogo entre a Cruz e a Espada
Palestrante: Anderson de Araújo

A prova dos teoremas da incompletude de Gödel gerou um vasto campo de pesquisa, sobretudo no que diz respeito a demonstrações simplificadas ou reformuladas com técnicas diferentes das usadas por Gödel, e à análise de suas conseqüências. Nesse contexto, pretendo esboçar uma formalização da prova apresentada por Kripke na UNICAMP, uma vez que ela ainda apresenta um caráter informal. Pretendo para tanto usar definições existentes na literatura sobre jogos lógicos, que em certa medida terão que ser redefinidos tendo em vista meu objetivo. Sendo possível tal formalização, analisarei ainda as características da prova kripkeana formalizada dos teoremas de Gödel no contexto de uma lógica paraconsistente (exemplificando com uma LFI).

Quando? Quarta-feira, 23 de maio de 2007, 16h00
Onde? Sala de Seminários do CLE (IFCH - Unicamp - Campinas-SP)

Proposta de um Algoritmo Polinomial para 3-SAT

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

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: Proposta de um Algoritmo Polinomial para 3-SAT
Palestrante: Maria Ângela Weiss
Data e Local: dia 21.05.07 às 16:00 hs
Local: Sala 242 - Bloco A - IME - USP

Resumo:


Desenvolvemos um método de tableau que consiste em um algoritmo baseado no classico KE-tableau. Nesse algoritmo, dado como input uma fórmula 3-SAT $\Psi$, temos como output, primeiramente um arranjo de literais prefixadas de $\Psi$ onde aparecem, como linhas verticais do output, apenas posssíveis ramos fechados de um tableau onde a regra de Bivalência foi aplicada nessas literais prefixadas.

Apresentamos também um algoritmo de resolução para decidir se esses arranjos de fato representam todos os possíveis ramos obtidos por Bivalência são fechados ou não, gerando como resposta $\Psi$ é válida ou $\Psi$ não é válida.

Esses dois algoritmos -- de construção dos arranjos e resolução -- provaram ser polinomiais e, no estágio de nossa pesquisa convidamos todos interesados nesse assunto a discutir, opinar e apontar possíveis falhas no processo.


Todos são benvindos

Compressão de Séries Temporais usando Modelos ARIMA

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

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: Christian Paz-Trillo
Título: Compressão de Séries Temporais usando Modelos ARIMA
Data e Local: dia 14.05.07 às 16:00 hs
Local: Sala 242 - Bloco A - IME - USP

Resumo:

Séries temporais são variáveis observadas em diversos instantes de tempo e estão presentes em várias áreas do conhecimento. Quanto maior o detalhamento e a quantidade delas, maior o conhecimento que pode ser extraído mediante sua análise.

O desafio então é armazenar uma grande quantidade de séries temporais de maneira compactada de modo que o tempo de recuperação não seja afetado.

Neste seminário apresentamos as idéias iniciais para um mecanismo de compactação utilizando modelos ARIMA (Auto Regressive Integrated Moving Average) que prevê o armazenamento (com perda de informação) do modelo de cada série e dos erros do modelo como uma representação compacta da série original.


Todos são benvindos!
--

Marcelo Finger
Departamento de Ciencia da Computacao
Instituto de Matematica e Estatistica
Universidade de Sao Paulo
Rua do Matao, 1010, Sao Paulo-SP
Tel: +55 11 3091 9688, 3091 6135

A LÓGICA INTUICIONISTA

A Base de Pesquisa "Lógica, Conhecimento e Ética" promove mais um de seus
Seminários de Lógica e Filosofia, a saber:

A LÓGICA INTUICIONISTA
Profa. Dra. Maria da Paz Nunes de Medeiros
DEFIL / UFRN

Resumo:
A lógica intuicionista é normalmente conhecida, grosso modo, como a lógica não-clássica que rejeita o princípio do terceiro excluído. Entretanto, sua principal motivação surgiu no âmbito matemático e estava fortemente relacionada com questões relativas ao conceito de infinito. Apresentaremos as motivações, um sistema formal e os modelos de Kripke para a lógica intuicionista. Além disso, mostraremos que é possível traduzir a lógica clássica na intuicionista.

Data: 09 / 05 /2007 às 18 h 30
Local: Anfiteatro CCET / UFRN

Base Revision in Description Logics

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

-----------------------------------------------
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: Base Revision in Description Logics

Palestrante: Márcio Moretto Ribeiro

Data e Local: dia 7.05.07 às 16:00 hs

Local: Sala 242 - Bloco A - IME - USP

Resumo:

Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. The theory has been developed having in mind classical logics. In this paper, we show some problems of applying belief revision methods directly to ontologies represented in description logics and propose new operations that overcome these problems.


Todos são benvindos

Revolução paradigmática em matemática: o infinito em Cantor

Quando? Quarta-feira, 9 de maio de 2007, 16h00
Onde? Sala de Seminários do CLE (IFCH - Unicamp - Campinas-SP)

Resumo:
Face à pergunta: existiriam revoluções em matemática? — pergunta que se refere ao desenvolvimento da história da matemática, assim como a seus conteúdos e afirmações —, observamos posicionamentos diversos e muitas vezes contrários.
Muitos são os que respondem negativamente a essa pergunta, afirmando que, em matemática, não existem fenômenos aos quais possamos atribuir o nome de revoluções. Asseveram que a matemática possui um desenvolvimento cumulativo, no qual não é possível constatar intervenções que mereçam o nome de revolução.
Por outro lado há quem acredite que é possível observar, também na matemática, um padrão de desenvolvimento semelhante ao das outras formas de conhecimento científico, padrão este que se aproxima de uma concepção claramente revolucionária. Esta é a posição que defendemos e que pretendemos tornar mais explícita com este seminário.
Nosso trabalho tem como objetivo principal argumentar que o núcleo dos resultados matemáticos obtidos por Georg Cantor no final do século XIX, cujas idéias mais fundamentais giram em torno de sua especial concepção de infinito, possui as necessárias qualidades de inovação e grandeza para ser considerado como um avanço revolucionário em matemática.
A revolução a que nos referimos, e que acreditamos ter ocorrido com o surgimento da Teoria de Conjuntos de Cantor, constitui um marco no desenvolvimento da matemática. Este marco não pode ser ignorado, quer pelos matemáticos, quer pelos historiadores e tão pouco pelos filósofos.

Eberth Eleutério dos Santos

Departamento de Filosofia – Unicamp
Campinas