Fwd: [Logica-l] Seminários LoLITA / UFRN - 10Dez2010

Mais um seminário, esta semana, do
 Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações
da UFRN:


Aventuras no País dos Buscadores
--Valéria de Paiva
Local:  Sala 3H7, UFRN
Data: 10-Dez-10,  09:00-10:00

Resumo:
Em maio de 2008 eu resolvi largar o meu emprego como pesquisadora do
PARC, o celebrado laboratório de pesquisas da Xerox em Palo Alto, CA,
para me juntar a uma micro-empresa inventando um buscador para
revolucionar a internete.  Três meses mais tarde Cuil foi lancado, com
muita fanfarra e um acervo de inovação impressionante.  A fanfarra não
ajudou, pois o tráfico foi gigante, as máquinas não aguentaram, a
qualidade foi pras cucuias e Cuil não conseguiu se recuperar do mau
lançamento.  Dois anos mais tarde, a empresa acabou, e eu ainda estou
tentando entender a matemática do desastre.  Ganhar ou perder dentro
da ecologia do Vale do Silício tem muito pouco a ver com essa
matemática, muito mais a ver com a ecologia de Wall Street e com a
pior crise econômica desde 1929.  Mas a matemática da qualidade das
buscas na internete é um problema super-interessante por si mesmo.  E
um dos problemas que podemos (e devemos!) tentar resolver, pois para
todo mundo, busca na internete, na sua máquina, no seu telefone é o
único caminho à nossa frente.
--
Uma versão preliminar desta palestra pode ser assistida (em inglês) no
video do PARC Forum:
http://groups.google.com/group/lolita-ufrn/web/lolita-seminars#VdP-10122010
--
A palestra é promovida pelo LoLITA e organizada como parte das
comemorações dos 25 anos do DIMAp / UFRN.
A professora Valéria de Paiva é convidada do DIMAp como Professora
Visitante para o ano de 2011.

Fwd: [Logica-l] Seminários LoLITA / UFRN - 26Nov10

Mais um seminário, esta semana, do
 Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações
 http://groups.google.com/group/lolita-ufrn/web/seminrios-do-lolita
da UFRN:


"K-like Fuzzy Kripke Models"
Regivan Hugo Nunes Santiago (DIMAp / UFRN)
Place: Sala de reuniões do DIMAp
Date: 26-Nov-10,  09:00-10:00

Abstract:
The generalization of Classical Logic to Fuzzy Logics and to Modal
Logics allows on one side the generalization of the truth from a
binary value to a many-valued setting, giving rise to the possibility
to modelling accurately the notion of uncertainty/possibility, and on
the other side, the introduction of a qualification on truth values
(e.g. the truth with respect to the time variations).  Those notions
have been more widely investigated in a common setting giving rise to
Modal-Fuzzy Logics.  This approach enables the introduction of a truth
qualification together with a grade of uncertainty enabling the
modelling of phenomena where the truth value is enriched with
uncertainty and qualification.

In this seminar,  the investigation of the preservation of classical
modal theorems into the fuzzy setting is presented.  The key concept
which permits such situation is called classical-like fuzzy semantics.
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Seminário do LIAMF dia 24/8 ***DIA e HORÁRIO não usuais***

***** NOTEM O DIA E HORÁRIO NÃO USUAIS *************

***** TERÇA, 10:30 *********************

----------------------------------------------------------------------------
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: e-Infrastructure for Biomedical research: activities at the
Academic Medical Center of the University of Amsterdam

Palestrante: Silvia Delgado Olabarriaga (AMC, Holanda)

Data:  24/8/2010 (terça), 10:30hs
Local: a ser anunciada


Resumo:


