Aplicaciones de lógica proposicional

Hoy en día nos preguntamos para que  sirven las proposiciones lógicas o la lógica en si. Pues existen  diferentes aplicaciones  y  ademas de ser bastante util en sistemas informaticos. Aquí unos cuantos ejemplos del porque debemos estudiarlo:

Problemas de clarificación mediante reglas:

Uno de los ejemplos mas sencillos es sobre las características especiales ya sean de objetos, animales, personas entre otras y por medio de la lógica proposicional sabremos quien es quien con respecto a las entradas dadas o series de reglas . Por ejemplo:


1-. Esta cosa piensa razonablemente
2-. Esta cosa tiene vida
3-. Esta cosa se mueve
4-. Esta cosa no tiene un tamaño mayor a los 2 mts de altura
5-. Esta cosa ladra
6-. Esta cosa tiene significante pelaje
7-. Esta cosa esta hecha de plástico
8-. Esta cosa hace ruido

Y con base de ciertas reglas o clasificadores como estos:

1-. Esta cosa hace ruido, no mide mas de 2 mts, tiene vida y se mueve. Entonces es humano o perro
2-. Esta cosa hace ruido, tiene tamaño inferior a dos mts no tiene vida. Entonces esto es un objeto
3-. Esta cosa tiene significante pelaje, y ladra. Entonces es perro
4-. Esta cosa piensa rasonablemente, Entonces es humano

Problemas de Búsquedas

Y a través de diferentes hechos, deducimos por medio de lógica proposicional, que si tal cosa es lo que es o descubrimos que es lo que nos mostraron o es en realidad.

Hecho1 : Hace ruido // Entonces es humano o perro u objeto
Hecho 2:  Se mueve //Entonces es humano o perro u objeto
Hecho 3 : Tiene vida: // Entonces es humano o perro pero no objeto
Hecho 3: Piensa Razonablemente  // Entonces es humano y no perro

Entonces esto es Humano


Referencia para esto: http://www.cs.us.es/~jalonso/cursos/li/temas/tema-14.pdf



Otra de las aplicaciones mas interesante es sobre algún reconocimiento de lenguaje natural humana, aunque esta tenga sus diferentes tipos de limitaciones.

En si es necesario la lógica proposicional para hacer esto, como se haria en si?'

Se necesitaría una serie de base de datos o series de reglas como en el ejemplo anterior, y dar restricciones con respecto a lo que se este hablando.

Reglas tipo:

1-. No repetir lo mismo
2-. No sonar tanto como psicológico (Esto quiere decir que en si el programa lógico haga preguntas como "Y usted como se siente con eso")

3-. Tipo de persona, ya sea genero, animo entre otras.

Hoy en día aun se sigue intentando hacer que un programa lógico trate lo mas razonablemente posible a utilizar un lenguaje mas normal que el formal.










Referencias:
http://www.cs.us.es/~jalonso/cursos/li/temas/tema-14.pdf
http://web.ing.puc.cl/~jabaier/iic2212/lp3.pdf
Imagenes:
http://engage.intel.com/servlet/JiveServlet/showImage/102-31450-2-106156/LOGICA1.JPG
http://www.robotikka.com/wp-content/uploads/2012/08/vidaartificial_clip_image002.jpg