Constraint Processing and Programming

Usted está aquí

Inicio » Estudios » Secretaría » Planes Extinguidos » Máster en inteligencia artificial - 2012
Créditos
4.5
Departamento
CS
Tipos
Optativas
Requisitos
Esta asignatura no tiene requisitos
This course examines the paradigm of constraint programming as a tool for solving combinatorial optimization problems.

Profesores

Responsable

  • Francisco Javier Larrosa Bondia ( )

Otros

  • Mario Martín Muñoz ( )

Horas semanales

Teoría
1
Problemas
1
Laboratorio
1
Aprendizaje dirigido
0.116
Aprendizaje autónomo
0

Competencias

Generic Technical Competences

Generic

  • CG1 - Capability to plan, design and implement products, processes, services and facilities in all areas of Artificial Intelligence.

Technical Competences of each Specialization

Academic

  • CEA1 - Capability to understand the basic principles of the Multiagent Systems operation main techniques , and to know how to use them in the environment of an intelligent service or system.
  • 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.

Transversal Competences

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..

Objetivos

  1. Ability to model optimally a discrete optimization problem and solve it using the proper tools.
    Related competences: CT6, CEA1, CEA13, CG1,

Contenidos

  1. Problema Solving as Boolean Satisfability
    - Propositional Logic
    - Symbolic manipulation
    - Transformation to CNF
    - Resolution
    - Search
  2. Constraint Programming
    Local consistency
    Global constraints
    Backtracking Search
    Modeling
    Decomposition methods

Actividades

Propositional Logic

Teoría
4
Problemas
4
Laboratorio
4
Aprendizaje dirigido
0
Aprendizaje autónomo
0
Objetivos: 1

Constraint Programming

Teoría
8
Problemas
8
Laboratorio
8
Aprendizaje dirigido
0
Aprendizaje autónomo
0
Objetivos: 1

Metodología docente

There will be theory classes to introduce the fundamental theoretical concepts, classes of problems to exercirtar to use, and laboratory classes where you will see the actual technology

Método de evaluación

Along the course several programming assignments will be evaluated. The last one will be bigger and will count 40% of the grade. The rest will count between 5% and 20% depending on their difficulty.

Capacidades previas

Basic Algorithmics