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
- determinar la conceptualización,
- formalizarla con la sintaxis de OTTER,
- decidir la validez de la argumentación mostrando una prueba con
OTTER o un contraejemplo con MACE.
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.
Esta obra está bajo una
licencia de Creative Commons.