Origem: Wikipedia, a enciclopedia livre.
A
logica computacional
e o uso da
logica
para realizar ou raciocinar sobre a
computacao
. Ele tem uma relacao semelhante com a
ciencia da computacao
e a engenharia, assim como a
logica matematica
com a
matematica
e a
logica filosofica
com a
filosofia
. E sinonimo de "
logica na ciencia da computacao
".
O termo “logica computacional” ganhou destaque com a fundacao da ACM Transactions on Computational Logic em 2000.
[
1
]
No entanto, o termo foi introduzido muito antes, por
JA Robinson
em 1970.
[
2
]
A expressao e usada no segundo paragrafo com uma nota de rodape afirmando que "logica computacional" e
"certamente uma frase melhor do que 'prova de teorema', para o ramo da inteligencia artificial que trata de como fazer as maquinas fazerem deducoes com eficiencia"
.
Em 1972, a Unidade de Metamatematica da
Universidade de Edimburgo
foi renomeada para “O Departamento de Logica Computacional” na Escola de Inteligencia Artificial.
[
3
]
O termo foi entao usado por Robert S. Boyer e J Strother Moore, que trabalharam no Departamento no inicio dos anos 1970, para descrever seu trabalho sobre
verificacao de programa
e raciocinio automatizado. Eles tambem fundaram a Computational Logic Inc.
A logica computacional tambem passou a ser associada a
programacao logica
, porque muitos dos primeiros trabalhos em programacao logica no inicio dos anos 1970 tambem ocorreram no Departamento de Logica Computacional em Edimburgo. Foi reutilizado no inicio dos anos 1990 para descrever o trabalho em extensoes de programacao logica no Projeto de Pesquisa Basica da UE "Compulog" e na Rede de Excelencia associada. Krzysztof Apt, que era o coordenador do Projeto de Pesquisa Basica Compulog-II, reutilizou e generalizou o termo quando fundou a ACM Transactions on Computational Logic em 2000 e se tornou seu primeiro Editor-Chefe.
Referencias
