Ingeniería de los Sistemas Basados en el Conocimiento

Información sobre la asignatura de ISBC en el CPS.

 

Temario | Material Docente | Practicas | Bibliografía | Sistema de Evaluación | Noticias | Enlaces

Programa de la Asignatura 18129 INGENIERIA DE LOS SISTEMAS BASADOS EN EL CONOCIMIENTO 
Universidad de Zaragoza
Titulación: Ingeniería Informatica. Optativa 2º ciclo
Horas anuales: Créditos: (4 Teóricos, 2 Practicos) -Cuatrimestre Otoño
Profesores:   José Angel Banares 
 

Atención: La asignatura se imparte en el cuatrimestre de Otoño

Objetivos

Este curso cubre los fundamentos teóricos de los sistemas basados en el conocimiento (SBC) como una rama de la inteligencia artificial, así como los aspectos practicos del desarrollo de SBC.  Se persiguen tres objetivos:
  1. Que el  estudiante comprenda  la naturaleza,  limitaciones, y aplicaciones viables de los sistemas basados en el conocimiento;
  2. que el estudiante utilice, de manera efectiva, entornos de desarrollo de sistemas basados en el conocimiento; y
  3.  que el estudiante sea capaz de  construir  sus propios sistemas de razonamiento, dando una visión mas practica y de  implementación de la Inteligencia Artificial y la  Ingeniería del Conocimiento .

