La lògica i la informàtica estan íntimament relacionades. La lògica s´utilitza per expressar el comportament dels programes, de manera que sigui possible emprar les tècniques de demostració destinades a provar les seves propietats. S´utilitza també per descriure i implementar sistemes que raonen sobre un domini particular (Teoria de l'especificació, Sistemes basats en regles, ...). Els mètodes derivats de la lògica són vàlids en moltes àrees de la intel-ligència artificial, com són la generació de plans, representació del coneixement i comprensió del llenguatge natural.
Els alumnes que cursen l´assignatura adquireixen els coneixements i desenvolupen les habilitats que s´indiquen a continuació:
1. Coneixements generals bàsics de la lògica matemàtica especialment del càlcul proposicional i del càlcul de predicats. Conexeiments específics de la programació lògica.
2. Capacitat d´anàlisi i de síntesi.
3. Capacitat d´organització i planificació de la feina a realitzar.
4. Millora de la comunicació escrita en la llengua utilitzada pels alumnes en les diferents proves presentades al professor.
5. Coneixements d´eines informàtiques.
6. Capacitat de resolució de problemes.
7. Habilitat de treball en equip.
8. Desenvolupament d´habilitats interpersonals a l´hora de defensar els arguments
propis davant els companys de grup.
9. Capacitat d´aplicar els coneixements de la programació lògica en la realització de les pràctiques.
10. Capacitat per generar noves idees a partir dels conceptes teòrics estudiats a classe.
11. Habilitat de treball en entorns telemàtics.
12. Utilització de textos en anglès com a bibliografia bàsica.
13. Capacitat d´autoaprenentatge.
1 Introducció
1.1 Què és una lògica?
1.2 Una mica de història
1.3 Classificació de les lògiques
2. Càlcul proposicional
2.1 El llenguatge CP0
2.2 Formes normals i clausules
2.3 Teoria de la demostració
2.4 Resolució
2.5 Representació del coneixement
2.6 Propietats
3 Càlcul de predicats
3.1 El llenguatge del CP1
3.2 Formes normals i cluasules
3.3 Teoria de la demostració
3.4 Representació del coneixement
3.5 Propietats
4 Programació lògica/ Prolog
4.1 Introducció
4.2 De la lògica a la programació lògica
4.3 L´execució d´un programa
4.4 Dominis
4.5 Lectura i escriptura
4.6 Bases de dades internes
4.7 Altres característiques
El llenguatge PROLOG s´estudia en paral-lel durant el capítol de programació lògica.
Aquesta assignatura pot cursar-se en dos formats, segons la preferència de l´alumne, presencial i semipresencial. La principal diferència entre les dues modalitats es basa en la diferent assistència física dels alumnes a les aules.
Al llarg del curs es combinen diferents maneres d´impartir l´assignatura:
1. Classes magistrals.
En la modalitat presencial, el professor imparteix al llarg del curs els conceptes teòrics de l´assignatura mitjançant classes magistrals. En aquestes classes el professor també resol exercicis d´aplicació directa dels conceptes explicats. En la modalitat semipresencial, l´alumne pren un paper més actiu, en el seu aprenentatge, i disposa dels continguts en el campus virtual, on hi ha una guia d´estudi que: explica breument els conceptes de l´assignatura, dóna referències a la bibliografia on es poden ampliar estos conceptes, conté enunciats de problemes i conté preguntes autoavaluatives on l´alumne pot tenir una indicació del seu grau d´aprenentatge. En aquest format, també se celebren almenys tres trobades presencials a l´any, on alumnes i professors es reuneixen, per realitzar petites classes magistrals, problemes, o debats.
2. Hores de classe dedicades a resoldre exercicis teòrics, individualment o en grups.
Durant algunes hores de classe el professor planteja exercicis teòrics perquè siguin resolts pels alumnes en aquell moment. Aquests exercicis poden ser resolts individualment o en grups de 2.
3. Exercicis que s´han de resoldre a casa.
A part dels exercicis resolts a classe l´alumne ha de resoldre altres exercicis a casa. La finalitat d´aquests exercicis és la de consolidar les idees teòriques . Els alumnes disposen d´un problemari amb exercicis. Alguns dels exercicis estan resolts.
4. Treball en grup en hores de classe.
Durant el curs es dedica una hora per cada 2 setmanes a la realització d´exercicis. Els estudiants resolen els exercicis proposats pel professor en grups de 2. Al final de la classe el professor recull els exercicis fets i els hi torna corretgits.
5. Pràctiques
Al llarg del curs es fan 4 sessions pràctiques de Prolog de 2 hores en horari de classe.
Cada pràctica es realitza en grups de 2 i és un conjunt d´exercicis que s´han d´implementar en Prolog. Els alumnes disposen d'un document amb exercicis pràctics i poden preparar amb antelació alguns dels exercicis proposats. Durant la pràctica el professor supervisa el treball dels estudiants i els ajuda a assolir els objectius. Aquestes pràctiques es fan en un aula de PC´s.
En el cas dels estudiants semipresencials, el professor proposa un conjunt de pràctiques a fer pel seu compte. Els estudiants poden fer consultes sobre la resolució de les pràctiques mitjançant els fòrums i/o el correu electrònic.
L´assignatura es divideix en dos parts clarament diferenciades: una part teòrica (80%) i una part pràctica (20%). Cadascuna d´aquestes parts s´avaluen i s´han d´aprovar per separat per poder aprovar l´assignatura.
Si s´aproven les dues parts, la nota final de l´assignatura és la suma aritmètica de la nota de Teoria i de la nota de Pràctiques.
Amb la finalitat d´avaluar si l´alumne ha assolit en un grau adequat els objectius perseguits a l´assignatura es fan servir diferents proves per obtenir dades de l´alumne:
A. Exàmens
Durant el curs es fa 1 examen presencial.
F.Treballs fets en grup
Durant el primer quatrimestre, els alumnes han de resoldre en grup exercicis corresponents a la teoria.
G.Treballs pràctics amb ordinador
La implementació de les pràctiques es fa en llenguatge Prolog. Per cada pràctica el professor disposa d´un formulari per la seva avaluació.
J. Participació a l´aula o al campus virtual.
El professor de la modalitat presencial disposa d´una llista d´observacions possibles on anota els diferents comportaments i actituds presentades pels alumnes durant la classe. Al sistema semipresencial, aquestes actituds es reflecteixen en l´actuació dels alumnes en els fòrums, i en les reunions mitjançant l´aula virtual.
Objectiu 1: Coneixements generals bàsics de la lògica matemàtica
L´estudiant ha de demostrar que ha adquirit un coneixement adequat dels conceptes estudiats durant el curs. [A, F,G].
Objectiu 2: Capacitat d´anàlisi i de síntesi.
L´estudiant ha de ser capaç d´analitzar els problemes amb els quals s´enfronta, i ha de demostrar capacitat de síntesi en la generació de solucions. [A,F,G, J].
Objectiu 3:Capacitat d´organització i planificació de la feina a realitzar.
L´estudiant ha de planificar i organitzar la seva feina individual, així com la feina a realitzar amb els companys de grup. [F,G]
Objectiu 4:Millora de la comunicació escrita en la llengua utilitzada pels alumnes en les diferents proves presentades al professor.
L´estudiant ha de presentar els exàmens sense faltes ortogràfiques i amb l´estil i ordre adequat. [A]
Objectiu 5: Coneixements d´eines informàtiques.
L´estudiant ha de demostrar que a adquirit els coneixements necessaris de PROLOG [A,G]
Objectiu 6:Capacitat de resolució de problemes.
L´estudiant ha de demostrar que sap proposar solucions adequades tant pels exercicis teòrics com per l´implementació de les diferents pràctiques. [A,F,G]
Objectiu 7:Habilitat de treball en equip.
L´estudiant ha de ser capaç de treballar amb els companys de grup i arribar a proposar solucions als diferents problemes presentats. [F, G]
Objectiu 8: Desenvolupament d´habilitats interpersonals a l´hora de defensar els arguments
propis davant els companys de grup.
L´estudiant ha de mantenir una comunicació fluida amb els seus companys de grup de pràctica. [F,G]
Objectiu 9: Capacitat d´aplicar els coneixements de la programació lògica en la realització de les pràctiques.
L´estudiant ha d´identificar els formalismes i les tècniques adequades de la teoria per implementar les pràctiques, amb l´orientació del professor i l´ajuda dels seus companys de grup. [G]
Objectiu 10: Capacitat per generar noves idees a partir dels conceptes teòrics estudiats a classe.
L´estudiant ha de demostrar que és capaç d´aplicar la teoria de la demostració en els exercicis proposats [A,F]
Objectiu 11: Habilitat de treball en entorns telemàtics.
Tots els alumnes semipresencials basen el seu estudi en diferents eines dins un campus virtual. Són competències que queden implícites en els sistemes d´avaluació [A,G].
Objectiu 12: Utilització de textos en anglès com a bibliografia bàsica.
Alguns dels conceptes de l´assignatura es troben referenciats directament en anglès. Aquests conceptes són avaluats en [A,G]
Objectiu 13: Capacitat d´autoaprenentatge.
L´estudiant ha de demostrar que és capaç d´adquirir coneixement per ell mateix. [A ]
- Chin-Liang Chang, Richard C. Lee. Symbolic Logic and Mechanical Theorem Proving
Academic Press,November 1997
- Davis, Ruth E.. Truth, Deduction, and Computation
Computer Science Press, 1989
- Mozota i Coloma, Maria Antònia. Problemes i Solucions CP0
Departament d´informàtica, Escola d´Enginyeria i Arquitectura La Salle. Barcelona, 2007
- Mozota i Coloma, Maria Antònia. Problemes i Solucions CP1
Departament d´informàtica, Escola d´Enginyeria i Arquitectura La Salle. Barcelona, 2007
- Mozota i Coloma, Maria Antònia. Enunciats exercicis de Prolog
Departament d´informàtica, Escola d´Enginyeria i Arquitectura La Salle. Barcelona, 2007
- Prolog Development Center A/S. Language Tutorial. Copenhagen 1986-2001
- Prolog Examples
- Mozota i Coloma, Maria Antònia. Guia d'estudi de l'assignatura
- Visual Prolog. Web oficial