The amount and complexity of biomedical data available for research and
healthcare are assuming dramatic proportions as a consequence of
advances in data acquisition techniques. Not only a vast amount and
variety of data can be acquired about living organisms, but also the
throughput and resolution (spatial, spectral, time, etc.) are ever
growing. Moreover, a wealth of information about life style, disease
history and clinical parameters is also available in hospital databases
and (electronic) patient files. This radical increase of biological and
clinical data creates completely new challenges and opportunities in
life sciences and transforms life science research in an information
science. A shift in the methodologies used for data analysis and
management is required to address the increasing challenges, where
information and communication technologies (ICT) play an essential role.
At the AMC we adopt Web and GRID technologies to enable and enhance
biomedical research, participating in the on-going global research
effort to develop what is termed "cyberinfrastructures" in the USA, and
"e-Science infrastructures" in Europe. In particular we collaborate with
the Dutch e-Science Grid (BiGGrid project) and the Biomedical virtual
research community established during EGEE projects. The e-Bioscience
group currently has activities covering data analysis in the areas of
medical imaging, next generation DNA sequencing and proteomics.
This talk will present an overview of the activities of this group with
the goal of identifying areas of possible collaboration with USP
researchers.


http://www.bioinformaticslaboratory.nl


bio:
Silvia D. Olabarriaga was born in Porto Alegre, Brazil. She graduated in
Informatics at the Federal University of Rio Grande do Sul (UFRGS,
Brazil) in 1982. After working two years in the Brazilian computer
industry (EDISA) as a software engineer, she went back to Informatics at
UFRGS to obtain a Master's degree Computer Graphics. Her dissertation
was about 3D computer animation (1987), which remained her main reseach
topic at INESC, Lisbon (1988-1989) and as a lecturer at the Informatics
Institute at UFRGS (1990-2002). From 1994 on, her interests moved into
Scientific Visualization and Image Processing, with focus on medical
applications. She obtained a PhD in Computer Science in 1999, at the at
the University of Amsterdam, NL, with the thesis Human-Computer
Interaction for the Segmentation of Medical Images. From April 2002
until February 2005 she worked as a research fellow at the Image
Sciences Institutes, UMC-Utrecht, NL, in medical image segmentation
(CT). In March 2005 she joined the Virtual Laboratory for e-Sciences
projectat the Informatics Institute of the University of Amsterdam. Her
main interests since then include the development, usage and evaluation
of grid technology for to enable and enhance advanced biomedical
(imaging) applications (e-Science).
In 2007 Silvia moved to the Academic Medical Center and became leader of
the Medical Diagnosis and Imaging subprogram (SP1.3) of the VL-e
project. In May 2008 she joined the Bioinformatics Laboratory as a post
doctoral fellow. Silvia is since Jan 2009 assistant professor at the
Bioinformatics Laboratory of the Department of Clinical Epidemiology,
Biostatistics and Bioinformatics (KEBB) of the AMC and leads the
e-Bioscience group.





Todos são bem-vindos.

Seminário do Grupo de Lógica e Filosofia da Ciência

 Assunto: Seminário do Grupo de Lógica e Filosofia da Ciência

Prezados :

Convido a todos para o próximo seminário do Grupo de Lógica e
Filosofia da Ciência. No dia 16 de julho, às 16h, contaremos com a
presença do professor Walter Carnielli, da Universidade de Campinas
(UNICAMP), que  nos falará sobre "Multimodalidades, consistência e o
inquérito filosófico". O seminário será na sala do Programa de
Mestrado em Filosofia, sala B1-685 (mezanino, ICC Norte).
Segue abaixo o resumo da apresentação.
Cordialmente,
Samuel.


Resumo:

Se você for um filósofo ou lógico, jamais poderá reclamar da sua
família: você tem necessariamente os pais que tem, pois com pais
diferentes, você não seria a mesma pessoa (e talvez  não reclamasse).
Este exemplo dado por Saul Kripke ilustra a ideia da necessidade
metafísica, mas esta não é a  única: há as  necessidades lógicas, e as
físicas, e o necessário a posteriori. E há ainda as  noções de
possibilidade. De que maneira  a lógica modal, vista como o estudo do
raciocínio que envolve o uso das expressões  'necessariamente' e
'possivelmente', trabalha com tudo isso? Existem modalidades
não-clássicas, ou as  noções de modalidade não as  admitem? Seria a
'consistência' uma noção modal?  E o que tem isso tudo a ver com os
mundos possíves? E com os mundos impossíveis? Pretendo mostrar a
matemática das modalidades e das multimodalidades, incluindo ideias
básicas da  combinação de  lógicas, discutir alguns  de seus problemas
e ajudar a   compreender porque a  lógica modal ocupa hoje uma posição
tão privilegiada na  filosofia, na computação e na
linguística.



