Representación de conocimiento Código:  M0.501    :  5
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.

Amunt

The main two goals are:

 

  • To introduce students in the research field of Knowledge Representation and Reasoning (KRR), offering both theoretical and practical learning experiences. In particular, during the course students will have to understand the basic KRR systems and to read scientific content in a critical way.
  • To develop students' formal modelling skills.  In particular, throughout the course students will have to develop formal modelling and reasoning skills.

 

Course objectives are derived from the main goals and designed to be assessable:

  • To understand the main paradigm of knowledge representation, its concepts and methods of inference.
  • To know propositional logic and first order logic as a foundation for knowledge representation.
  • To know description logics and its application to the inference and the semantic web.
  • To know and practice with logic programming in Prolog.
  • To know how to model belief, uncertainty and partial information.
  • To understand the application of knowledge representation and reasoning to intelligent systems and real problems.
  • To apply scientific thinking to the analysis of complex systems and processes.
  • To read scientific content on the KRR research field.

 

Amunt

 

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.

Amunt

Knowledge Representation Web
Lógica de predicados PDF
Lógica de enunciados PDF

Amunt