Closed dtgazmuri closed 3 years ago
Hola! Como vimos en clases, la disyunción como se ejemplifica en el problema puede generar más de un modelo, por lo que tu algoritmo efectivamente debería construirlos y retornarlos todos. Piensa en cómo podrías editar el que ya conoces para que funcione para ambos tipos de reglas y/o programas (con y sin disyunción). Te recomiendo también ver la grabación de esta clase, los ejemplos te van a servir mucho para saber cómo empezar. 😄
Saludos!
Perfecto, gracias!
Hola! Para nuestra algoritmo que entregue los modelos de una disyunción, podemos usar negación?
Saludos!
Humberto, no entiendo bien tu pregunta. Para esta pregunta estamos suponiendo que el programa no tiene negación. ¿Podrías aclarar, por favor? Jorge
Quería saber si podía usar negación en mi algoritmo solución, específicamente desglozar una regla con disyunción de dos átomos en dos reglas sin disyunción, pero con negación en el body.
No creo que eso simplifique las cosas. Lo mejor es que pienses que el problema tiene que tomar decisiones 'binarias'. Eso es, creo, la forma más directa de pensarlo.
Hola
¿El algoritmo que debemos proponer debe retornar todos los modelos posibles o con uno basta?
Gracias de antemano