Para esta entrada hablaré sobre una de estas aplicaciones, los motores de inferencias que son parte importante de los sistemas expertos.
Primero que nada, qué es una inferencia?
Una inferencia es una evaluación que tiene el papel de la mente entre expresiones bien formadas (EBF) de un lenguaje que se toman como abstracciones y permiten trazar una línea lógica de condición o implicación lógica entre las diferentes expresiones. Las inferencias son los procesos mediante los cuales obtenemos una conclusión a partir de unas premisas de forma que el razonamiento sea válido.
Qué es un motor de inferencias?
Un Motor de Inferencias es un programa de control cuya función es seleccionar las reglas posibles a satisfacer del problema, para realizar esto un motor de inferencias utiliza estrategias de control o estrategias heurísticas. Los motores de inferencia utilizan conocimientos para resolver un problema, esto lo realiza con datos que se encuentran en una base de hechos del sistema experto al que pertenecen. El tipo de reglas que forman parte de esta base de conocimientos es de la manera en que, si A es válido, puede deducirse B como conclusión
La idea general de un Motor de inferencias es: seleccionar, decidir, interpretar, activar y aplicar el conocimiento de la base de conocimientos sobre la base de hechos con el fin de obtener la solución buscada. Basicamente podemos decir que un sitema inferencial consiste en un grupo de reglas que nos permiten deducir unas conclusiones a partir de unas hipótesis.
Los hechos iniciales o datos de partida asi como también las conclusiones derivadas de ellos forman parte de los hechos o datos de que se dispone en un instante dado.
En varios tratados lógicos podemos encontrar que a la conclusión de se le da el nombre de consecuencia lógica de las premisas.
Algunas de las estrategias de control heurísticas utilizadas en los sistemas de inferencias son los siguientes:
- Orden de las reglas.
- Mayor credibilidad en las reglas.
- Menor número de cláusulas no instanciadas.
- Mayor número de conclusiones en las reglas.
Los motores de inferencia son parte importante de los sistemas expertos ya que son los que modelan el proceso de razonamiento humano.
Reglas de inferencia?
Estos motores o sistemas de inferencias utilizan reglas de inferencia para poder establecer una conclusión. Estas reglas son esquemas para construir inferencias válidas, los cuales establecen relaciones entre un conjunto de fórmulas llamados premisas y una afirmación a la que se conoce como conclusión.
Es en este punto donde este tema se relaciona la logica de predicados.
En la lógica de predicados la regla de inferencia más conocida es la Regla de Generalización universal.
Esta regla nos dice que si P(x) es verdadera cuando x se reemplaza por cualquier constante, digamos "a", del universo, entonces ∀x: P(x) es verdadero.
- x + 2 = 4 es un enunciado abierto mientras que
- ∀x R/x + 2 = 4 es una proposición verdadera.
Cuantificador Universal: se simboliza “∀” (se lee: para todo, toda, todos ó todas). El cuantificador universal indica que lo que se escribe a su derecha es verdadero para todo valor de la variable que lo acompaña. Por ejemplo:
- ∀x; p(x): para todo x; p(x)
- Sea p(x): x es una estudiante del 2do año
- x B, B = {Alex, Alfonso, Zandra, Christian}
Por lo tanto todos los elementos de B son estudiante del 2do año
Si anteponemos el cuantificador ∀ indica que en cada caso que x sea sustituido por uno de los nombres de B, entonces tiene que verificarse que sea un estudiante de 2do año, entonces la expresión ∀x; p(x) es verdadera.
Esta entrada queda al nivel teórico mientras esperaba algo más aplicado. Van 9 pts.
ReplyDelete