Walter Carnielli é Professor Titular do Departamento de Filosofia da
UNICAMP, e diretor do Centro de Lógica, Epistemologia  História da
Ciência  da  UNICAMP.  Autor de dezenas de artigos científicos  em
Lógica, Combinatória, Teoria  da Computação, Teoria dos Conjuntos e
Filosofia da  Lógica,  Carnielli é co-autor de "Analysis and Synthesis
of Logics: How to Cut and Paste Reasoning Systems" (Springer, 2008,
com D. Gabbay, M. E. Coniglio, C. Serndas e P. Gouveia), " Modalities
and Multimodalities" (Springer, 2008, com C. Pizzi) e "Computability:
Computable Functions, Logic, and the Foundations of Mathematics"
(Wadsworth, Thomson Learning, ARF Publications em várias edições desde
1989). Acaba de  lançar "Pensamento Crítico: o poder da lógica e da
argumentação " (Editora Rideel, 2009, com R. L. Epstein).

Seminário Claudio Pizzi

---------- Forwarded message ----------
From: Rafael Testa
Date: 2010/6/19
Subject: [seminarios-CLE] Seminário

Pessoal, nesta próxima quarta, dia 23/06, teremos seminário do Professor Claudio Pizzi (Universidade de Siena, Itália).

Título e resumo a ser enviado.

Como sempre às 16h00, no CLE.

--
Rafael R. Testa
Doutorando do Centro de Lógica, Epistemologia e História da Ciência
Departamento de Filosofia, Unicamp
http://sites.google.com/site/rafaeltesta

Seminários do CLE

Pessoal,
Lembro a todos que nesta quarta, dia 16, teremos seminário de Dante Cardoso (nosso colega do CLE, mestrando)

+++
Título: O Paradoxo da Cognoscibilidade
Resumo: Será apresentado e discutido o resultado da lógica epistêmica segundo o qual existem verdades necessariamente ignoradas.
+++

Como sempre às 16h00 no CLE.

Nossos próximos encontros estão previstos para os dias 23/06 e 30/06

--
Rafael R. Testa
Doutorando do Centro de Lógica, Epistemologia e História da Ciência
Departamento de Filosofia, Unicamp
http://sites.google.com/site/rafaeltesta

Seminarios LIAMF 10/06/2010

----------------------------------------------------------------------------
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: Bases de Conhecimento e Padrões na Área de Saúde
Palestrante: Flavio Lichtenstein (Anflatech TIS - UNIFESP DIS)

Data:  10/06/2010, 14hs
Local: Sala 254-A

Este seminário visa dar uma visão inicial da atual organização da administração das informações e bases de conhecimentos no segmento de saúde. As informações estão distribuídas nos consultórios, nos laboratórios, nos hospitais, nos diversos prestadores de serviços e no âmbito governamental. Estão armazenadas em diversas mídias: papel, vídeos, sons e digital, de forma organizada ou não. Como se pode reunir ordenadamente tais informações? Como se pode processá-las? Quais os padrões e desafios para tal tarefa?

Mostraremos algumas informações relativas às bases de conhecimento (BC) existentes na área de saúde, para que servem, quando surgiram, sua disponibilidade e acessibilidade. Porque temos que ter BC?s em saúde? Como e porque processá-las? O que é interoperabilidade?

Quais os padrões na área de saúde? Para que servem? Como estes padrões asseguram ética, segurança da informação e confidencialidade? Quais os padrões em saúde para bases de dados locais e federativas (descentralizadas)?
Todos estes tópicos serão abordados de forma superficial para informar ou introduzir a platéia ao estado da arte de TI em Saúde

Todos são benvindos

Marcelo Finger 

Lógica informal - Seminários CLE

Pessoal,
nesta quarta, dia 9, teremos seminário. Como sempre às 16h00, no CLE:

Antonio Eduardo Consalvo, doutorando CLE/IFCH
Lógica informal
A exposição analisará o objetivo da lógica informal, bem como seu problemas. De maneira mais detida, apresentaremos os problemas da discussão crítica como método de diálogo que procura não somente sustentar uma tese como também obter a adesão dos receptores.

atenciosamente,

