ICon - Ingeniería del Conocimiento

Los ejercicios aquí hechos pertenecen a la asignatura de Ingeniería del Conocimiento de la Universidad de Valladolid. El repositorio se divide en tres partes: apuntes, ejercicios y ejemplos de Prolog y ejercicios y ejemplos de CLIPS

APUNTES

En la carpeta Apuntes se encuentran los resúmenes de las diapositivas de la asignatura ICon escritos con la intención de que cualquiera pueda comprender la asignatura (es posible que contengan fallos). También contiene (o se pretende que contenga) glosarios del lenguaje utilizado a la hora de tratar Lenguaje Proposicional y Lógica de Primer Orden. En el futuro se pretende que estos apuntes estén subidos en Latex para que cualquiera pueda modificarlos mediante un fork y mejorar las definiciones escritas o solucionar los errores cometidos.

PROLOG

En la carpeta prolog se encuentran los ejercicios dedicados al repaso de este lenguaje y a la creación con el mismo de metaintérpretes:

Repaso de PROLOG 1:

• Familia: hace preguntas sobre las lineas familiares

Repaso de PROLOG 2:

• Mi biblioteca: contiene unos pocos ejemplos de estructuras
• Casa Austria: contiene ejemplos de operadores
• Combinatorio: realiza una combinacion sin repeticion

Repaso de PROLOG 3:

• Listas: busca en listas los elementos indicados
• Bicicleta: descompone la parte de la bicicleta que indiques en elementos básicos

Repaso de PROLOG 4:

• 3 en Raya: devuelve la jugada capaz de ganar la partida o evitar que la gane el rival

Ejercicios de meta-intérprete y autómatas:

• Ejemplo propio de autómata: comprueba que una cadena tiene el doble de b's que de a's. Contiene además documentación de cada paso dado y de todas las funciones, junto con pequeños consejos para realizar estos ejercicios.
• Autómata con dos pilas: comprueba que una cadena tiene el mismo número de a's, b's y c's.
• Autómata con varias pilas: comprueba varios casos a la vez mediante 3 pilas.
• Ejemplo de un examen: comprueba que el número de letras 'b' (en el medio de la cadena) sea el mismo que la suma del resto de letras.
• Palíndromos: comprueba que una cadena de palabras forme un palíndromo.

CLIPS

En la carpeta clips se encuentran los ejercicios dedicados al autoaprendizaje en CLIPS y al manejo del formalismo Objeto-Atributo-Valor:

0: Ejemplos del profesor:

Carpeta con ejemplos muy simples de programas de CLIPS.

1: Introducción:

• Ejemplo básico: introduce el lenguaje y propone (en los comentarios) el primer ejercicio, que consiste en determinar el orden de disparo de las reglas creadas dependiendo de la estrategia de resolución de conflictos (se analizan solo las estrategias depth y breadth).
• Orden de disparo de reglas: utilizando unas reglas y hechos predefinidos en el enunciado, hay que comprobar en que orden se disparan las mismas reglas dependiendo de la estrategia de resolución (de manera similar al ejercicio 1 de Ejemplo básico.
• Coche: conociendo las causas que pueden provocar fallos en un coche, este programa razona qué está estropeado en el mismo.

2: Lenguaje Objeto-Atributo-Valor:

• Semántica univaluada: contiene la plantilla para atributos univaluados de objetos junto con la regla que permite garantizar su propiedad.
• SP Cardio: busca, mediante los conocimientos introducidos usando reglas, si uno de los dos pacientes representados en los hechos tiene una enfermedad cardiovascular. En la misma carpeta se encuentra tanto el enunciado del ejercicio como la documentación a realizar para el mismo.

3: Ampliación con Factores de Certeza:

• SP Cardio con fc: Ampliación del ejercicio SP Cardio, pero utilizando factores de certeza.

Por último...

Si te ha sido útil, por favor no dudes en marcar este repositorio con una estrella. Me ayudará a ver lo valioso que está siendo este repositorio y a seguir mejorándolo.