jabaier
commented
4 years ago Hola Raimundo,
Los modelos de un programa son los conjuntos minimales que cumplen las reglas de deducción. Tanto {q,r} como {p,q,r} cumplen con las reglas de deducción, pero el primero es subconjunto del segundo, por lo que el segundo no es minimal (y por lo tanto no es modelo). Distinto es cuando el programa es solo p ; q :- r r.
Acá {q,r} y {p,r} son modelos (minimales).
Jorge
raimundomartinez
Alguien me explica el siguiente código porfa:
p ; q :- r. q :- r. r.
Aquí la solución solo el es r,q pero según yo r,q,p también debería ser solución. Me acuerdo que en clases vimos este ejemplo, pero no me acuerdo de porque r,q,p no era una modelo válido. Agradecería mucho si alguien me lo explica.