2025

Knowledge Representation and Reasoning

Name: Knowledge Representation and Reasoning
Code: INF13261M
6 ECTS
Duration: 15 weeks/156 hours
Scientific Area: Informatics

Teaching languages: Portuguese
Languages of tutoring support: Portuguese

Sustainable Development Goals

Learning Goals

As a result of learning in this course we intend that the student sunderstand the different types of knowledge and logic developed to represent ontologies including the theories necessary to use automated reasoning systems (based on propositional logic, first order and descriptive). The student should be able to formalize and represent knowledge in these logics using Semantic Web and particularly in OWL2 using current development tools.

The development of autonomous capacity to collect adequate bibliography in solving a problem using specific techniques is also an objective of this discipline.

Contents

(1) Conceptual maps and semantic networks.
(2) propositional descriptive logics
(3) Formalization of Knowledge Bases
(4) Ontologies
(5) Descriptive Logic and Databases.
(6) Time and causality
(7) Semantic Web

Teaching Methods

The subjects are introduced in the lectures were some solutions and study cases are also considered to some problems types. In practical classes students solve some exercises proposed in the paper, in the computer they must implement some of the studied algorithms and use them to solve some exercises. Pratical sessions are also used for students to solve some of the final work of the course

30% of the theoretical result of written test

70% of the result in practical work