La lógica computacional es el uso de la lógica para realizar cálculos o razonar sobre ellos . Tiene una relación similar con la informática y la ingeniería, así como la lógica matemática con las matemáticas y la lógica filosófica con la filosofía . Es un término alternativo para " lógica en informática ".
La lógica computacional también se ha asociado con la programación lógica , porque gran parte del trabajo inicial en programación lógica a principios de la década de 1970 también tuvo lugar en el Departamento de Lógica Computacional de Edimburgo. Se reutilizó a principios de la década de 1990 para describir el trabajo sobre extensiones de la programación lógica en el Proyecto de Investigación Básica de la UE "Compulog" y en la Red de Excelencia asociada. Krzysztof Apt , que fue el coordinador del Proyecto de Investigación Básica Compulog-II, reutilizó y generalizó el término cuando fundó ACM Transactions on Computational Logic en 2000 y se convirtió en su primer Editor en Jefe.
El término "lógica computacional" ganó prominencia con la fundación de las ACM Transactions on Computational Logic en 2000. [1] Sin embargo, el término fue introducido mucho antes, por JA Robinson en 1970. [2] La expresión se utiliza en el segundo párrafo con una nota al pie que afirma que "lógica computacional" es "seguramente una frase mejor que 'demostración de teoremas', para la rama de la inteligencia artificial que trata de cómo hacer que las máquinas realicen deducciones de manera eficiente" .
En 1972, la Unidad de Metamatemáticas de la Universidad de Edimburgo pasó a llamarse «Departamento de Lógica Computacional» en la Escuela de Inteligencia Artificial. [3] El término fue utilizado entonces por Robert S. Boyer y J Strother Moore , que trabajaron en el Departamento a principios de los años 1970, para describir su trabajo sobre verificación de programas y razonamiento automatizado . También fundaron Computational Logic Inc.