Inferencia:
En inteligencia artificial, necesitamos computadoras inteligentes que puedan crear nueva lógica a partir de lógica antigua o mediante evidencia. por lo que generar conclusiones a partir de evidencia y hechos se denomina inferencia. .
Reglas de inferencia:
Las reglas de inferencia son las plantillas para generar argumentos válidos. Las reglas de inferencia se aplican para derivar pruebas en inteligencia artificial, y la prueba es una secuencia de conclusiones que conducen al objetivo deseado.
En las reglas de inferencia, la implicación entre todos los conectivos juega un papel importante. A continuación se presentan algunas terminologías relacionadas con las reglas de inferencia:
edad de vicky kaushal
A partir del término anterior, algunas de las afirmaciones compuestas son equivalentes entre sí, lo que podemos demostrar utilizando la tabla de verdad:
Por lo tanto, a partir de la tabla de verdad anterior, podemos demostrar que P → Q es equivalente a ¬ Q → ¬ P, y Q→ P es equivalente a ¬ P → ¬ Q.
Tipos de reglas de inferencia:
1. Modo de configuración:
La regla del Modus Ponens es una de las reglas de inferencia más importantes y establece que si P y P → Q son verdaderos, entonces podemos inferir que Q será verdadero. Se puede representar como:
Ejemplo:
Declaración 1: 'Si tengo sueño, me voy a la cama' ==> P→ Q
Declaración-2: 'Tengo sueño' ==> P
Conclusión: 'Me voy a la cama'. ==> P.
Por tanto, podemos decir que, si P → Q es verdadero y P es verdadero, entonces Q será verdadero.
Tabla de prueba por verdad:
2. Método de eliminación:
La regla del Modus Tollens establece que si P→ Q es verdadero y ¬ Q es verdadera, entonces ¬ P también será cierto. Se puede representar como:
Declaración-1: 'Si tengo sueño entonces me voy a la cama' ==> P→ Q
Declaración-2: 'No voy a la cama.'==> ~Q
Declaración-3: Lo que infiere que' No tengo sueño ' => ~P
Tabla de prueba por verdad:
3. Silogismo hipotético:
La regla del silogismo hipotético establece que si P→R es verdadero siempre que P→Q sea verdadero, y Q→R sea verdadero. Se puede representar con la siguiente notación:
Ejemplo:
Declaración-1: Si tienes la llave de mi casa, puedes desbloquearla. P→Q
Declaración-2: Si puedes desbloquear mi casa, entonces podrás tomar mi dinero. Q→R
Conclusión: Si tienes la llave de mi casa, puedes quedarte con mi dinero. P→R
Prueba por tabla de verdad:
4. Silogismo disyuntivo:
La regla del silogismo disyuntivo establece que si P∨Q es verdadero y ¬P es verdadero, entonces Q será verdadero. Se puede representar como:
Ejemplo:
ordenar en la lista en java
Declaración-1: Hoy es domingo o lunes. ==>P∨Q
Declaración-2: Hoy no es domingo. ==> ¬P
Conclusión: Hoy es lunes. ==> Q
Prueba por tabla de verdad:
5. Adición:
La regla de la suma es una de las reglas de inferencia más comunes y establece que si P es verdadero, entonces P∨Q será verdadero.
Ejemplo:
Declaración: Tengo un helado de vainilla. ==> P
Declaración-2: Tengo helado de chocolate.
Conclusión: Tengo helado de vainilla o chocolate. ==> (P∨Q)
Prueba mediante tabla de verdad:
6. Simplificación:
La regla de simplificación establece que si P∧Q es cierto, entonces Q o P también será cierto. Se puede representar como:
Prueba mediante tabla de verdad:
7. Resolución:
La regla de resolución establece que si P∨Q y ¬ P∧R son verdaderos, entonces Q∨R también lo será. Se puede representar como
Prueba mediante tabla de verdad:
