Llicenciatura en Lingüística (3342)

Introducció a la Lingüística Computacional (Aprendre a programa en Prolog)(13293) 

Objectius

L’objectiu general d’aquesta assignatura és proporcionar als estudiants els recursos bàsics de programació per poder construir aplicacions de llenguatge natural amb el llenguatge de programació Prolog. En concret, l’assignatura pretén introduir a la programació declarativa basada en la lògica i a l’escriptura de gramàtiques per al processament del llenguatge natural.

Continguts

1. Estructures de dades en Prolog. Àtoms, constants i variables. Fets i regles. Clàusules i preguntes. Termes i llistes.
2. Recursivitat. Definicions declarativa i procedimental. Aplicacions de la recursivitat.
3. DCG (1): Gramàtiques de Clàusules Definides. Gramàtiques lliures de context i DCG. Les DCG amb diferències de llistes. Les regles recursives a les DCG. Construcció de reconeixedors.
4. DCG (2). Augmentant l’expressivitat de les DCG: arguments addicionals i comprovacions complementàries. Construcció d’analitzadors.
5. Recursos complementaris per a la programació. El "cut" i la negació. Manipulació de fitxers i fluxos d’entrada i sortida.
6. Construcció progressiva d’una gramàtica en Prolog.

Metodologia

En cada tema, hi haurà unes activitats generals dutes a terme amb tot el grup i unes activitats pràctiques (exercicis i pràctiques guiades) que s’hauran de fer sigui individualment sigui en grups de 2 o tres estudiants.

Avaluació

En l’avaluació de l’assignatura es tindrà en compte:

• el treball fet durant el curs:
• • participació a classe,
  • exercicis i pràctiques guiades
• l’examen final

Bibliografia

Clocksin, W. F. & Mellish, C.S. (1994), Programming in Prolog. 4th ed. Berlin [etc.] Springer

Pereira, F and Shieber, S. (1987), Prolog and Natural Language Analysis. CSLI Lecture Notes.

Sterling, L. & Shapiro, E. (1994), The Art of Prolog, advanced programming techniques Cambridge (Mass.) MIT Press.

Blackburn, P.; Bos, J. & Striegnitz, K. Learn Prolog now! Online at:

http://www.coli.uni-sb.de/~kris/prolog-course/html/index.html

Brna, P. Prolog programming: A first course. 2001. Online at: http://computing.unn.ac.uk/staff/cgpb4/prologbook/

Krzysztof R. Apt. The logic programming paradigm and Prolog. 2001. Tutorial available for download at Citeseer:

http://citeseer.nj.nec.com/apt01logic.html