|
||||||||
Consulta de los datos generales Descripción Objetivos y resultados de aprendizaje Contenidos Consulta de los materiales de los que dispone la asignatura | ||||||||
Este es el plan docente de la asignatura para el segundo semestre del curso 2023-2024. Podéis consultar si la asignatura se ofrece este semestre en el espacio del campus Más UOC / La universidad / Planes de estudios). Una vez empiece la docencia, tenéis que consultarlo en el aula. El plan docente puede estar sujeto a cambios. | ||||||||
The subject deals with the knowledge representation and reasoning for intelligence systems. It aims at representing knowledge with formal logic languages in order to allow inferencing from those knowledge, creating new elements of knowledge.
Paradigms, techniques and methodologies to represent formally and explicitly specialized knowledge domains are presented. For instance, this field contains the representation of knowledge with first-order logic, with description logics and ontologies, as well as formal representation methods and inference for knowledge related to vagueness, uncertainty, changing and planning.
The course pretends to qualify students to know the mathematica, logical and computational basis of those broad area related to artificial intelligence and logic. |
||||||||
The main two goals are:
Course objectives are derived from the main goals and designed to be assessable:
|
||||||||
|
||||||||
|