Introduction to the basic mechanisms of knowledge representation and reasoning using the formal tools of Mathematical Logic.
Person in charge
Antonio Moreno Ribas (
Generic Technical Competences
CG1 - Capability to plan, design and implement products, processes, services and facilities in all areas of Artificial Intelligence.
CG3 - Capacity for modeling, calculation, simulation, development and implementation in technology and company engineering centers, particularly in research, development and innovation in all areas related to Artificial Intelligence.
Technical Competences of each Specialization
CEA13 - Capability to understand advanced techniques of Modeling , Reasoning and Problem Solving, and to know how to design, implement and apply these techniques in the development of intelligent applications, services or systems.
CEP3 - Capacity for applying Artificial Intelligence techniques in technological and industrial environments to improve quality and productivity.
CEP5 - Capability to design new tools and new techniques of Artificial Intelligence in professional practice.
CT4 - Capacity for managing the acquisition, the structuring, analysis and visualization of data and information in the field of specialisation, and for critically assessing the results of this management.
CT6 - Capability to evaluate and analyze on a reasoned and critical way about situations, projects, proposals, reports and scientific-technical surveys. Capability to argue the reasons that explain or justify such situations, proposals, etc..
Understand the basic tools of Mathematical Logic and their use as a knowledge representacion and reasoning mechanism within an intelligent system.
Know how to apply the tools of Mathematical Logic to solve specific problems.
Use of first-order logic as a mechanism for knowledge representation and reasoning.
Formalisation. Natural Deduction. Resolution. Model Theory.
Logic programming: facts and rules. Backwards reasoning. Cut operator. Negation as failure.
Description logics. Language: concepts, rols and constants. Operators to define complex concepts. Reasoning mechanisms.
Defeasible reasoning on inheritance networks. Positive and negative links and paths. Admissible links and paths. Credulous extensions. Types of reasoning.
Closed world reasoning. Circumscription. Default logic. Autoepistemic logic.
Lectures that cover the theoretical content of the course.