La asignatura es una introducción a los conceptos básicos del razonamiento y su automatización. Comienza con una introducción a la lógica proposicional y de primer orden y la programación lógica. A partir de la caracterización lógica de las diversas formas de inferencia se introducen las variantes que permiten enfrentar el razonamiento aproximado bajo incertidumbre y ambigüedad. A partir de estos conocimientos se presentan y comparan las representaciones de conocimiento relacionales y las arquitecturas clásicas de los sistemas basados en conocimiento.
Person in charge
Ramon Sangüesa Sole (
CT4 [Avaluable] - Teamwork. Be able to work as a member of an interdisciplinary team, either as a member or conducting management tasks, with the aim of contributing to develop projects with pragmatism and a sense of responsibility, taking commitments taking into account available resources.
CT5 [Avaluable] - Solvent use of information resources. Manage the acquisition, structuring, analysis and visualization of data and information in the field of specialty and critically evaluate the results of such management.
CE02 - To master the basic concepts of discrete mathematics, logic, algorithmic and computational complexity, and its application to the automatic processing of information through computer systems . To be able to apply all these for solving problems.
CE15 - To acquire, formalize and represent human knowledge in a computable form for solving problems through a computer system in any field of application, particularly those related to aspects of computing, perception and performance in intelligent environments or environments.
CE18 - To acquire and develop computational learning techniques and to design and implement applications and systems that use them, including those dedicated to the automatic extraction of information and knowledge from large volumes of data.
Generic Technical Competences
CG2 - To use the fundamental knowledge and solid work methodologies acquired during the studies to adapt to the new technological scenarios of the future.
CG4 - Reasoning, analyzing reality and designing algorithms and formulations that model it. To identify problems and construct valid algorithmic or mathematical solutions, eventually new, integrating the necessary multidisciplinary knowledge, evaluating different alternatives with a critical spirit, justifying the decisions taken, interpreting and synthesizing the results in the context of the application domain and establishing methodological generalizations based on specific applications.
CG5 - Work in multidisciplinary teams and projects related to artificial intelligence and robotics, interacting fluently with engineers and professionals from other disciplines.
To know and understand the concept of logic
To understand, write and manipulate proficiently formulase in various logics (propositional logic, first order logic, description logics, fuzzy logics), with special emphasis on application
To know now how to apply logical foundations to the increasing number of applications of reasoning methods in computing.
To be able to analyze the knowledge that is necessary to solve a problem.
To be able to analyze a problem an decide which representation and reasoning techniques are the mos suitable to solve it
To be able to elicit and represent the necessary knowledge to build an application in the field of knowledge-based systems.
Introduction: Intelligence, Knowledge, Reason, Reasoning and Computing.
Presentation of the role of reasoning in intelligence. Knowledge and its representation in relation to reasoning. The various types of knowledge: declarative (relational, heritable, inferable), procedural, implicit, a priori and actionable.
Reasoning and logic
Logic as a representation of knowledge. Logic as a reasoning mechanism. Logical closure.
Introduction to logics and the basic concepts needed to characterize and use it: satisfaction, tautology, consequence and equivalence. Expressive power vs. computational cost. Deduction in Propositional Logic.
First-order logics: normal forms, literal forms and clauses. Expressive power and decidability. Properties of computational logic systems. Deduction in First Order Logic.
Knowledge-Based Systems: Basic Architectures
Knowledge-based systems: similarities and differences with logical systems. Components of a knowledge-based system. Reasoning strategies.
Characterization of the approximate reasoning: Uncertain, imprecise, ambiguous. The conditioning factors of the approximate reason. Uncertain in the coneixement vs. uncertain in the given. Generic characterization of the main methods of approximate reasoning.
Probability Theory for the Treatment of Uncertainty. Bayesian Networks. Inference in Bayesian Networks. Variants: certainty factors, evidence.
Theory of Possibility and Fuzzy Logic. Uncertainty and Ambiguity. Inference in Fuzzy Logic.
Other forms of inference:
Induction, abduction, analogy, case-based reasoning. Model and execution cycle of case-based reasoning systems. Internal organization of the Case Base.
Semantic Knowledge Modeling
Semantic Networks and Frame Networks. Description Logics.
Ontologies and reasoning.
Concept of Ontology. Forms of reasoning in ontologies.
Knowledge-Based systems and their engineering
Knowledge engineering. Phases of the development of a knowledge-based system.
Intelligence, Knowledge, Reason, Reasoning and Computing
Presentation of the fundamental concepts that link intelligence with reasoning, reasoning with knowledge and this with its representation. Reasoning as manipulation of representations. Reasoning as a calculation. Objectives:123 Contents:
Hay que entender y practicar las diveres formas y métodos de inferencia lógica así como incluir los límites expresivos de este lenguaje, que resulta una extensión de lo que permite la lógica proposicional y al mismo tiempo nos permite entender su relación con las propiedades que interesan desde el punto de vista de su realización por medios computacionales. Esto permite entender las bases de la programación lógica. Objectives:1234 Contents:
It is necessary to understand the language of logical programming as a computational transposition of the inference mechanisms of first-order logic and at the same time to understand its differences. It will be practiced intensively in the laboratory with exercises of increasing difficulty that will serve to prepare the specific examination of logical programming. Objectives:1234 Contents:
The role of knowledge in general (beyond logical representations) in systems that use knowledge to make decisions and see the differences and similarities with what can be represented and with what can be inferred in logical systems needs to be understood and studied. Objectives:45 Contents:
You need to understand and practice with various exercises how to work with knowledge that is uncertain. Probabilistic formalizations allow us to face the very common situation in which there is uncertainty in the reality on which we must reason. In the laboratory we will practice in the representation of probabilistic knowledge and we will use environments that admit it, carrying out increasingly complex exercises that will allow us to prepare the corresponding exam. Objectives:23456 Contents:
We will see that probability theory has some difficulty in representing situations that are imprecise or ambiguous or that combine these properties with uncertainty. The Theory of Possibility must be understood as related to an appropriate representation for these conditions: fuzzy sets. In the laboratory we will practice with increasingly complex diffuse representation and reasoning exercises to confront the corresponding exam. Objectives:23456 Contents:
It must be understood that deduction is a form of reasoning among many others that we have developed. We will understand and practice through exercises the inductive inference, the basis of the experimental sciences and, in general, of all those that generalize from observations (and the corresponding data); abductive inference as a generative inference and case-based analogy or reasoning as a type of reasoning where the similarity between the components and structure of a situation sets in motion a reasoning that has useful and practical consequences. The various exercises will allow us to strengthen the knowledge of the possibilities and limitations of these types of knowledge, always comparing them with the properties of standard logic. Objectives:123456 Contents:
Ontologies are formalisms based on hierarchies of concepts and relationships. We will study the main realizations and formalisms and in the laboratory we will work with ontology development environments. Students should not only attend lessons, but also do exercises on the use of ontologies and discuss with the teacher and other students when it is best to use each technique. In the lab students will apply what they have learned to a problem. Objectives:3456 Contents:
We will see the relationship between ontologies and logic through a specific type of logic: the logic of descriptions. We will practice with these concepts in the laboratory. Objectives:123456 Contents:
We will learn how to build a knowledge-based system from conception to implementation with special emphasis on knowledge elicitation techniques and the importance of validating them. We will study the relationship of the necessary methods in each phase of the construction of the SBC and compare them with other alternative and complementary methods of building knowledge bases from data. You will need to design a small knowledge-based system. Objectives:456 Contents:
A test using a logical programming environment which consists of logical programming exercises to check the level of achievement in this approach to programming which is related to various forms of reasoning. Objectives:123 Week:
Theoretical-practical exercise that covers the topics of the course. Objectives:123456 Week:
18 (Outside class hours) Type:
The teaching methodology will consist of the exposition of the theory in theory classes and the application of the concepts in the problem and laboratory classes and to small projects to be worked in group.
The evaluation is based on several test of the thematic blocks that made up the course and an final examen as well as an evaluation of the assignments of the course in problems and laboratory classes. The final examination tests the knowledge about the theoretical aspects of the course and of the methodology acquired by the students during the course. The grading of the course assignments will be based on the presentations of small problems proposed during the course.
The final grade will be calculated as follows:
0.30 * note control logic programming + 0.10+ note control Approximate Reasoning + 0.20*control Ontologies and Logic of descriptions + 0,1 lab and problems + 0.35 Final Exam.
Assessment of competencies
The assessment of teamwork competence is based on the work done during the internship work.
Competency assessment. Solvent use of information resources is based on both internship work and problem-solving exercises and laboratories.
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference -
Pearl, Judea, Morgan Kaufmann, Publishers ,
The usual ones in a first university course with special relevance of the contents of science and mathematics,
No es preveu cap canvi de continguts.
La metodologia docent s'adequarà a la situació del moment. Es faran de forma no presencial amb Meet les activitats que no es puguin dur a terme de forma presencial.
Està previst fer els exàmens de forma presencial. Si la situació no ho permetès, es farien de forma no presencial amb Meet i/o la plataforma Atenea, o qualsevol medi similar facilitat per la UPC.
Si no fos possible dur a terme activitats presencials, es farien tant les classses de teoria, com de problemes de forma no presencial amb Meet, així com tots els actes d'avaluació de forma no presencial utilitzant Meet i/o la plataforma Atenea.
Where we are
B6 Building Campus Nord
C/Jordi Girona Salgado,1-3
08034 BARCELONA Spain
Tel: (+34) 93 401 70 00