Os novos dominios da aplicacao da logica

Índice:
1. Introdução.
2. Os novos dominios da Logica.
2.2. Cibernética.
2.3 Informática
2.4 Inteligência Artificial 3. Conclusão.

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.
A Ló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 por Aristó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ógica simbó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 a sua