Anar a: Buscar
FIB > Els estudis > Pla 91 > Pàgines de les assignatures > Departament LSI > R Castellano | English
A
AD
AED
AIA
AP
BDA
CL1
CL2
DBD
DLP
EA
EDA
ES:D1
ES:D2
ES:E
FBD
FP
FPC
GC
GPI
GSI
IBD
IEA
IIA
IL
IP
LGA
LPO
MAC
MFES
MGC
PC
PD
PGSI
PM
PP
R
RESI
SGBD
SIO
TC
TMIA
VRC



Raonament (R)




Professors Responsables: TON SALES PORTA (saleslsi.upc.edu)
Crèdits: 4.5 (3.0 T 1.5 P 0.0 L)

Departament: LSI

Tipus d'assignatura

Optativa per la EI

Requisits de l'assignatura

LPO - Correquisit per la EI
TMIA - Pre-requisit per la EI


Objectius docents

El nom de l'assignatura ben bé podria ser "La Lògica de (o "en")
la Intel.ligència Artificial" o també "Estudi i implentació del
sentit comú", expressions que en resumeixen perfectament l'esperit i
el tema. L'objecte de l'assignatura és que l'estudiant, un cop ha
assimilat - a l'assignatura prèvia LPO - els metòdes i formalismes
propis de la Lògica clàssica i de la Demostració automàtica de teoremes,
aprengui ara a (a) comprendre i dominar alguns mètodes i formalismes
generals no-clàssics  de la Lògica, com ara la Lògica multivalent i
la modal (aquesta última amb tres variants d'interès: la Lògica temporal,
la dinàmica i la creencial), així com alguns altres temes no directament ni
clàssicament lògics, com són la Probabilitat, la Inferència estadística,
la Introducció o l'Abducció; (b) comprendre i dominar alguns mètodes i
formalismes específics - generats dintre de la Intel.ligència Artificial
- com ara els càlculs situacional i temporal, el raonament no-monòton i
per defecte, el raonament aproximat i el qualitatiu, els sistemes de
creences, la planificació o el coneixement compartit, el metacontrol i
els sistemes d'agents; (c) aplicar els mètodes explicats a diverses
situacions que es presenten a la pràctica diària de la Intel.ligència
Artificial, així com alguns aspectes d'implementació i disseny; i (d)
reflexionar sobre la racionalitat en general, sobre els seus límits i
sobre la naturalesa del sentit comú.

Programa

1. Lògica clàssica i lògiques no-clàssiques:
- Lògica multivalent.

- Lògiques modals.

2. Raonament plausible I:
- Lògica no-monòtona.

- Circumscripció.

- Lògica per defecte.

3. Raonament plausible II:
- Lògica de la probabilitat.

- Indiferència estadística.

4. Quantitats i mesures:
- Raonament qualitatiu.

5. Temps:
- Lògica temporal.

6. Espai:
- Càlcul situacional.

7. Ampliacions:
- a. Ment: Teoria d'agents i creences.

- b. Plans: Planificació amb objectius. Metacontrol.

- c. Societat: Coneixement comú, interacció i

integració.

Avaluació

Per assegurar una bona avaluació contínua dels alumnes, la
qualificació de cada estudiant constarà de dues parts:
* L'examen final, que determinarà la nota del curs en el cas que no
s'hagin superat les proves parcials. La qualificació d'aquestes, que
tindran essencialment un caràcter auxiliar i alliberatori, podrà
no solament decidir la nota final sinó també ajudar a resoldre
dubtes sobre el rendiment global de l'alumne.
* La nota provinent del professor de les classes de problemes. Podrà
tenir dues components: La primera provindrà de la informació que
haurà obtingut dels diferents estudiants de manera individualitzada (per
exemple quan surten a la pissarra i resolen exercicis, o per la recollida dels
problemes proposats abans). La segona podrà venir d'avaluacions
(exàmens) de curta durada que es puguin proposar, vist el rendiment
global d'una classe.
En principi es fixa una distribució de pesos del tipus 2/3 - 1/3 entre
teoria i pràctica.

Bibliografia

Bibliografia bàsica

- RUSSELL, S. & NORVIG, P Artificial Intelligence: a modern approach Prentice Hall, 1995
- TENNANT, N Natural logic nburgh University Press, 1990
- DAVIS Representations of Commonsense Knowledge Morgan Kaufmann, 1990
- GENESERETH & NILSSON Logical Foundations of Artificial Intelligence Morgan Kaufmann, 1987
- TURNER Logics for Artificial Intelligence Ellis Horwood, 1983

Informació complementària

CLASSES DE PROBLEMES
L'objectiu d'aquestes classes és doble:
  Adquirir la mecànica per formalitzar raonaments en les condicions
donades i, tot seguit, validar-los, i ser capaç de fer-ne una
crítica quant als límits o propietat del resultat.
  Reforçar, a fi d'assegurar llur assimilació, els conceptes
bàsics introduïts a les classes de teoria.
Es proposarà als estudiants una sèrie d'exercicis. El professor
dirà quins són els que caldrà preparar per l'endemà
i donarà indicacions i consells per resoldre'ls correctament en
règim d'autoestudi, a casa. A la sessió següent, els
recollirà i, aquell mateix dia o en un posterior, resoldrà sobre
pissarra les qüestions que s'hi hagin plantejat. Cal notar que alguns
problemes són de tipus examen, perquè l'estudiant es vagi
habituant a l'estil que pot esperar trobar en una prova real.


versió per imprimir