Descargar la presentación
La descarga está en progreso. Por favor, espere
1
Inferencia en Lógica de Primer Orden
2
Reglas de inferencia con cuantificadores
Para manejar sentencias de lógica de primer orden con cuantificadores se usan las reglas de inferencia Modus Ponens, Y-eliminación, Y-introducción, O-introducción, Resolución y reglas adicionales: Eliminación Universal: Para cualquier sentencia , variable v, y término base g: v Sust({v/g}, )
3
Reglas de inferencia con cuantificadores
Eliminación Existencial: Para cualquier sentencia , variable v, y símbolo constante k que no aparece en ningún otro lugar en la base de conocimientos: v Sust({v/k}, ) Introducción Existencial: Para cualquier sentencia , variable v que no aparezca en , y término base g que aparezca en : v Sust({g/v}, )
4
Modus Ponens generalizado
Para sentencias atómicas pi , pi’ y q, donde hay una sus-titución tal que Sust(, pi’)=Sust(, pi), para todo i: p1’ , p2’ , ... pn’ , (p1 p2 ... pn q) Sust(, q)
5
Arbol de prueba para inferir que West es criminal
6
Arbol de prueba para inferir que West es criminal que falla: no puede inferirse nada
7
Regla de inferencia resolución
Resolución generalizada (disyunciones): Para literales pi y qi , donde Unifica(pj , ¬qk )=; p1 ...pj ... pm , q1 ...qk ... qn , ————————— Sust(,(p1...pj-1 pj+1 ...pmq1...qk-1qk qn)) Resolución generalizada (equivalente en término de implicaciones)
8
Prueba de que S(A) se desprende de KB usando resolución
9
Prueba de que S(A) se desprende de KB usando resolución con refutación
10
Prueba de que Curiosidad mató al Gato
11
FIN
Presentaciones similares
© 2024 SlidePlayer.es Inc.
All rights reserved.