Sistemas de informação utilizando ontologias - Seminário do LIAMF dia 29/10

----------------------------------------------------------------------------
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: Sistemas de informação utilizando ontologias

Palestrante: Carlo Borsoi Moura

Data:   29/10/2009, 14h00
Local:  Sala 243A, IME-USP

Resumo:

A apresentação de 1 hora abordará os seguintes tópicos:

1) Overview dos conceitos de ontologias
2) Escopo de utilização das ontologias
3) Casos de utilização
4) Ferramenta (OntoStudio e Ontobroker)
5) Exemplo prático com OntoStudio


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



Todos são bem-vindos

Linguistic Variables of Type-N. A Mathematical Model - Seminários do LoLITA (UFRN)

Caríssimos,

mais um seminário do LoLITA. Seguem as informações:

Linguistic Variables of Type-N.   A Mathematical Model

Prof. Regivan Hugo Nunes Santiago (DIMAp-UFRN)

Local: Auditório do CCET

Dia: 16-Out-09
Horário: 09:00hs

Resumo This talk shows a model for linguistic variables and the fuzzyfication process for fuzzy systems which deals with different level of uncertainty in the same linguistic variables. Those systems are called here Systems of Type-n. We introduce concepts like n-Homogeneous linguistic variables which emphasises the ocurrence of different levels of uncertainty in such Fuzzy systems. The most important result is the statement of the General Fuzzification Expression (GFE) which establishes how the fuzzification process must be calculated in every system of type-n.

Keywords: Fuzzy Sets, Type-n Fuzzy sets, Systems of Type-n, n-homogeneous linguistic variables, heterogeneous linguistic variables.



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

Sobre o objeto da Lógica: alguns aspectos de Filosofia da Lógica - Seminário - CLE - UNICAMP

Prezados Colegas,

 

     Nesta próxima quarta-feira, 14/10, teremos o Seminário de Lógica, a ser apresentado pelo Professor Pedro Monticelli, Bacharel, Mestre e Doutorando em Filosofia pela Pontifícia Universidade Católica de São Paulo, PUC-SP. Bacharel e Mestrando em Direito pela Universidade de São Paulo, USP. Docente da Pós-Graduação do Centro de Lógica Jurídica e Teorias da Argumentação da Faculdade de São Bento. Docente da Graduação em Filosofia do Centro Universitário São Camilo. Docente da Graduação em Direito do Centro Universitário das Faculdades Metropolitanas Unidas, UniFMU.

 

Título: Sobre o objeto da Lógica: alguns aspectos de Filosofia da Lógica

 

Resumo: De que trata a Lógica? A partir dessa pergunta, pretendo apresentar um caminho que nos ajude a localizar, no universo dos entes concretos e abstratos, o objeto da Lógica. Esse caminho é traçado a partir do conceito de significação pertencente à tradição de origem aristotélica. A fim de cumprir essa tarefa, passo pelos seguintes pontos: 1) a estrutura do mundo real concreto; 2) o ato de abstração e a constituição da objetividade real; 3) a apreensão mental do objeto e a produção do conceito/pensamento; 4) a necessidade de expressão material do pensamento: prática social e linguagem/simbolização; 5) o ato de abstração e a constituição da objetividade lógica.

Local: Sala 208 - CLE - UNICAMP

Horário: 16:00h. 

 

   Atenciosamente,

    Luiz Henrique.

 

Seminário no IC - UNICAMP

Caros Colegas,    Convidamos todos a participar do seminário abaixo. Palestrante: Igor Carboni Oliveira Título: Indecidibilidade e Expressividade em Modelos Computacionais. Resumo: Neste seminário vamos discutir algumas idéias presentes no Relatório Técnico TR-09-34 do IC - Unicamp (http://www.ic.unicamp.br/~reltech/2009/abstracts.html). Em particular, qual a relação entre indecidibilidade e poder computacional? Se um modelo computacional é tão indecidível quanto as máquinas de Turing (no sentido do teorema de Rice), então o mesmo é capaz de computar todas as funções "computáveis"? Em busca de respostas, introduziremos alguns conceitos novos e mostraremos uma relação entre essas perguntas e outras áreas distintas como a lógica matemática. Por exemplo, o que é um modelo computacional? O teorema de Rice é válido para a lógica clássica? Finalmente, vamos discutir se é interessante o desenvolvimento de uma teoria abstrata de modelos computacionais. Local: 16 de outubro às 10h na sala 322 do IC03, Unicamp.    atenciosamente,     Luiz Henrique.

Análise de Complexidade e Inferência Variacional em uma Lógica de Descrição Probabilística - Seminário do LIAMF dia 8/10

---------------------------------------------------------------------------
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: Análise de Complexidade e Inferência Variacional em uma Lógica
de Descrição Probabilística

Palestrante: Fábio G. Cozman

Data:   8/10/2009, 14h00
Local:  Sala 243A, IME-USP

Resumo:
Esta palestra apresenta uma lógica de descrição probabilística baseada
na popular lógica ALC (contendo operadores Booleanos e quantificadores,
e também restrições numéricas, papéis inversos e hierarquias de papéis).
Serão apresentados argumentos que justificam esta lógica ser a lógica
mais "simples" que combina descrições não triviais e probabilidades.
Inferência exata na lógica é um problema PEXP-completo; em vista dessa
complexidade, serão apresentados algoritmos aproximados bastante
precisos e eficientes, capazes de explorar inferência lógica quando
possível. Aplicações em robótica e processamento de texto serão
discutidas.
Sobre o palestrante:
Fabio G. Cozman é engenheiro eletrônico e mestre em Engenharia pela
Universidade de São Paulo, PhD pela School of Computer Science, Carnegie
Mellon University, EUA, e professor titular na Escola Politécnica da
Universidade de São Paulo. Suas pesquisas se concentram em aplicações da
teoria de decisão em automação e classificação de dados, e
generalizações da teoria de probabilidades para inferência e
representação de conhecimento.

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



Todos são bem-vindos