| 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 envolvendo pesquisadores de várias áreas e de várias instituições, com orçamento próprio. 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. Este projeto envolve 22 pesquisadores com diferentes formações acadêmicas provenientes da USP, da UNESP e da UNICAMP, com o suporte de 8 pesquisadores provenientes de 3 instituições...
| |
| 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 | | Anderson de Araújo( Participante ) |
| Carlos Hifume( Participante ) |
| HÉRCULES DE ARAÚJO FEITOSA( Participante ) |
| ITALA MARIA LOFFREDO D'OTTAVIANO( Participante ) |
| JOÃO MARCOS DE ALMEIDA( Participante ) |
| JOÃO RASGA( Participante ) |
| Juan Carlos Agudelo Agudelo( Participante ) |
| Juliana Bueno( Participante ) |
| Marcelo Finger( Participante ) |
| Rodrigo de Alvarenga Freire( Participante ) |
| WALTER ALEXANDRE CARNIELLI( Responsável ) |
|
|
