Introduction to the basic mechanisms of knowledge representation and reasoning using the formal tools of Mathematical Logic. Web:http://moodle.urv.cat Mail:
Teachers
Person in charge
Antonio Moreno Ribas (
)
Weekly hours
Theory
2
Problems
1
Laboratory
0
Guided learning
0
Autonomous learning
7
Competences
Generic Technical Competences
Generic
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
Academic
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.
Professional
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.
Transversal Competences
Solvent use of the information resources
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.
Reasoning
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..
Objectives
Understand the basic tools of Mathematical Logic and their use as a knowledge representacion and reasoning mechanism within an intelligent system.
Related competences:
CT4,
CEA13,
CG3,
Know how to apply the tools of Mathematical Logic to solve specific problems.
Related competences:
CT6,
CEA13,
CEP3,
CEP5,
CG1,
Contents
First-Order Logic
Use of first-order logic as a mechanism for knowledge representation and reasoning.
Logic Programming
Logic programming: facts and rules. Cut operator. Negation as failure.