logica e computadores

Prévia do material em texto

Lógica e computadores 
A Lógica é extensivamente utilizada em todas as áreas vinculadas aos computadores. 
Partindo-se do princípio que muitas das nossas tarefas diárias são umas sequências que 
obedecem a uma determinada ordem, de um estado inicial, através de um período de tempo 
finito e que nesse período produzimos resultados esperados e bem definidos, poderiam 
classificar essas tarefas dentro de um Algoritmo que utilizam o conceito da lógica formal para 
fazer com que o computador produza uma série sequencial. 
Nas décadas de 50 e 60, pesquisadores previram que quando o conhecimento humano 
pudesse ser expresso usando lógica com notação matemática, supunham que seria possível 
criar uma máquina com a capacidade de pensar, ou seja, Inteligência Artificial. Isto se mostrou 
mais difícil que o esperado em função da complexidade do raciocínio humano. A programação 
lógica é uma tentativa de fazer computadores usarem. 
Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser 
auxiliadas por computador. Usando prova automática de teoremas os computadores podem 
achar e verificar demonstrações, assim como trabalhar com demonstrações muito extensas. 
Na ciência da computação, a álgebra booleana é a base do projeto de hardware. 
 
Programação lógica é um paradigma de programação que faz uso da lógica 
matemática. John McCarthy [1958] foi o primeiro a publicar uma proposta de uso da lógica 
matemática para programação. 
A primeira linguagem de programação lógica foi a Planner, a qual permitia a invocação 
orientada a padrões de planos procedimentais de asserções e de objetivos. Com a 
necessidade de adaptação aos sistemas de memória muito limitada, que eram disponíveis 
quando ela foi desenvolvida. A linguagem Planner usava estruturas de 
controle de backtracking, de tal forma que apenas um único caminho computacional tinha que 
ser armazenado por vez. Em seguida, o Prolog foi desenvolvido como uma simplificação do 
Planner que permitia a invocação orientada a padrões apenas a partir de objetivos (também 
baseado em backtracking). 
A partir do Planner, foram desenvolvidas as linguagens de programação QA-4, Popler, 
Conniver, e QLISP. As linguagens de programação Mercury, Visual Prolog, Oz e Frill, foram 
desenvolvidas a partir do Prolog. Atualmente existem linguagens de programação 
lógica concorrente (não baseadas em backtracking) derivadas do Planner (por exemplo, a 
Ether) e derivadas do Prolog (ver Shapiro 1989 para um apanhado geral). 
 
 
 
 
 
 
Referências 
Xavier, Gley Fabiano Cardoso. Lógica de programação. São Paulo: Senac, 2007. p. 25. 
 Abe, Jair Minoro; Silva Filho, João Inácio da. Fundamentos das redes neurais artificiais 
paraconsistentes: destacando aplicações em neurocomputação. São Paulo: Arte & 
Ciênciapágina=321.