| Processo: | 13/04555-7 |
| Modalidade de apoio: | Bolsas no Brasil - Doutorado |
| Data de Início da vigência: | 01 de julho de 2013 |
| Data de Término da vigência: | 28 de fevereiro de 2017 |
| Área de conhecimento: | Ciências Humanas - Filosofia - Lógica |
| Pesquisador responsável: | Marcelo Esteban Coniglio |
| Beneficiário: | Kleidson Êglicio Carvalho da Silva Oliveira |
| Instituição Sede: | Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Vinculado ao auxílio: | 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS, AP.TEM |
| Assunto(s): | Lógica paraconsistente |
| Palavra(s)-Chave do Pesquisador: | Bases para Programação Lógica Paraconsistente | Lógicas da Inconsistência Formal | Lógicas Multivaloradas | Lógicas Paraconsistentes | Programação Lógica Paraconsistente | Lógica Paraconsistente |
Resumo A partir da interação entre áreas como Ciência da Computação, Lógica e Dedução Automática nasce uma importante nova área denominada Programação Lógica. Esta vem sendo utilizada continuamente no estudo teórico e em aplicações concretas em diversos ramos da Inteligência Artificial. Após o aumento do número de tipos de lógicas não-clássicas e com a certeza de que o pensamento humano não se limita a lógica clássica de primeira ordem surgiu a necessidade de fazer programação lógica com outros tipos de raciocínios além do clássico. Um dos tipos que vem sendo bastante estudado é o raciocínio paraconsistente, porém, apesar de existirem inúmeras lógicas paraconsistentes com semânticas variadas, a sua aplicação a programação lógica é mais delicada do que pode parecer, sendo necessário um profundo estudo sobre o que pode ou não ser transferido diretamente da lógica clássica de primeira ordem para outros tipos de lógica. Com base nos estudos de [Rod10] sobre os fundamentos da Programação Lógica Paraconsistente para algumas LFIs, este trabalho tem o intuito de retomar a pesquisa de [Rod10] e situá-la em um contexto mais geral de LFIs com semântica de matrizes finitas, incluindo a pesquisa em lógicas tri e tetra-valoradas que resultam interessantes do ponto de vista computacional, como as apresentadas em [Sil11] e [CF13]. Este estudo visa definir, a partir de técnicas originais, sistemas de programação lógica paraconsistente bem fundados baseados em lógicas já conhecidas, contrastando com as abordagens ad hoc existentes na literatura para esta questão. (AU) | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |