| Nome Projeto: | LOGICAL CONSEQUENCE AND COMBINATIONS OF LOGICS - FUNDAMENTS AND EFFICIENT APPLICATIONS. |
|
| Tipo Projeto: | Pesquisa Básica |
| | Situação Projeto: | Em Andamento |
|
| Data Início Projeto: | 04/2005 |
| |
| Tipo Envolvimento Contrato: | Individual |
|
| Descrição Projeto | Trata-se de um PROJETO TEMÁTICO envolvendo 22 pesquisadores de várias áreas acadêmicas das 03 Universidades Estaduais Paulista e de 03 Instituições internacionais. A noção de inferência lógica é de fundamental importância não somente em todas as formas de argumentação (sejam formais ou informais), mas também em diferentes aspectos da computação. O estudo de inferências lógicas para aplicações requer a compreensão da combinação de mecanismos lógicos de diferentes características. Este projeto está focalizado em métodos específicos para combinar lógicas, assim como nos aspectos semânticos, algébricos e computacionais dos sistemas resultantes. Do ponto de vista das aplicações eficientes, os métodos de aproximação para as inferências proposicionais e quantificacionais oferecem uma perspectiva promissória no estudo das complexidades intrínsecas envolvidas.
| |
| Instituições | | Nome: | | Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp |
|
| Tipo do Financiamento: | Projeto tematico |
| | Nº Processo na Financiadora: | 2004/14107-2 |
|
| Data Início Financiamento: | 04/2005 |
| | Data Fim Financiamento: | 03/2009 |
|
| Valor do Financiamento: | R$ 332.948,00 |
| | Complemento do Tipo Financiamento: | TEMATICO |
|
|
|
| Órgãos | | (IFCH) DF - DEPARTAMENTO DE FILOSOFIA [09.03.00.00.00.00.00] |
| CLE - CENTRO DE LOGICA,EPISTEMOLOGIA E HISTORIA DA CIENCIA [24.00.00.00.00.00.00] |
|
| Equipes Projeto | | AMÍLCAR SERNADAS( Participante ) |
| Carlos Hifume( Participante ) |
| CRISTINA SERNADAS( Participante ) |
| Flávio Soares Corrêa da Silva( Participante ) |
| HÉRCULES DE ARAÚJO FEITOSA( Participante ) |
| HUGO LUIZ MARIANO( Participante ) |
| ITALA MARIA LOFFREDO D'OTTAVIANO( Participante ) |
| JEAN-YVES BÉZIAU( Participante ) |
| Joselyto Riani( Participante ) |
| JOÃO MARCOS DE ALMEIDA( Participante ) |
| JOÃO RASGA( Participante ) |
| Juan Carlos Agudelo Agudelo( Participante ) |
| Juliana Bueno( Participante ) |
| Luís Augusto Sbardellini( Participante ) |
| Marcelo Finger( Participante ) |
| MARCELO ESTEBAN CONIGLIO( Participante ) |
| Milton Agustinis de Castro( Participante ) |
| Odilon Otávio Luciano( Participante ) |
| Paulo Mateus( Participante ) |
| Renata Wassermann( Participante ) |
| Rodrigo de Alvarenga Freire( Participante ) |
| WALTER ALEXANDRE CARNIELLI( Responsável ) |
|
|
