Período contemporâneo (inícios do século xx até aos nossos dias)

Expansão dos Estudos da Lógica

Ao longo do século XX assistiu-se por um lado à generalização e diversificação dos estudos da lógica matemática, atingindo um elevado grau de formalização. A lógica possui actualmente um sistema completo de símbolos e regras de combinação de símbolos para obter conclusões válidas. Este facto tornou-a particularmente adaptada a ser aplicada à concepção de máquinas inteligentes.

Aplicações da Lógica

A ideia de criar máquinas inteligentes não é nova. Desde o Renascimento que se tem procurado de forma sistemática conceber máquinas capazes de substituirem o homem em certas tarefas.

Foi no século XVII que começou uma sucessão de notáveis investigações e invenções que iriam conduzir à inteligência artificial. As ideias filosóficas do tempo estimulavam estas descobertas. René Descartes, por exemplo, criou uma nova visão mecânica do Universo, inspirada no modelo de um relógio. As plantas como os animais eram simples máquinas criadas para executarem funções muito precisas. Se o corpo humano era uma máquina, já a razão fazia operações que as máquinas não conseguiam, como a elaboração de cálculos matemáticos. Apesar disso, neste século apareceram as primeiras máquinas de calcular.

Blaise Pascal, em 1642, inventa a primeira máquina de somar.

Leibniz, em 1694, inventa uma calculadora que para além de somar, subtrair, podia multiplicar, dividir e extrair raízes quadradas.

No século XVIII a visão mecânica do universo é acompanhada por uma verdadeira paixão pelas máquinas, sobretudo aquelas que fossem capazes de substituir o homem na realização de múltiplas tarefas físicas, mas também em operações mentais. Esta visão mecanicista é particularmente notória na obra de La Mettrie (1709-1751), médico e filósofo. Após ter estudado as relações entre as faculdades mentais e os fenómenos corporais defendia que o pensamento era um produto da matéria cerebral. As mesmas leis que regiam a matéria regiam o pensamento. O