Dedutcion and Abduction of Information about an Entity, Prof. Luis Fariñas del Cerro

---------- Forwarded message ----------

From: Mario R. F. Benevides (COS-UFRJ)
Date: 2009/6/26

Caros,


Gostaria de convidá-los para a palestra do Prof. Luis Fariñas del Cerro, da
Universidade Paul Sabatier, que estará visistando o PESC dias 1,2 e 3 de julho.

Título: Dedutcion and Abduction of Information about an Entity
Data: 01 de julho
Local: PESC, sala H 324 B
Hora: 14:00

Prof. Luis Fariñas del Cerro é diretor de pesquisa do CNRS e diretor chefe
do IRIT da Universidade Paul Sabatier. Ele é editor de várias revistas e editor
chefe do "Journal of Applied and Non-Classical Logic". Para maiores detalhes
ver sua pagina: http://www.irit.fr/~Luis.Farinas_del_Cerro/

Até lá

Mario


Mario R. F. Benevides
UFRJ

_________

"Os Teoremas de Gödel e o problema da Parada de Turing"

---------- Forwarded message ----------
From: Walter Carnielli
Date: 2009/6/23
Subject: [seminarios-CLE] Seminário: "Os Teoremas de Gödel e o problema da Parada de Turing"
To: Seminarios-CLE@yahoogroups.com


Prezados amigos,

no dia  3 de julho, sexta-feira,  14-15h, na sala 85 do Instituto de
Computação da  UNICAMP, farei um seminário  na  "Série de Seminários
em Computação" com tema:

"Os Teoremas de Gödel e o problema da Parada  de Turing"


Detalhes  na página do IME, no endereço:
http://www.ic.unicamp.br/~eliane/Seminarios.html
Apesar da greve, resolvi manter o programa que já estava marcado há
alguns meses.


Todos  estão convidados.

Abraços,

Walter

--

+++++++++++++++++++++++++++++++++++++++++++++++++
Walter Carnielli
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas –UNICAMP
P.O. Box 6133 13083-970 Campinas -SP, Brazil
Phone: (+55) (19) 3788-6519
Fax: (+55) (19) 3289-3269
Website: http://www.cle.unicamp.br/prof/carnielli

Building medical ontologies using Description Logics: what does it buy us?, Prof. Franz Baader (TU Dresden)

---------- Forwarded message ----------
From: Renata Wassermann (IME-USP)
Date: 2009/6/19
Subject: Seminário do LIAMF dia 25/6
To: liamf-anuncios



Na próxima semana receberemos a visita do Prof. Franz Baader (TU
Dresden) que apresentará o último seminário do semestre. Notem o local
diferente do usual.

Todos são bem-vindos.

------------------------------------------------------------------------------------------
 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: Building medical ontologies using Description Logics: what does
it buy us?

Palestrante: Prof. Franz Baader (TU Dresden)

Data: 25/06/09, 14:00hrs
Local: Auditório Jacy Monteiro IME-USP


Abstract:

Description Logics (DL) are a successful family of logic-based
knowledge representation languages, which can be used to represent
the conceptual knowledge of an application domain in a structured
and formally well-understood way. They are employed in various
application domains, such as natural language processing, databases,
the semantic web, and biomedical ontologies.

The talk will first give a brief introduction into DL and an overview of
the research in this area of the last 20 years. It will then argue that
Description Logics are well-suited for defining medical ontologies.
In particular, it will concentrate on the use of the light-weight DL
EL in the definition of the large medical ontology SNOMED.
-----------------------------------------------------------------------

Teste de Programas Java auxiliados por ferramentas de análise e verificação

------------------------------------------------------------------------------------------
 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: Simone Hanazumi (MSc. -- IME)
Título: Teste de Programas Java auxiliados por ferramentas de análise e
verificação

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

Resumo:

Testes constituem uma fase difícil e de alto custo no desenvolvimento de
software. Entretanto, apesar de sua complexidade, esta atividade se faz
extremamente necessária para garantir que o programa é robusto e, portanto,
confiável e tolerante a falhas.

Para tornar a atividade de teste mais viável, torna-se necessário o emprego
de ferramentas que auxiliem sua realização. Uma destas ferramentas é a
OConGraX (Object Control-flow Graph with eXceptions), uma ferramenta que faz a
análise do código-fonte de um programa Java e devolve dados como a
definição e uso de objetos e exceções, bem como grafos de fluxo de
controle de objetos e exceções relativos aos programa Java recebido como
entrada. Tais dados combinados permitem que a aplicação de critérios de
testes para o paradigma de orientação a objetos ocorra de forma muito mais
rápida, diminuindo, portanto, os custos desta fase de desenvolvimento de
software.