Temas

    0.- Presentación de la asignatura. 20 de Septiembre de 2010.

    Parte I: Introducción a los Sistemas Basados en el Conocimiento

    1.- Sistemas basados en el conocimiento. 20 de Septiembre de 2010.

    Introducción. Funcionalidad. Estructura. Sistemas Expertos. Desarrollo de sistemas basados en el Conocimiento: Niveles para describir sistemas basados en el conocimiento, Clasificación de tareas, Técnicas de resolución de problemas

    Parte II: Modelos Básicos de Representación del conocimiento

    2.- Introducción a los Sistemas Basados en Reglas. 21 y 27 de Septiembre de 2010

    Introducción. Sistemas de producción/lenguajes basados en reglas. Arquitectura  de los lenguajes basados en reglas. Memoria de trabajo y producción. Proceso de reconocimiento: Red de Inferencia, sistemas de reconocimiento de patrones. El proceso de razonamiento: Encadenamiento progresivo y regresivo. Estrategias de control. Ventajas y desventajas de los lenguajes basados en reglas.

    3.- Eficiencia en sistemas de reconocimiento de patrones. 28 de octubre de 2010

    Proceso de reconocimiento de patrones. Algoritmo de RETE. Algoritmo de TREAT. Como escribir programas eficientes: El orden de los patrones en las premisas, multislots, test y funciones en las premisas, Técnicas de programación para mejorar la eficiencia

    4.- Aspectos metodológicos en la programación de lenguajes basados en reglas. 4 de octubre de 2009

    Definición del problema, Análisis de requisitos. Identificación de objetos y atributos. Identificación de acciones.  Elección de la estrategia de resolución. Entradas y salidas. Diseño de las reglas.

    5.- Organización y control de programas basados en reglas . 5 de octubre de 2010

    ¿Cómo y dónde representar el conocimiento?. Desarrollo de sistemas de producción: Desarrollo por elaboración, refinamiento y generalización. Introducción al control en lenguajes tipo OPS5. Diseño modular y técnicas de control en CLIPS.
    Ejemplo de uso de modulos: Implementación de la estrategia MEA (Razonamiento dirigido por objetivos) con módulos:

    6.- Ejemplos de resolución de problemas con sistemas de producción. 14 de octubre de 2009

    Árboles de decisión. Emulación de encadenamiento regresivo. Sistemas de Monitorización. Problemas de espacios de estados.

    7.- Representación estructurada del conocimiento con sistemas de objetos: CLOS. No se imparte en 2010.

    Introducción. Elementos CLOS: Clases e instancias, funciones  genéricas y métodos.  Programación con métodos: Combinación de métodos, multi-métodos. Herencia:  Lista de precedencia de clases, herencia de slots y opciones de slots. Implementación de demonios. Control del selector de métodos: Técnicas imperativas y declarativas. Ejemplos de programación CLOS.

    8.- Integración de distintos esquemas de representación: CLIPS, JESS, LISA. 18, 19 y 25 de octubre de 2010

    Selección del esquema de representación para representar el conocimiento. Acciones procedimentales y Funciones en CLIPS.  Programación orientada a objeto en CLIPS: Objetos CLIPS, Facets, Definición de métodos, Definición de funciones genéricas. Recuperación y acciónes sobre grupos de instancias. Ejemplos de programación en CLIPS.

    9.- Aplicación de los LBR al PLN. 16 y 17 de noviembre de 2010

    Gramáticas Semánticas. Dypar: Intérprete de lenguaje natural basado en reglas Escribiendo una gramática semántica en Dypar. Otros ejemplos: ALICE.

    Parte III:  Modelos para representación del razonamiento complejo

    10.- Conocimientos estratégicos y de control. 26 de octubre 2010.

    Representación de los conocimientos de control: Tipos de control. Control de alto nivel. Arquitectura de Pizarra:  Concepto de pizarras, organización de la información, análisis, diseño e implementación de una arquitectura  de pizarra. Arquitecturas Cooperativas: Objetivo y componentes de arquitecturas  multiagentes.

    11.-Agentes y Sistemas Multiagentes. Agentes y SMA 26 de octubre, 2 de noviembre de 2010.

    Definición Agente software y Sistemas Multi-agente. Características de los agentes (Autonomía, Inteligencia, Sistemas multiagentes/Arquitecturas cooperativa, Habilidades sociales, Movilidad. Clases/Categorías de agentes. Ejemplos. Agentes como componentes sotfware vs Objetos/SE. Comunicación entre agentes. Lenguajes de Comunicación (KIF, KQML, Speech-Acts). Protocolos FIPA (Foundation for Intelligent Physical Agents ). JADE.

    12.-La Web Semántica. Web 3.0. 9 de noviembre de 2010.

    Representación del conocimiento en la Web. Representación estructurada y declarativa:RDF, SPARQL (AllegroGraph RDFStore, JENA), RULEML. Lenguajes de Ontologías para la Web: OWL, OWL-S, WSMO. Herramientas: Protégé. Agentes en la Web: Arquitectura de la Web Semántica.

    13.- Razonamiento simbólico bajo incertidumbre. Sistemas de mantenimiento del razonamiento (TMS) 29 de noviembre de 2010.

    Introducción al razonamiento no monótono. Ampliación del resolutor de problemas. TMS en justificaciones (JTMS). TMS basado en la lógica (LTMS). TMS basado en suposiciones (ATMS). Herramientas en CLIPS para establecer dependencias entre hechos.

    14.- Razonamiento bajo incertidumbre. Razonamiento estadístico

    Introducción. La probabilidad y el teorema de Bayes. Introducción a los sistemas expertos basados en la probabilidad: La base de conocimiento, el motor de inferencia, el control de la coherencia. Introducción de la incertidumbre en los sistemas basados en reglas: Factores de certeza (FC), MYCIN. Incorporación de FC en CLIPS.

    Parte IV:  Construcción de Sistemas de razonamiento

    15.- Implementación de sistemas de inferencia dirigidos por patrones

    Implementación de algoritmos de correspondencia de patrones y de unificiación. Implementación de un sistema de encadenamiento progresivo con variables. Implementación de un sistema de encadenamiento regresivo con variables. Implementación de un sistema con mecanismo de contextos para manejo de suposiciones.

    16.- Implementación de resolutores de problemas con TMS

    Diseño e Implementación de un TMS  basado en justificaciones (JTMS). Integración de un JTMS con un motor de inferencia. Ejemplo de aplicación: Búsqueda  dirigida por dependencias. Reconstrucción de SAINT (resolución de  integrales indefinidas).
     

Principio de la página

Material Docente

Las transparencias correspondientes a todos los temas del curso puedes obtenerlos a partir del enlace que indica la fecha de su impartición. Material de uso exclusivo para alumnos matriculados.

Artículos/Enclaces de interes

Principio de la página

Programa de prácticas de laboratorio. Curso 2009-2010

Guión Prácticas 2010-2011

Principio de la página

Bibliografía Básica

  1. L. BROWSTON, F. FARRELL, E. KANT AND N. MARTIN: Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Adisson-Wesley, 1985,
  2. K. D. FORBUS AND J. DE KLEER:  Building Problem Solvers. The MIT Press. 1993. El código de este libro está dispobible en http://www.qrg.ils.nwu.edu/BPS/readme.html
  3.  J. GIARRATANO AND G. RILEY: Expert Systems. Principles and Programming. Second Edition. PWS Publishing Company, 1994.
  4. A. GÓMEZ, N. JURISTO, C. MONTES Y  J. PAZOS: Ingeniería del Conocimiento. Editorial Centro de Estudios Ramón Areces, S.A., 1997,
  5. A.J.  GONZALEZ AND D.D.  DANKELL:  Engineering of knowledge-based systems. Prentice Hall, 1993.
  6. E. CASTILLO, J.M.GUTIÉRREZ Y A.S. HADI. Sistemas Expertos y Modelos de Redes Probabilísticas. Monografías de la Academia de Ingeniería, 1997.
  7.  S. E. KEENE: Object-Oriented Programming in Common Lisp. A Programmer's Guide to CLOS, Adisson-Wesley, 1989.
  8. P.H.WINSTON, B.K.H. HORN: Lisp, Tercera Edición. Addison Wesley. 1989,
Se facilitarán copias de las transparencias utilizadas para impartir la asignatura y artículos relacionados
 
 

Principio de la página

Sistema de Evaluacion

  • Trabajo de la asignatura y control de prácticas.
    • Fechas de presentación trabajos curso 2000/2001: 13, 14, 20 y 21 de Enero del 2000 a las 10.
    • La nota aparecerá en la convocatoria en la que estén entregadas las prácticas y realizado el trabajo. La práctica 5 es voluntaria, pero su realización se tendrá en cuenta para la nota.
  • Trabajos realizados durante los cursos anteriores 98/99, 99/00, 00/01 y 01/02.

    •  Se irá completando las páginas con información de todos los trabajos. Algunos de ellos son interesantes al margen de la asignatura como ejemplos de programación en Java, Lisp, CLIPS o JESS.
    • Trabajos sobre agentes
      • Juega en el Web con Mars Attack, el retorno:
        • Juegos y algoritmos genéticos (implementado en Java).
                Raúl Cámaras 1999/2000
      • Ki: Una arquitectura de agentes en Java.

        • Laura Sanchez y Raquel Cortés 1998/1999
      • Jess: Java Expert System Shell

        • Ana Rodriguez 1998/1999
      • Aglets: (Arquitectura de Agentes Java de IBM)

        • Victor de la Concepción y Francisco Vicente 1998/1999 
      • Recuperación de Información

        • Javier Belmonte   1999/2000
      • Recuperación de información en Internet basada en agentes

        • Rodolfo Rioja y Nati Porta 1998/2000
    • Trabajos en CLIPS/JESS
      •           David Portoles  2001/2002
      •  Control de ascensores en JESS
                Daniel Urieta  1999/00
      • Configuración de horarios en CLIPS

        • María Navas  1998/1999
      • Programación con restricciones en CLIPS

        • Jonás Ansó  1998/1999
    • Trabajos sobre búsquedas y representación del conocimiento
      • IERL2.1. IAAA Experimental Representation Language. Lenguaje de Frames y Reglas implementado en Lisp. Plantea mejoras como la gestión de la agenda, tratar en los patrones listas y ligar hechos a variables. Manual de Usuario, Fuentes y documentacion y Presentación.

        • José Ignacio Aguillo Mendi 2001/2002
      • Una jerarquía de estrategias de búsqueda en CLOS
                 Jorge Estrada, Antonio Santolaria y Julio Molinero 1999/2000
      • Una aproximación funcional a los algoritmos de búsqueda

        • Alberto Esteban 1998/1999
      • Ajedrez (Integración de Reglas y Minimax)

        • Pedro Jesús Jimeno 1998/1999
      • Juego de Ajedrez implementado en Java

        • Enrique Berlanga Riesco y Maribel Mena Tobar 2000/2001.
    • Trabajos relacionados con proyectos del IAAA
      • Ajuste a ejes de calles de posiciones GPS (CORBA y CLOS)

        • Miguel Angel Latre  1998/1999
    • Trabajos de procesamiento de lenguaje natural
      • Interfaz en Lenguaje Natural al mundo de Bloques. Utiliza NLBEAN, Java y Jess.
        • Borja Buera Rodríguez y Mapi Torres Bruna 2000/2001
      • NLBean (Aplicación Java de acceso a una base de datos en español )
               Elsa García   1999/2000
      • Inteface en lenguaje natural (Aplicación Lisp de acceso a una base de datos )
               Laura García, Nuria Ripoll y Virginia Remiro  1999/2000

Principio de la página

 

Noticias/Anuncios

Principio de la página

Tutorias
  • Lunes y Miercoles de 9 a 11 y Jueves de 12 a 14.
  • banares@posta.unizar.es

Principio de la página

Enlaces de Interés

Otras Asignaturas relacionadas en el CPS:

Otras Asignaturas relacionadas en Otras Universidades:

Utilidades, recursos, etc.:

Principio de la página

 

Web Master: José Angel Bañares Bañares
URL: http://iaaa.cps.unizar.es/docencia/ISBC.htm
Última actualización: 1 de octubre de 2008
Servidor del Laboratorio IAAA (Sistemas de Información Avanzads)