Aplicación de la lógica predicativa

Aplicaciones para la lógica predicativa:

Existen diferentes tipos de aplicaciones para la lógica predicativa, desde  teoremas matemáticos hasta resoluciones de problemas de la vida diaria.

En esta ocasión se hablara sobre los sistemas expertos y la manera en que se relaciona con la lógica predicativa.

Que son los sistemas expertos? 

Son aquellos problemas o sistemas que exigen un gran conocimiento y preparación de un tema en especifico, estos sistemas  tratan de simular la manera en que un humano lo resolvería y para realizar esto se necesitan diferentes tipos de reglas y cierto conocimiento del tema.

Existen diferentes tipos de sistemas expertos como lo son :


Basados en reglas previamente establecidas.
Basados en casos o CBR (Case Based Reasoning).
Basados en redes bayesianas.

Para la solución de cada uno de estos problemas se puede realizar mediante

1-. Aplicando diferente ramas de la lógica
2-. Aplicando redes bayesianas basada en estadística y en el mismo teorema bayesiana
3-. Aplicando el razonamiento basado en casos similares al problema a resolver

En  este caso nos enfocaremos mas en sistemas expertos con reglas previamente establecidos, ya que por lo general se resuelven utilizando diferentes ramas de lógicas.

En la medicina:

Esta lógica predicativa es realmente útil en áreas como la medicina,  para identificar diferentes tipos de enfermedades, separar conjuntos de individuos si tienen alguna enfermedad. Parentescos o predicciones si el siguiente heredero es varón o mujer.

Mas aplicaciones

También en sistemas de aeropuertos para separar los diferentes tipos de vuelos y rutas

Usando reglas como:

Si es el único avión en esa ruta

Si todos los aviones están en esa ruta

No hay ningún avión en esa ruta

Entre más.

Limitaciones de cualquier problema para realizar alguna meta en particular

Como por ejemplo reparar algo:

No hay esa herramienta en la caja

Hay pocos materiales en la caja

Si hay persones para arreglar el problema

Entre mas

Para realizar censos de diferentes poblaciones:

Ejemplo tomado de aqui: http://www.driverop.com.ar/textosutiles/lpo


Por ejemplo: "Para todo ciudadano ruso, si ha nacido antes de 2001, debería estar en el censo de 2002" Podemos usar predicados y decir "Para todo x ciudadano ruso(x), si año de nacimiento(x) < 2001, está en el censo(x, 2002)".

1-. ciudadano ruso(x): sería un predicado que dependiendo de x nos da "cierto" si x es un ciudadano ruso, y falso si no lo es.
2-. año_de_nacimiento(x): seria una función que nos da el año de nacimiento de x.
3-. está_en_el_censo(x, y): sería una función que dependiendo de x y de y, nos dice si x está en el censo que se ha hecho el año y.

Y mas que nada para sistemas expertos que se requiera separar grupos de personas o cosas, o unir con sus iguales.

Enlaces importantes y cosas buenas para leer:
http://www.cs.otago.ac.nz/cosc343/Lectures/l10.pdf
http://www.angelfire.com/ia3/aisite/logica.htm
http://www.driverop.com.ar/textosutiles/lpo
http://es.wikipedia.org/wiki/Sistema_experto