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.
|