--
Rafael R. Testa
Doutorando do Centro de Lógica, Epistemologia e História da Ciência
Departamento de Filosofia, Unicamp
http://sites.google.com/site/rafaeltesta

Fwd: [seminarios-CLE] Alteração Seminários

---------- Forwarded message ----------
From: Rafael Testa
Date: 2010/5/25
Subject: [seminarios-CLE] Alteração Seminários

Pessoal,
devido aos Seminários de Lógica Modal em Aristóteles nos dias 26, 27 e 28, o seminário de Dante Cardoso, previsto para esta quarta, será dia 16/06. Nosso próximo seminário previsto, portanto, será no dia 09/06 (Carlos Eduardo, título e resumo a ser enviado).

"Resumo" da ópera:

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

Dias 26, 27 e 28 de maio de 2010
Horário: 14h30- 18h
"A Method of Modal Reasoning in Aristotle: Proof by Assumption of the Possible"
(a discussion of Prior Analytics A 15 34a5-33, and De Caelo A 12
281b9-15, 281b20-25, 282a1-4, 283a11-17, 283b6-17)
Expositores: Marko Malink (Humboldt Universitat, Berlin) & Jacob Rosen
(Humboldt Universitat, Berlin)

Dia 09/06
Horário: 16h00 - 18h00
Título: a ser enviado
Carlos Eduardo (estudante doutorado, IFCH/CLE)

Dia 16/06
Horário: 16h30 - 18h00
Título: O Paradoxo da Cognoscibilidade
Resumo: Será apresentado e discutido o resultado da lógica epistêmica segundo o qual existem verdades necessariamente ignoradas.
Dante Cardoso (estudante doutorado, IFCH/CLE)

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

Qualquer eventual alteração será devidamente informada.

--
Rafael R. Testa
Doutorando do Centro de Lógica, Epistemologia e História da Ciência
Departamento de Filosofia, Unicamp
http://sites.google.com/site/rafaeltesta

__,_._,___

Seminários sobre Lógica Modal em Aristóteles, no CLE- Unicamp:

---------- Forwarded message ----------
From: Walter Carnielli
Date: 2010/5/22
Subject: [seminarios-CLE] Seminários sobre Lógica Modal em Aristóteles, no CLE- Unicamp:


Seminários sobre Lógica Modal em Aristóteles, no CLE- Unicamp:

"A Method of Modal Reasoning in Aristotle: Proof by Assumption of the Possible"
(a discussion of Prior Analytics A 15 34a5-33, and De Caelo A 12
281b9-15, 281b20-25, 282a1-4, 283a11-17, 283b6-17)

Expositores: Marko Malink (Humboldt Universitat, Berlin) & Jacob Rosen
(Humboldt Universitat, Berlin)

Dias 26, 27 e 28 de maio de 2010
Horário: 14h 30- 18h
Sala de Seminários - Centro de Lógica, Epistemologia e História da
Ciência (CLEHC)
Unicamp

Programa de Pós-Graduação em Filosofia da Universidade de Campinas (UNICAMP).
Mais informações pelo e-mail angioni.lucas EM gmail.com

--

--
+++++++++++++++++++++++++++++++++++++++++++++++++
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) 3521-6515
Fax: (+55) (19) 3289-3269
Website: http://www.cle.unicamp.br/prof/carnielli

IV Seminário dos alunos do Programa de Pós-graduação em Lógica e Metafísica da UFRJ

---------- Forwarded message ----------
From: rodrigo cid
Date: 2010/5/21
Subject: [Logica-l] IV Seminário dos alunos do Programa de Pós-graduação em Lógica e Metafísica da UFRJ
To:

IV Seminário dos alunos do Programa de Pós-graduação em Lógica e Metafísica da UFRJ





Os alunos do PPGLM/UFRJ convidam os estudantes de pós-graduação a participar de seu quarto seminário. Os interessados deverão enviar resumo e texto integral relativo à apresentação para o seguinte e-mail: seminarioppglm@yahoo.com.br até o dia 15 de julho.


O texto deve ter, no máximo, 10 páginas e obedecer à seguinte formatação: fonte Times New Roman, corpo 12, espaço entre linhas 1,5 e margens 2,5 cm; o respectivo resumo deve conter até 300 palavras. Os  trabalhos enviados serão submetidos à avaliação do corpo docente do programa.