Neste seminário, será dada uma breve explicação referente aos critérios
de testes OO utilizados como base para o desenvolvimento da ferramenta para,
em seguida, apresentar a OConGraX e suas funcionalidades. Posteriormente,
será mostrada a aplicação desta ferramenta e de ferramentas de
verificação no auxílio à análise dos programas e realização de testes
de cobertura de código.

Todos são benvindos!

Reflexões e formalizações acerca do paradoxo do exame surpresa.

Quarta-feira, 10 de junho de 2009, 17h
Local: Auditório do CLE-UNICAMP

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

Título: Reflexões e formalizações acerca do paradoxo do exame surpresa.

 

Resumo: Michel Scriven publicou em 1951 no periódico britânico de filosofia Mind um artigo em que descrevia uma determinada situação considerada paradoxal. Este paradoxo ficou conhecido como Paradoxo do Exame Surpresa. O artigo possui a seguinte sentença inicial: "A NEW AND POWERFUL PARADOX has Come to light". Desde sua publicação o artigo rendeu muitas pesquisas e comentários de importantes filósofos. As tentativas de solucionar este enigma (puzzle) são bastante divergentes umas das outras. Isso mostra que o problema relatado é mais complexo do que parece, portanto uma maior atenção deve ser dada a ele tal como O'Connor escreveu em seu artigo "It is worthwhile for philosophers to pay a little more attention to these puzzles than they have done up to now even if their scrutiny does no more than make a little clearer the ways in which ordinary language can limit and mislead us" (O'CONNOR. Pragmatic Paradoxes). O presente seminário tem como objetivo apresentar, discutir e revisar versões, comentários e análises sobre o paradoxo do enforcado ou, como é mais conhecido, o paradoxo do exame surpresa.

 

Referências:

 

 

Chapman JM, Butler RJ. One Quine's so-called paradox. Mind 74 1965 pp. 424-425

 

Fitch F. A Gödelized formulation of the prediction paradox. American Philosophical Quarterly 1 1964 pp. 161-16

 

Gardner M. A new prediction paradox. British Journal for the Philosophy of Science 13 1962 p. 51

 

Gardner, M. The Unexpected Hanging and Other Mathematical Diversions, University Of Chicago Press; Reprint edition; 1991.

 

O'Connor DJ. Pragmatic Paradoxes. Mind 57 1948 pp. 358-359

 

O'Connor DJ. Pragmatic paradoxes and fugitive propositions. Mind 60 1951 pp. 536-538

 

Shaw R. The paradox of the unexpected examination. Mind 67 1958 pp. 382-384

 

 

 

Apresentação.

 

Nome: Samir Bezerra Gorsky

Titulações: bacharelado e licenciado em filosofia pela UnB e mestre em filosofia (área: lógica) pela Unicamp.

Áreas de interesses:

Em filosofia: Lógica, Filosofia da Linguagem e Epistemologia.

Em Lógica: Lógica Modal, Lógica Multimodal, Semântica Algébrica, Computabilidade e Teoria dos Jogos.

Sítio Eletrônico: http://br.geocities.com/samirgorosky1/

Correio Eletrônico: samirgorsky@yahoo.com

__,_._,___

Algumas ideias de calculo estocástico, Professor Pedro Jose Catuogno, livre docente da Unicamp (IMECC)

---------- Forwarded message ----------

From: Rafael Testa
Date: 2009/6/2
Subject: [seminarios-CLE] Seminário CLE

Pessoal, lembro a todos que na próxima quarta-feira (dia 03 de junho, também conhecido como amanhã) teremos seminário do Professor Pedro Jose Catuogno, livre docente da Unicamp (IMECC).

+++++++++++++++
Titulo: Algumas ideias de calculo estocástico.

Resumo: Apresentaremos de modo geral algumas ideias do calculo de Itô, que
podem ser do interesse para os lógicos. No sentido inverso, tentaremos
mostrar o enorme potencial que o análise não-standard tem para o cálculo
estocástico.
+++++++++++++++

Como sempre às 16h00, na sala de seminários do CLE.
Contamos com a presença de todos,
Rafael Testa

__._,_.___