M.U. en Lógica, Computación e Inteligencia Artificial
Teoría de Modelos/ Model Theory
Curso 2023-2024
Contenidos/Content:
Tema 1: Introducción a la programación con conjuntos de respuestas
(ASP=Answer Set Programming)
Representación declarativa del conocimiento. Sintaxis y Semántica de ASP.
Modelos de Herbrand. Modelos estables. Razonamiento no monótono.
([GK], pp. 11-51)
Unit 1: Introduction to ASP (ASP=Answer Set Programmig)
Knowledge representation. Syntax and Semantics of ASP. Herbrand models. Stable models.
Non-monotonic reasoning.
([GK], pp. 11-51)
Tema 2: Modelización de bases de conocimiento en ASP
Creación de bases de conocimiento. Definición recursiva de propiedades. Hipótesis de nombre único
(UNA=Unique-Name Assumption). Hipótesis de mundo cerrado
(CWA=Closed World Assumption). Jerarquía y herencia.
([GK], pp. 75-97)
Unit 2: Creating a Knowledge Base in ASP.
Knowledge database. Properties defined by recursion. UNA=Unique-Name Assumption.
CWA=Closed World Assumption. Hierarchy and Inheritance.
([GK], pp. 75-97)
Tema 3: Razonamiento por defecto en ASP
Representación del razonamiento por defecto. Excepciones débiles y excepciones fuertes.
El axioma de cancelación. Jerarquía y herencia con razonamiento por defecto.
([GK], pp. 99-125)
Unit 3: Reasoning with Defaults in ASP
A General Strategy for Representing Defaults. Weak
and strong exceptions.Cancellation Axiom. Hierarchy and Inheritance with Defaults.
([GK], pp. 99-125)
Tema 4: El paradigma de la programación con conjuntos de respuestas
CLINGO: Sintaxis y ejemplos. Resolución de problemas NP-completos: generación y filtrado. Problemas
sobre grafos en ASP. Resolución de puzles lógicos y otros ejemplos.
([GK], pp. 127-146)
Unit 4: The Answer Set Programming
Paradigm
CLINGO: Syntax and examples. Solving NP-complete problems: generate and filter.
Graph problems in ASP. Solving logic puzzles and some other examples.
([GK], pp. 127-146)
Tema 5: Modelización de procesos dinámicos y Planificación
Un ejemplo histórico: el mundo de los bloques. Estados y acciones. Propiedades fluyentes y el axioma de
inercia. El módulo de planificación. Heurísticas y planificación concurrente.
([GK], pp. 167-241)
Unit 5: Modeling Dynamic Domains and Planning with a given horizon.
The Blocks World: A Historic Example. States and actions. Fluyent properties and the Inertia Axiom.
Planning module. Heuristics and concurrent planning.
([GK], pp. 167-241)
Tema 6: Aplicaciones
Algunas aplicaciones de la programación ASP.
Unit 6: Applications
Some selected applications of ASP.
Profesor/Lecturer: Andrés Cordón Franco (Home page).
Evaluación: La evaluación de la asignatura consistirá en la entrega de una serie de ejercicios evaluables (de carácter tanto teórico
como práctico) que serán propuestos a lo largo del cuatrimestre.
Evaluation will consist of the delivery of a series of evaluable exercises (both theoretical and practical) that will be
proposed throughout the term.
Teoría de Modelos - MULCIA
