Os novos dominio de aplicação da lógica

Introdução.
A lógica é extensivamente usada em áreas como inteligência artificial e ciências de computação; desde década 50 e 60,pesquisadores previam que quando o conhecimento humano pudesse ser expresso usando a lógica como a capacidade de pensar, ou seja, inteligência artificial. Com a introdução da programação lógica como uma tentativa de fazer computadores usarem raciocínio lógico e a linguagem de programação surge novos domínios da lógica.

2. Os novos dominios da lógica.
ALógica Clássica e a Lógica Simbólica resultam do estudo da Lógica formal, e da tentativa de encontrar a relação entre a linguagem e o pensamento. A lógica clássica assenta na estruturação do pensamento de maneira a que este possa ser dividido em símbolos. Símbolos esses que são as palavras e que respeitam uma determinada estrutura. Um exemplo desta estrutura é “ Todo o
A é B”,introduzido porAristóteles que Foi o primeiro a simplificar a linguagem natural e a traduzi-la em variáveis, reduzindo-a à estrutura A é B. A partir destes termos tornados variáveis encontram-se regras de inferência que nos permitem raciocinar formalmente bem, apesar de esta estrutura ser correcta em determinados casos, para outros está incorrecta, significando que a Lógica Clássica está incompleta.
A Lógicasimbólica assenta num código de sinais definidos e manipulados por regras, e na qual os símbolos têm somente um significado. Assim, através de um conjunto de regras, estes símbolos poderiam ser manipulados de forma tão rigorosa como um cálculo matemático. Assim assistiu-se à substituição das linguagens naturais por símbolos, permitindo assim a formalização completa da lógica e