Vinculación lógica

Definición

Relación semántica fundamental entre una Base de Conocimiento ($KB$) y una sentencia $f$ (o entre dos sentencias $\alpha$ y $\beta$), denotada como:

$$KB\models f$$

Significa que $f$ se sigue necesariamente de $KB$; es decir, en todo modelo o mundo posible donde $KB$ es verdadera, $f$ también debe ser obligatoriamente verdadera.

Formulación mediante conjuntos de modelos

La vinculación lógica equivale estrictamente a la inclusión de subconjuntos en el espacio de mundos posibles:

$$KB\models f⟺M(KB)\subseteq M(f)$$

flowchart LR
  subgraph Mf["M(f) - Mundos donde f es verdadera"]
    subgraph MKB["M(KB) - Mundos de la Base de Conocimiento"]
      w["Mundos compatibles con lo que sabe el agente"]
    end
  end

Distinción crítica: Implicación material ($\to$) vs. Vinculación lógica ($\models$)

• $\to$ (o $\Rightarrow$): Es un conector sintáctico dentro del lenguaje formal. Produce una nueva fórmula que puede ser verdadera o falsa según el modelo.
• $\models$: Es una relación metalógica semántica entre una teoría ($KB$) y una fórmula ($f$). No es un operador del lenguaje; es una afirmación sobre todos los modelos.
• Teorema de la deducción: Ambas nociones se conectan mediante la tautología: $$\alpha \models \beta ⟺(\alpha \Rightarrow \beta )\text{ es vaˊlida (tautologıˊa)}$$

Los tres posibles escenarios entre KB y una sentencia $f$

1. Vinculación ($KB\models f$): $M(KB)\subseteq M(f)$.
   • Respuesta a Ask[f]: “Sí”.
   • Respuesta a Tell[f]: “Ya lo sabía” (redundante).
2. Contradicción ($KB\models \neg f$): $M(KB)\cap M(f)=\varnothing$.
   • Respuesta a Ask[f]: “No”.
   • Respuesta a Tell[f]: “¡No lo creo!” (inconsistencia).
3. Contingencia: $\varnothing ⊊M(KB)\cap M(f)⊊M(KB)$.
   • Respuesta a Ask[f]: “No lo sé” (indecidible con la información actual).
   • Respuesta a Tell[f]: “Aprendí algo nuevo” (reduce $M(KB)$).

Teorema de refutación: Reducción a Satisfactibilidad

La vinculación lógica puede demostrarse mediante prueba por contradicción (reducción a absurdum):

$$KB\models f⟺KB\cup \{\neg f\}\text{ es insatisfactible }(M(KB\cup \{\neg f\})=\varnothing )$$

Este resultado es la piedra angular de los algoritmos modernos de inferencia (SAT solvers y resolución).

Ejemplo mínimo

Sea $KB=\{\text{Rain}\wedge \text{Snow}\}$.

• Consideremos la consulta $f=\text{Rain}$.
• En todo mundo donde llueve y nieva, evidentemente llueve. Por tanto, $M(\text{Rain}\wedge \text{Snow})\subseteq M(\text{Rain})$. Conclusión: $\text{Rain}\wedge \text{Snow}\models \text{Rain}$.
• En cambio, para $g=\neg \text{Snow}$, la intersección con $KB$ es vacía; por ende $KB$ contradice $g$.

Relaciones

• Es la meta de la inferencia en un: Agente basado en conocimiento.
• Se reduce a una prueba de: Satisfacibilidad proposicional.
• Se verifica sobre el espacio de: Modelos en lógica proposicional.

Procedencia

• Clase: Clase 9: Agentes lógicos.
• Fuente: Russell & Norvig, Artificial Intelligence: A Modern Approach (4.ª ed.), Capítulo 7.