Aplicaciones de la lógica Proposicional


Entre las aplicaciones que podemos encontrar de la lógica proposicional se encuentran las relacionadas con:

• Inteligencia Artificial:Representación de conocimiento, razonamiento con sentido común.
• Bases de Datos: Lenguajes de consulta, lenguajes para restricciones de integridad.
• Ingeniería de Software: Espeiento con sentido común:
• Teoría de la Computación: complejidad descriptiva, algoritmos de aproximación.
• Criptografía: verificación de protocolos criptográficos.
• Procesamiento de Lenguaje Natural

Comenzaremos por definir algunas de las aplicaciones relacionadas con lo anterior descrito y otras que no se mencionaron:

-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. 
Inteligencia Artificial 
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.

Representación de conocimiento:

La ingeniería cognoscitiva ha adaptado diversos sistemas de representación del conocimiento que se aproximan a los elaborados por la psicología cognoscitiva para el cerebro humano. Aquí es donde juega parte de esto la lógica proposicional.

-La lógica proposicional se aplica en el lenguaje al momento de realizar la representación del conocimiento.

Razonamiento con sentido común:

Lo que nos hace diferente de otros seres humanos es que nosotros razonamos acerca de lo que sucede diariamente. El sentido común es la creencia que tenemos nosotros como peronas, en relación a lo que consideramos mas prudente o razonable sobre algún tema,, auqnue no tengamos algún sustento.

El Razonamiento de Sentido Común en la IA tiene como objetivo establecer soluciones para simulación de formas de razonamiento que realizamos nosotros de forma natural en la solución de problemas en escenarios dle mundo real y que han resultado dificiles de abordar con técnicas que se basan en enfoques matemáticos.

La resolución para cláusulas de Horn que resulta de la evolución de los sitemas de Base de Datos y los lenguajes de programación lógica como Prolog y sus extensiones a la programación lógica y con restricciones y la programación lógico-funcional.

-.-.-.-.-.-.-.-.-.-.-.-.
Base de Datos:
-.-.-.-.-.-.-.-.-.-.-.-.

Los lenguaje de consulta como su nombre lo indica son lenguajes con los cuales el usuario puede consultar información de una base de datos.

Las consultas se representan como fórmulas de lógica proposicional.

La operación select se define:

donde p es una fórmula en cálculo proposicional que consta de términos conectados por: ∧ (and), ∨ (or), ¬ (not) y cada término sigue la expresión:

<attribute> op {<attribute> | <constant>}

donde op es: =, ≠, >, ≥, <, ≤



-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
Lenguajes de Programación
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.

Como ya la mayoría de nosotros sabemos que Prolog es un lenguaje de Programación lógico e interpretado.

La lógica proposicional tiene una gran aplicación en lo que es el lenguaje Prolog.

Sintaxis de la lógica proposicional en Prolog:

Declaración de operadores:

:-op(610,fy,-). % negación
:-op(620,xfy,&). % conjunción
:-op(630,xfy,v). % disyunción
:-op(640,xfy,=>).%condicional
:-op(650,xfy,<=>).% equivalencia

-Las técnicas de reescritura , la aplicación de reglas lógicas que son la base de la programación funcional como por ejemplo LISP, ML, de diversas aplicaciones en inteligencia artificial como son los sistemas expertos y la bases de conocimiento, de ciertos sistemas de álgebra por ordenador.

-.-.-.-.-.-.-.-.-.
Criptografía
-.-.-.-.-.-.-.-.-.

En la criptografía se utiliza para la verificación de protocolos criptográficos los cuales se usan cuando se requiere privacidad, autentificación como por ejemplo la firma electronica.

Aparte de lo anterior mencionado también se aplica para la síntesis y verificación de circuitos y sistemas entre los que se encuentran los reactivos, asíncronos, ocurrentes y distribuidos, al igual que nos sirve para resolver problemas de la vida real como horarios, rutas de transporte y la planificación

de obras.

Referencias:

Link1
Link2
Link3
Link4
Link5
Link6
Link7
img1
img2
img3|
img4