|
||||||||
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 primer semestre del curso 2024-2025. 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. The course pretends to qualify students to know the 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:
|
||||||||
Introduction to Knowledge Representation research field. First order logic. Formal ontologies and the Semantic Web. Descriptive logics. Temporal reasoning. Modal logics of knowledge and belief . Non-monotonic logics. Probabilistic reasoning. |
||||||||
|