| Grant number: | 08/07760-2 |
| Support Opportunities: | Scholarships in Brazil - Master |
| Start date: | March 01, 2009 |
| End date: | August 31, 2010 |
| Field of knowledge: | Humanities - Philosophy - Logic |
| Principal Investigator: | Marcelo Esteban Coniglio |
| Grantee: | Tarcísio Genaro Rodrigues |
| Host Institution: | Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil |
| Associated research grant: | 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications, AP.TEM |
Abstract O presente projeto de pesquisa visa o estudo de diferentes abordagens à programação lógicaparaconsistente introduzidas na literatura, assim como o desenvolvimento de um paradigma original baseado nas Lógicas da Inconsistência Formal (LFIs). Para isso, serão analisadas e comparadas as semânticas para LFIs de primeira ordemintroduzidas independentemente por A. Avron e A. Zamansky, por um lado, e R. Podiacki pelo outro, com o objetivo de definir uma semântica apropriada para programas lógicos paraconsistentes (o fragmento das cláusulas Horn da lógica de primeira ordem). Outras semânticas, tais como as semânticas de modelos estáveis e as semânticas bem-fundadas, serão também analisadas neste contexto, assim como a definição de uma regra de resolução apropriada para LFIs. Estes estudos poderão ser aplicados para estender, para linguagens de primeira ordem com símbolos de função, a linguagem dedutiva de consulta P-Datalog introduzida por M.S. Pais, que está baseada numa LFI de 4 valores. Espera-se realizar uma discussão conceitual sobre a questão da inconsistência em bases de conhecimento. (AU) | |
| News published in Agência FAPESP Newsletter about the scholarship: | |
| More itemsLess items | |
| TITULO | |
| Articles published in other media outlets ( ): | |
| More itemsLess items | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |