Computational Logic by KTSnowy

Origem da logica da computação

keithtlsf — 2021-08-23 14:01:48 UTC

A lógica computacional é o uso da lógica para realizar ou raciocinar sobre a computação. Ela tem uma relação semelhante com a ciência da computação e a engenharia, assim como a lógica matemática com a matemática e a lógica filosófica com a filosofia. É sinônimo de "lógica na ciência da computação".

O termo “lógica computacional” ganhou destaque com a fundação da ACM Transactions on Computational Logic em 2000. No entanto, o termo foi introduzido muito antes, por J.A. Robinson em 1970. A expressão é usada no segundo parágrafo com uma nota de rodapé alegando que "lógica computacional" é "certamente uma frase melhor do que 'prova de teorema', para o ramo da inteligência artificial que trata de como fazer com que as máquinas façam deduções com eficiência".

A lógica computacional também passou a ser associada à programação lógica, porque muitos dos primeiros trabalhos em programação lógica no início dos anos 1970 também ocorreram no Departamento de Lógica Computacional em Edimburgo. Foi reutilizado no início dos anos 1990 para descrever o trabalho em extensões de programação lógica no Projeto de Pesquisa Básica da UE "Compulog" e na Rede de Excelência associada. Krzysztof Apt, que era o coordenador do Projeto de Pesquisa Básica Compulog-II, reutilizou e generalizou o termo quando fundou a ACM Transactions on Computational Logic em 2000 e se tornou seu primeiro Editor-Chefe.

John McCarthy

keithtlsf — 2021-08-23 14:08:48 UTC

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.

Turing Machines

keithtlsf — 2021-08-23 14:19:52 UTC

Turing Machines é um exemplo do uso da lógica computacional.

Uma Turing Machine é um modelo matemático de computação que define uma máquina abstrata que manipula símbolos em uma tira de fita adesiva de acordo com uma tabela de regras. Apesar da simplicidade do modelo, dado qualquer algoritmo computacional, uma Turing Machine capaz de simular a lógica desse algoritmo pode ser construída.