Texto completo
| |
| Autor(es): |
Kleidson Êglicio Carvalho da Silva Oliveira
Número total de Autores: 1
|
| Tipo de documento: | Tese de Doutorado |
| Imprenta: | Campinas, SP. |
| Instituição: | Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas |
| Data de defesa: | 2017-03-30 |
| Membros da banca: |
Marcelo Esteban Coniglio;
José Carlos Magossi;
Renata Wassermann;
Luiz Henrique da Cruz Silvestrini;
Eduardo Fermé
|
| Orientador: | Marcelo Esteban Coniglio |
| 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 estando claras as limitações da 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, isto é, tolerante a contradições. Porém, apesar de existirem diversas 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 Rodrigues [Rod10] sobre os fundamentos da Programação Lógica Paraconsistente para algumas Lógicas da Inconsistência Formal LFIs, este trabalho tem o intuito de retomar a pesquisa de Rodrigues [Rod10] e situá-la no contexto mais específico de LFIs com semântica três e quatro valoradas que resultam interessantes do ponto de vista computacional, como as apresentadas em Silvestrini [Sil11] e Coniglio e Figallo [CF12]. 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) | |
| Processo FAPESP: | 13/04555-7 - Bases para programação lógica paraconsistente em lógicas multivaloradas |
| Beneficiário: | Kleidson Êglicio Carvalho da Silva Oliveira |
| Modalidade de apoio: | Bolsas no Brasil - Doutorado |