Projeto: Fundamentos, Modelagem e Automatização do Raciocínio
Descrição: A Lógica é a ciência e a arte
do raciocínio. O raciocínio é uma forma de processamento
simbólico de informações que visa tornar explícitas
formas de conhecimento que antes estavam implícitas. Enquanto ciência,
possui uma metodologia própria, que prioriza as manifestações
do raciocínio que surgem no âmbito de contextos lingüísticos
organizados. Enquanto arte, busca a modelagem de sistemas formais que representem
fielmente formas de raciocínio ainda não captadas em toda a sua
plenitude. O estudo, conhecimento e cultivo da Lógica revelam ferramentas
bem importantes para uma evolução cognitiva de todo ser humano
que queira ser realmente livre, não condicionado pelo medo e por crenças
nocivas constantemente propaladas por diversos meios de comunicação
da maioria das sociedades, tanto do presente como de várias eras passadas.
Tal evolução cognitiva conduz à clareza no pensar, o que
torna possível a prática de uma constante depuração
do que não é verdadeiro para cada um, o que é essencial
para um contato cada vez maior com a própria Verdade. A clareza interna
é uma porta para a autêntica Filosofia, a qual leva a uma viagem
sem fim rumo ao encontro com Tudo. A Lógica relaciona-se intimamente
com três grandes áreas de conhecimento: Matemática, Informática
e Filosofia. Vários dos fundadores da moderna Ciência da Computação
foram lógicos. A Inteligência Artificial Simbólica tem na
Lógica um de seus principais pilares. Toda a Matemática utiliza-se,
em sua expressão lingüística, de conceitos puramente lógicos;
não é possível daí entender Matemática (a
qual inclui os Fundamentos da Ciência da Computação) seriamente
sem entender em detalhes a Lógica, pelo menos em suas bases elementares.
As três linhas deste projeto – Fundamentos, Modelagem e Automatização
– não são assuntos estanques e independentes, mas sim possuem
um íntimo inter-relacionamento. A linha de Fundamentos busca clarificar,
elucidar e expandir certos aspectos da Lógica que ainda carecem de um
melhor embasamento, tais como estudos das relações entre os diversos
sistemas lógicos, traduções entre os mesmos, provas gerais
de correção e completude, conceitos gerais de semânticas
para sistemas lógicos, e outros assuntos afins. A linha de Modelagem
diz respeito à construção de sistemas lógicos preenchendo
certos requisitos, motivados em geral por problemas de Representação
do Conhecimento e de Fundamentação da Matemática. Neste
sentido estamos há vários anos trabalhando com sistemas visando
à formalização do raciocínio do senso comum. A linha
de Automatização visa à especificação e construção
de sistemas de inferência automática, mais ou menos gerais, relativos
aos sistemas lógicos considerados relevantes para diversas aplicações.
Bibliografia:
“Introdução à Lógica”, de Irving M. Copi, Editora Mestre Jou.
“Lógica”, de John Nolt & Dennis Rohatyn, McGraw-Hill & Makron Books.
“Logics”, de John Nolt, Wadsworth Publishing.
“A Course in Mathematical Logic”, de J. L. Bell & M. Machover, North-Holland.
“A Mathematical Introduction to Logic”, de Herbert B. Enderton, Academic
Press.
“Logic for Applications”, de Anil Nerode & Richard A. Shore, Springer.
“Elements of Set Theory”, de Herbert B. Enderton, Academic Press.
“Axiomatic Set Theory”, de Patrick Suppes, Dover.
“A Logical Approach to Discrete Math”, de David Gries & Fred B. Schneider,
Springer.
“Automated Theorem Proving - A Logical Basis”, de Donald W. Loveland.
“Symbolic Logic and Mechanical Theorem Proving”, Chin-Liang Chang & Richard
Char-Tung Lee, Academic Press.
“First-Order Logic and Automated Theorem Proving”, de Melvin Fitting, Springer-Verlag.
“First-Order Logic”, de Raymond M. Smullyan, Dover.
“Computability and Logic”, de George S. Boolos e Richard C. Jeffrey, Cambridge
University Press.
“Ensaio sobre os Fundamentos da Lógica”, de Newton C. A. da Costa, Hucitec.
“Filosofia das Lógicas”, de Susan Haack, UNESP.
“Readings in Nonmonotonic Reasoning”, editado por Matthew L. Ginsberg, Morgan
Kaufmann Publishers.