A lógica na inteligência artificial

A Lógica na Inteligência Artificial (I.A.)

Fiama F. S. Amaral
1° Período – Ciências da Computação

Resumo

Neste artigo é apresentada a interação entre a Lógica e a Inteligência Artificial, com uma breve explicação para o conhecimento de alguns dos vários tipos de lógica utilizados em Inteligência Artificial (I.A.).

Palavras-chave: lógica, lógica clássica, lógica não-clássica, lógica proposicional, lógica de predicados, lógica fuzzy, lógica paraconsistente, lógica paracompleta, lógica modal, lógica não-monotônica, inteligência artificial, redes neurais, robótica.

1. Introdução

A lógica é uma disciplina com campo muito vasto de utilização, com implicação nos mais variados campos do saber, como: Matemática, Circuitos Digitais, I.A., Linguística, Direito, etc. Aqui os estudantes de Ciências da Computação podem conhecer o uso das lógicas em Inteligência Artificial. Atualmente nos deparamos com o avanço da tecnologia e a tentativa de conseguir máquinas que consigam fazer tarefas melhores que os seres humanos conseguem, onde o uso da inteligência é essencial. Como um computador é uma máquina de precisão, precisamos usar de recursos para calcular até mesmo algo que só nós conseguiríamos, encontrando uma resposta satisfatória. O uso de Lógicas alternativas tem conseguido alcançar um patamar de grande excelência. O uso de I.A. ainda é muito reprimido pela falta de processadores capazes de aceitar algoritmos de grande porte.

2. A Inteligência Artificial

Inteligência Artificial é descrita por Arariboia (1988), como um campo que usa técnicas de programação que procuram, por intermédio de máquinas, resolver problemas do mesmo modo que um ser humano os resolveria e as técnicas de Inteligência Artificial procuram imitar mecanismos da natureza por intermédio de mecanismos tecnológicos cujo desenvolvimento foi baseado em mecanismos naturais. Para Nikolopoulos (1997), a Inteligência Artificial é um campo de estudos multidisciplinar, originado