Lógica Computacional Y Su Aplicación.

Lógica computacional y su aplicación en otras ramas de la computación.

La Lógica Formal proporciona un medio para representar argumentos de una manera formal y rigurosa, estudia los fundamentos relacionados con su validez y los métodos para inferir

proposiciones a partir de otras consideradas válidas.

Por su parte, la Lógica Computacional es una disciplina que estudia la aplicación de la Lógica Formal para la representación computacional de argumentos, las técnicas de deducción automática o asistida por computadora, los fundamentos relacionados con validez y completez (completeness) de sistemas de proposiciones y, las aplicaciones de esas técnicas a las diferentes áreas de las Ciencias Computacionales en todas las etapas del desarrollo del software, es decir, especificación, diseño, construcción y verificación formal de programas.

La Lógica Computacional, sin embargo, no actúa de manera aislada. Para el establecimiento de fundamentos de las ciencias computacionales concurren conjuntamente con la Lógica

Computacional, disciplinas como Teoría de la Computación y Análisis de Algoritmos; para el

desarrollo de sistemas, la Lógica Computacional participa con la Ingeniería de Software para el establecimiento de Métodos Formales de Especificación y Verificación de Programas, los cuales pueden ser usados para el desarrollo de sistemas críticos y/o concurrentes. Por otra parte la Lógica Computacional en conjunción con otras disciplinas permite la resolución eficiente de problemas complejos, así por ejemplo Métodos de Optimización Combinatoria y de Lógica Computacional mezclados adecuadamente con métodos heurísticos de la Inteligencia Artificial ofrecen alternativas de solución a problemas computacionales muy difíciles que se les ha denominado NP completos.

...