|
||||||||
Consulta de los datos generales Descripción Objetivos y competencias 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 topic of Knowledge Representation and Reasoning in intelligent systems. It aims at representing knowledge with formal logic languages in order to allow making inferences from it, creating new elements of knowledge. The course intends to qualify students to know the logical and computational basis of this 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:
|
||||||||
Introduction to Knowledge Representation research field. First order logic. Description logics. Formal ontologies and the Semantic Web. Logic programming. Formal management of default reasoning and uncertainty. |
||||||||
|