Representación del conocimiento y automatización del razonamiento


Trabajo 1: 50 ejercicios de argumentación

El objetivo de este trabajo consiste en decidir la validez de las argumentaciones mediante OTTER/MACE; es decir, para cada argumentación

Concretamente, para cada ejercicio del trabajo 1, escribir un fichero de nombre ej-N.in (donde N es el número del ejercicio) según la plantilla.in. Por ejemplo, el fichero correspondiente al ejercicio 1 es ej-1.in y el correspondiente al ejercicio 2 es ej-2.in.
Universidad de Sevilla

Creative Commons License
Esta obra está bajo una licencia de Creative Commons.