Bastante complicado (por no decir que se fueron al carajo). Dieron una hora que se estiró porque la mayoría estaba lejos de terminar cuando faltaban 10 minutos.
El final se dividía en 3 partes y había que tener el 60% bien de cada una. Si en una no llegabas te hacían entrar después para resolver un ejercicio extra de ese tema. El 60% (a grosso modo) terminó entrando después de haber rendido para hacer un ejercicio extra y arañar (o no) un 4.

Teoría

1. (No es textual, pero era algo por el estilo) En un dominio determinado, el objetivo de un SE es:
   • emular el trabajo que realiza un experto.
   • emular el trabajo que realiza un experto para resolver las tareas.
   • emular parcialmente el trabajo que realiza un experto para resolver las tareas.
   • emular el trabajo que realiza un experto para resolver una tarea en particular.
2. La IA como ciencia tiene como objetivo:
   • estudiar la inteligencia humana.
   • construir máquinas inteligentes.
   • otras frutas.
3. (No es textual) Un SE puede trabajar con conocimientos
   • imprecisos.
   • simbólicos.
   • incompletos.
   • todas las anteriores.
4. (No me la puedo acordar)
5. El método de búsqueda Primero mejor
   • puede no encontrar solución.
   • finaliza siempre al encontrar una solución.
   • finaliza siempre al encontrar la mejor solución.
   • todas las anteriores.
6. En un SET, el método de búsqueda se encuentra definido en
   • BC.
   • BD.
   • MI.
   • MT.
7. (No es textual) El método de Herbrand
   • busca un módelo sintáctico que explique un conjunto de fórmulas.
   • convierte un conjunto de fórmulas en lógica de primer orden a lógica proposicional.
   • permite demostrar una tesis.
   • todas las anteriores.
8. Para poder utilizar el método de Herbrand, las fórmulas deben estar en
   • forma Prenex.
   • forma Skolem.
   • forma normal.
   • todas las anteriores.
9. Definir, para cada situación, que solución sería la más adecuada.
   • Situación
     • Clasificación sin conocimiento previo del criterio.
     • Clasificación con conocimiento previo del criterio.
     • Encontrar un estado solución sin poseer heurísticas del problema.
     • Encontrar un estado solución teniendo heurísticas del problema definidas.
   • Solución
     • RNA de aprendizaje competitivo/cooperativo.
     • Algoritmo genético.
     • RNA heteroasociativa.
     • Método de búsqueda.
10. Definir, para cada técnica de adquisición de conocimientos, cuándo o para qué la utilizaría.
    • Técnica
      • Emparrillado.
      • Análisis de protocolos.
      • Cuestionario cerrado.
      • Entrevista abierta.
    • Necesidad
      • Primeras sesiones en Identificación de la Tarea.
      • Obtener el mapa mental del experto.
      • Validar conocimientos adquiridos.
      • Educir el proceso de razonamiento del experto.

Análisis de protocolos

A partir de una transcripción segmentada que te daban (reconocimiento del tipo de fósil),

• Completar la tabla de conceptos, características y valores que ya venía semicompletada.
• Enumerar los operadores.
• Definir las relaciones implícitas para 4 conceptos en particular (metacarpo, animal, garra y megafósil). En caso de no tener ninguna relación implícita, justificar por qué.
• Identificar sinónimos, metacomentarios e incertidumbres.
• Definir las reglas en pseudocódigo.

El ejercicio extra que le tocó a un compañero fue hacer Identificación de la búsqueda.

Lógica

• Dadas cuatro hipótesis y una tesis,
  • Elegir de entre varias opciones la quinta hipotesis necesaria para poder demostrar la tesis.
  • Anulando la cuarta hipótesis, elegir de entre varias opciones la única tesis factible.
  Era molesto por la cantidad de hipótesis y un término de la forma (A o B) y C que podía prestar a la confusión si se intentaba distribuirlo en lugar de separarlo.
• Dada la frase "Los juegos olímpicos son eventos en los cuales participan atletas de diversos países", elegir la fórmula en lógica natural que la representa. Todas las opciones tenían un error en el orden de unas variables que había que ignorar (Part(x,y) cuando debería ser Part(y,x) siendo Part(x,y) = x participa en y).
  Las dos opciones que no se descartaban enseguida eran
  \[\forall x\exists y\forall z(J(x) \wedge O(x)\Rightarrow E(x)\wedge Part(x,y)\wedge Atle(y)\wedge Pert(y,z) \wedge Pais(z))\]
  \[\forall x\exists y\forall z(J(x) \wedge O(x)\Rightarrow E(x)\wedge Part(x,y)\wedge Atle(y)\Rightarrow Pert(y,z) \wedge Pais(z))\]
• Dadas las siguientes fórmulas (el - es negación):
  \[Fórmula1=\forall xT(x)\Rightarrow (A(x,y)\wedge \exists yR(y))\]
  \[Fórmula2=(\forall tN(t)\wedge \exists jH(j)\wedge -(\exists zL(z)))\Rightarrow (\exists kH(k)\vee \forall gR(g))\]
  
  • El resultado de pasar a forma Prenex la fórmula \[Fórmula 1\Rightarrow Fórmula2\] es (eran cuatro opciones, pongo la que era):
    \[\forall x\forall y\exists t\forall j\exists z\exists k\forall g((T(x)\Rightarrow (A(x,y)\wedge R(y)))\Rightarrow ((N(t)\wedge H(j)\wedge -L(z))\Rightarrow (H(k)\vee R(g))))\]
  • El resultado de pasar a forma Prenex y después Skolem \[Fórmula 2\] es (eran cuatro opciones, pongo la que era):
    \[(N(a)\wedge H(j)\wedge -L(f(j)))\Rightarrow (H(q(j))\vee R(g))\]
    

El ejercicio extra que le tocó a un compañero fue demostrar una tesis a partir de un conjunto de hipótesis usando deducción natural.

Saludos

Gracias!
La proxima fecha voy yo, espero que sea de utilidad esto!

Hola!

Viendo lo que hiciste de deducción automática me surge una duda, en el primero de los dos ejercicios de DA, los cuantificadores no serían:

ParaTodo X Existe Y .... (El resto lo tengo igual)

Es una pequeña duda, para saber si se te transpapelo a vos o estoy errandole yo!

Saludos!