O evento será realizado entre 13 e 17 de setembro.


Cordialmente,


Alunos do PPGLM

Seminário do LIAMF dia 20/5

---------------------------------------------------------------------------
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: Atualização de Modelos Baseada em Ações
Palestrante: Maria Viviane de Menezes

Data:  20/5/2010, 14hs
Local: Sala 254-A

Erros são comuns durante o desenvolvimento de sistemas de software e
hardware, sendo que sua detecção e correção na maioria das vezes envolve um
processo de alto custo. Este custo, no entanto, pode ser reduzido se o
projetista for capaz de corrigir erros ainda na fase de especificação do
sistema. Atualização de Modelos é uma abordagem formal utilizada para corrigir
automaticamente um modelo de um sistema que não satisfaz uma dada propriedade. A
maioria das abordagens de atualização de modelos é baseada na lógica temporal de
tempo ramificado CTL, a qual não leva em consideração as ações que rotulam as
transições de estados.
Nesta proposta apresentamos um arcabouço de atualização de modelos baseada
em ações, que pode ser utilizado para sugerir automaticamente modificações em
um sistema considerando as ações que rotulam as transições de estados, bem
como sugerir modificações na própria especificação de ações. Neste contexto,
a especificação de um sistema é representada por um sistema de transições
rotuladas e as propriedades a serem verificadas são especificadas na lógica
temporal alpha-CTL : uma extensão da CTL que possui a semântica baseada em ações.


Todos são bem-vindos.

Seminaire "Logiques en format polynomial" (W. Carnielli)

Vendredi 21 mai a 14h  :

Walter Carnielli, U. Campinas, Centre de Logique, Epistemologie et
Histoire des Sciences (CLE) et Departement de Philosophie : "Logiques en
format polynomial"

RESUME : Nous allons montrer que beaucoup de logiques peuvent etre
exprimées en format polynomial avec des coefficients sur les corps de
Galois finis. Cela s'applique a tous les logiques multi-valués finis
ainsi qu'aux logiques paraconsistantes, beaucoup de logiques modales et
un certain fragment de la logique du premier ordre. On obtient ainsi un
nouveau mode de calcul avec des propriétés intéressantes.

[seminarios-CLE] Seminário - URGENTE

Pessoal,
Houve uma mudança no cronograma de nossos seminários. Nesta quarta teremos, ao invés do Dante, seminário do Prof. Rubens Lintz, membro fundador do CLE e Professor Emérito da Mac Master University do Canadá.

Título:

"Os Irracionais na História da Matemática"

às 16h00, no CLE

--

Rafael R. Testa
Doutorando do Centro de Lógica, Epistemologia e História da Ciência
Departamento de Filosofia, Unicamp
http://sites.google.com/site/rafaeltesta

[seminarios-CLE] Seminário

Pessoal,
lembro a todos que nesta quarta-feira, dia 12/05, teremos seminário de Dante Cardoso (nosso colega do CLE, mestrando)

+++
Título: O Paradoxo da Cognicibilidade
Resumo: Será apresentado e discutido o resultado da lógica epistêmica segundo o qual existem verdades necessariamente ignoradas.
+++

Como sempre às 16h00 no CLE, desta vez na sala usual (salvo imprevisto).

Abraços.

--
Rafael R. Testa
Doutorando do Centro de Lógica, Epistemologia e História da Ciência
Departamento de Filosofia, Unicamp
http://sites.google.com/site/rafaeltesta

__._,_.___

Your email settings: Individual Email|Traditional
Change settings via the Web (Yahoo! ID required)
Change settings via email: Switch delivery to Daily Digest | Switch to Fully Featured
Visit Your Group | Yahoo! Groups Terms of Use | Unsubscribe

__,_._,___

[seminarios-CLE] seminario 05/05

Pessoal, na próxima quarta dia 05/05 teremos seminário.

Título: A noção de definibilidade conjuntista

Resumo: No seminário vamos fazer uma análise crítica da noção de definibilidade conjuntista. Em particular, por meio de resultados de Lógica elementar, vamos analisar o papel dos axiomas de ZFC, principalmente do axioma da escolha, no que diz respeito a introdução de conjuntos definíveis.


