• Descripción

La asignatura trata el tema de la Representación de Conocimiento y Razonamiento en sistemas inteligentes. Pone el foco en representar conocimiento con lenguajes de lógica formal que permiten hacer inferencias creando elementos nuevos de conocimiento. El curso pretende cualificar al alumnado para conocer la base lógica y computacional de esta área amplia relacionada con la lógica y la inteligencia artificial.

• Objetivos y competencias

Los dos objetivos principales son:

• Introducir a los estudiantes en el campo de Representación de Conocimiento y Razonamiento (RCC), ofreciendo aprendizaje teórico y práctico. En particular, durante el curso el alumnado tendrá que entender los sistemas básicos RCC y  leer contenido científico de una manera crítica.

• Desarrollar habilidades de modelización formal.  En particular, durante el curso el alumnado tendrá que desarrolalr capacidades de modelización y habilidades de razonamiento formales.

Los objetivos de curso se derivan de los objetivos principales y están diseñados para ser evaluables:

• Entender el paradigma principal de representación de conocimiento, sus conceptos y métodos de inferencia.
• Saber lógica proposicional y  lógica de primer orden como fundación para representación de conocimiento.
• Conocer las lógicas descriptivas y su aplicación a la inferencia y a la web semántica.
• Conocer la programación lógica en Prolog.
• Saber cómo modelar creenciaa , incertidumbre e información parcial.
• Entender la aplicación de la representación de conocimiento  a sistemas inteligentes y problemas reales.
• Aplicar pensamiento científico al análisis de procesos y sistemas complejos.
• Leer contenido científico en campo de investigación de la RCC.

• Contenidos

• Introducción a campo deinvestigación de la Representación de Conocimiento y el Razonamineto (RCC).
• Lógica de primer orden. 
• Lógicas descriptivas.
• Ontologías formales y la Web Semántica.
• Programación lógica.
• Tratamiento formal del razonamiento parcial y la incertidumbre.
  

• Consulta de los recursos de aprendizaje que dispone la asignatura

• Metodología

Hay un texto básico que se sigue durante el curso  (Brachman, Levesque), que está complementado por material adicional cuándoes  necesario. Cada semana el alumnado recibirá una guía de estudio, indicando los temas para ser estudiados durante la semana. El profesor estará disponible para contestar cualequier duda respecto del material. Se recomienda realizar los ejercicios del libro para evaluar el apendizaje de los temas.

• Información sobre la evaluación en la UOC

El proceso de evaluación se fundamenta en el trabajo personal de cada estudiante y presupone la autenticidad de la autoría y la originalidad de los ejercicios realizados.

La falta de autenticidad en la autoría o de originalidad de las pruebas de evaluación; la copia o el plagio; el intento fraudulento de obtener un resultado académico mejor; la colaboración, el encubrimiento o el favorecimiento de la copia, o la utilización de material o dispositivos no autorizados durante la evaluación, entre otras, son conductas irregulares que pueden tener consecuencias académicas y disciplinarias graves.

Por un lado, si se detecta alguna de estas conductas irregulares, puede comportar el suspenso (D/0) en las actividades evaluables que se definan en el plan docente –incluidas las pruebas finales– o en la calificación final de la asignatura, ya sea porque se han utilizado materiales o dispositivos no autorizados durante las pruebas, como redes sociales o buscadores de información en internet, porque se han copiado fragmentos de texto de una fuente externa (internet, apuntes, libros, artículos, trabajos o pruebas del resto de estudiantes, etc.) sin la correspondiente citación, o porque se ha practicado cualquier otra conducta irregular.

Por el otro, y de acuerdo con las normativas académicas, las conductas irregulares en la evaluación, además de comportar el suspenso de la asignatura, pueden dar lugar a la incoación de un procedimiento disciplinario y a la aplicación, si procede, de la sanción que corresponda.

• Consulta del modelo de evaluación

• Evaluación final

Este curso sólo puede ser superado mediante la evaluación  continua (EC). La nota final de la EC será la calificación final del curso.