Credits
6
Types
Compulsory
Requirements
This subject has not requirements
, but it has got previous capacities
Department
CS
Web
www.cs.upc.edu\~larrosa/csi.html
- Knowledge representation and reasoning in environments with automatic certainty of
- knowledge representation and reasoning with uncertainty
- Machine-Learning System
Teachers
Person in charge
- Francisco Javier Larrosa Bondia ( larrosa@cs.upc.edu )
Others
- Ramon Ferrer Cancho ( rferrericancho@cs.upc.edu )
Weekly hours
Theory
1
Problems
1
Laboratory
2
Guided learning
0
Autonomous learning
8.5
Competences
Especifics
Reasoning
Basic
Objectives
Contents
-
Knowledge representation and reasoning in the context of automatic certainty
You will see the MiniZinc modeling language. Syntax and semantics, basic inference algorithms and expressive ability. -
Knowledge representation and automatic reasoning with uncertainty
Will be the Bayesian Networks, syntax, semantics, the basic inference algorithms and their expressive power. -
Machine learning
Will be the most important machine learning algorithms understanding the strengths and weaknesses of each in order to know what is the most appropriate for each situation
Activities
Activity Evaluation act
Development of the first theme of the course (propositional logic)
Assimilate the basics of propositional logic (syntax, semantics, inference) understand the expressive power of propositional logic and see examples of actual use.Objectives: 1
Contents:
Theory
5h
Problems
5h
Laboratory
10h
Guided learning
2h
Autonomous learning
25h
2 Development of the subject matter (Bayesian networks)
Assimilate the basics of Bayesian networks (syntax, semantics, inference) Assimilate the expressive power of Bayesian networks and examples of actual use.Objectives: 1
Contents:
Theory
4h
Problems
4h
Laboratory
8h
Guided learning
2h
Autonomous learning
25h
Theory
4h
Problems
4h
Laboratory
8h
Guided learning
2h
Autonomous learning
25h
Teaching methodology
It combines lectures to introduce the fundamental concepts, the classes of problems to practice and exercise their implications with laboratory classes, where you will see a more practical all this through case study and using packages already implemented.Evaluation methodology
The course is divided into 3 parts, each one with the same weight. Each part is evaluated with an exam and a project.Bibliography
Basic
-
Artificial intelligence: a modern approach
- Russell, S.J.; Norvig, P,
Pearson Education Limited,
2022.
ISBN: 9781292401133
https://discovery.upc.edu/discovery/fulldisplay?docid=alma991005066379806711&context=L&vid=34CSUC_UPC:VU1&lang=ca
Complementary
-
Lógica para informáticos
- Farré, R.; Nieuwenhuis, R.; Nivela, P.; Oliveras, A.; Rodríguez, E.; Sierra, J,
Marcombo,
2011.
ISBN: 978-84-267-1694-1
https://discovery.upc.edu/discovery/fulldisplay?docid=alma991003857269706711&context=L&vid=34CSUC_UPC:VU1&lang=ca