Nome: Rodrigo de Alvarenga Freire
Filiação: CLE - unicamp

às 16h00, no CLE - UNCAMP
Rafael Testa

Anytime Lifted Belief Propagation - Seminário do LIAMF - 29/04/2010

----------------------------------------------------------------------------
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: Anytime Lifted Belief Propagation
Palestrante: Rodrigo de Salvo Braz (SRI International)

Data:  29/4/2010, 14hs
Local: Sala 254-A

Lifted first-order probabilistic inference, which manipulates
first-order representations directly, has been receiving increasing
attention. To date, all lifted inference methods require a model to be
shattered against itself and evidence, before inference starts. In
many situations this produces a new model that is not far from
propositionalized, therefore canceling the benefits of lifted inference.
We present an algorithm, Anytime Lifted Belief Propagation, that
corresponds to this intuition by performing shattering during belief
propagation inference, on an as-needed basis, starting on the most
relevant parts of a model  rst. The trade-off is having an (exact) bound
(an interval) on the query's belief rather than an exact belief. Bounds
are useful when approximate answers are sufficient and, in
decision-making applications, can even be enough to determine the
decision that would be picked from the exact belief. Moreover, the
bounds can be made to converge to the exact solution as inference and
shattering converge to the entire model. Interestingly, this algorithm
mirrors theorem-proving, helping to close the gap between probabilistic
and logic inference.


Todos são bem-vindos.

Seminário LIAMF 22/04/2010

----------------------------------------------------------------------------
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: Usando anotadores Apache UIMA para Português do Brasil
Palestrante: William Colen

Data:  22/4/2010, 14hs
Local: Sala 254-A

Demonstraremos como criar aplicações usando anotadores do CoGrOO -
Corretor Gramatical para o OpenOffice.org, incluindo detector de
sentença, tokenizador, identificador de nomes próprios, etiquetador
morfológico, agrupador de sintagmas e um parser simples. Os anotadores
são compatíveis com a padronização OASIS UIMA - Unstructured
Information Management Architecture.
A demonstração consistirá em:

1. Instalando o Apache UIMA;
2. Usando as ferramentas do Apache UIMA para entender as
funcionalidades dos anotadores CoGrOO UIMA;
3. Desenvolvendo uma aplicação simples: será construído um protótipo de
  analisador de sentimentos baseado em informações morfológicas do texto e um
  pequeno dicionário semântico.

Todos são benvindos

Marcelo Finger

Seminário do LIAMF - 15/04

----------------------------------------------------------------------------
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: Lógica Computacional -- Expressividade, Limites e Desafios
Palestrante: Marcelo Finger

Data:  15/4/2010, 14hs
Local: Sala 254-A - IME-USP

Nesta palestra apresentamos a área de Lógica Computacional como a
resultante de três forças: a busca pela expressividade na descrição de
modelos matemático-computacionais, os limites encontrados em termos de
computabilidade e tratabilidade, e os desafios de se enfrentar estes
limites.

Apresentaremos a área desde os seus primórdios no final do séc 19 e
mostraremos que o fracasso da tentativa de reduzir toda a matemática à
Lógica de Primeira Ordem (conhecido como Programa Logicista) teve como
resultado um grande sucesso, que foi a criação da Teoria da
Computação.  Mostramos que dentro das fronteiras do computável há
muita expressividade por ser capturada por lógicas proposicionais,
modais e temporais.  Mostramos também que apesar de computáveis,
muitos problemas relacionados às Lógicas esbarram em outro limite, o
da tratabilidade.  Por fim, descrevemos dois métodos para se enfrentar
o limite da tratabilidade, o Raciocínio por Aproximações e as
Combinações de Lógica e Probabilidade.


Todos são bem-vindos.

Seminários do LoLITA

Caros colegas,

mais um seminário do LoLITA. Dessa vez, lógica fuzzy aplicada a
sistemas dinâmicos. Para maiores informações, acessem:

http://groups.google.com.br/group/lolita-ufrn/web/seminrios-do-lolita?msg=ns

Um grande abraço,

Regivan

--
******************************************************************************
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
******************************************************************************