Aristóteles (384-322 a.C.) foi o primeiro estudioso a fazer uma representação do processo do pensamento, através da sistematização do raciocínio lógico. A lógica aristotélica permaneceu como Aristóteles a estruturou durante vári- os séculos até o surgimento das lógicas não clássicas no século XIX com A. De Morgan (1806-1871), Boole (1815-1864), G. Frege (1848-1925) e Bertrand Russell (1872-1970). G. Leibniz (1646-1716), Saccheri (1667-1733) e J. H. Lambert (1728-1777) fizeram tentativas de matematizar a lógica, mas foi George Boole que estru- turou a lógica matemática. As idéias de Boole foram publicadas no livro Mathematical Analysis of Logic, no qual ele demostra que a lógica pode ser manipulada algebricamente e que os resultads das operações lógica podem ser obtidos através da utiliza- ção de técnicas matemáticas. Essa obra deu suporte para a lógica matemá- tica ou simbólica utilizada em alguns ramos da computação, eletricidade e eletrônica.

As idéias de Boole representaram um grande passo na ciência da computa ção, no sentido de auxiliar na simulação e implementação do processo do raciocínio na máquina. Segundo Boole: "O que nós temos que examinar são as leis de uma das mais importantes faculdades mentais. A matemática que temos que construir é a matemática do intelecto humano". No século XX surgiram vários outros princípios da lógica, que auxiliaram a construção de programas de computador, como por exemplo a teoria da de- monstração por refutação de Herbrand (1930), o princípio da resolução de Robinson (1965) e a SLD resolution de Kowalski (1971). Dentre as várias lógicas não-clássicas, foram escolhidas para pesquisa as seguintes: Lógica Fuzzy Lógica Paraconsistente Lógica Modal