Y esta fué la última ...
Saludos para todos y suerte para los que les falta un poco...
Discusiones de Inteligencia Artificial, dictada en la Universidad Católica de Santiago del Estero, en la unidad académica de la ciudad de Rafaela.
validez()
que toma una oración como entrada y retorna uno de los tres resultados: válida, satisfactible, insatisfactible. Úsela para resolver el problema del ejercicio 6.12. Va a necesitar definir una representación de oraciones a nivel de implementación. La forma más limpia para lograr esto es definir un tipo de datos abstracto para las oraciones compuestas. Comience escribiendo una función evalua_verdad()
como una función recursiva que toma una oración y una asociación de valores de verdad con símbolos proposicionales, y retorna verdadero o falso. Luego invoque a evalua_verdad()
para todas las posibles asignaciones de valores de verdad a los símbolos proposicionales.evalua_verdad()
puede ser un mensaje que entienda el objeto oración.
12345678X
X
representa el espacio en blanco. Note que el orden de codificación no es por filas o por renglones.