Guía DocenteCurso Facultade de Informática |
Mestrado Universitario en Computación |
Asignaturas |
Programación Lóxica e Representación do Coñecemento |
Contidos |
Datos Identificativos | 2012/13 | |||||||||||||
Asignatura | Programación Lóxica e Representación do Coñecemento | Código | 614434012 | |||||||||||
Titulación |
|
|||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
Mestrado Oficial | 2º cuadrimestre |
Primeiro | Optativa | 3 | ||||||||||
|
Temas | Subtemas |
1- An introduction to Prolog | Introduction Adding Functions: unification, lists, Turing completeness. Relation to Logic: Least Herbrand Model. Flow control: cut, negation as failure. Other features: arithmetic, input/output, assert/retract. |
2- Semantics for negation | Stable models and answer sets. Well-founded Semantics. Relation to stable models. Programs with variables. Answer Set Programming (ASP). Clark's completion. Loop formulas. Extending the syntax: disjunctive ASP. |
3- Equilibrium Logic | Syntax and semantics. Strong equivalence. Normal forms. Minimal logic programs. Quantified Equilibrium Logic. |
|