Esteu accedint a un curs acadèmic que no està actiu. La informació no correspon al curs acadèmic actual.

Temari

Temari

1.    Introducció

1.    Conceptes fonamentals

2.    Per què Representació del Coneixement i Raonament?

3.    El rol de la lògica

2.    El llenguatge de la Lògica de Primer Orde

4.    Introducció

5.    Sintaxi

6.    Semàntica

7.    Ús

8.    Creences explicites i implícites

3.    Expressió del coneixement

9.    Enginyeria del Coneixement

10.Vocabulari

11.Fets bàsics

12.Fets complexos

13.Fets terminològics

14.Implicació

15.Individus abstractes

4.    Resolució

16.El cas proposicional

17.Maneig de variables i quantificadors

18.Intractabilitat

5.    Raonament amb clàusules d'Horn

19.Clàusules d'Horn

20.Resolució SLD

21.Derivacions SLD

6.    Control procedural del raonament

22.Fets i regles

23.Formació de regles i estratègia de recerca

24.Disseny d'algoritmes

25.Ordenació d'objectius

26.Mètode de prova

Control del backtraking

Negació com a fallada

Bases de dades dinàmiques

7.    Regles en sistemes de producció

27.Operació bàsica

28.Memòria de treball

29.Regles de producció

30.Exemples

31.Resolució de conflictes

32.Eficiència en els sistemes de producció

33.Aplicacions i avantatges

34.Alguns sistemes de producció destacables

8.    Representació Orientada a Objectes

35.Objectes i frames

Un formalisme bàsic de frames

Exemples

Aspectes avançats dels frames

9.    Descripcions

36.Introducció

37.Un llenguatge de descripcions

38.Significat i implicació

39.Càlcul d'implicacions

40.Taxonomies i classificació

41.Aspectes avançats de les descripcions

10.Herència

42.Xarxes d'herència

43.Estratègies per a l'herència vencible

44.Un marc formal per a les xarxes d'herència

11.Defecte

45.Introducció

46.Raonament “món tancat”

47.Circumscripció

48.Lògica per defecte

49.Lògica auto epistèmica

12.Vaguetat, incertesa i graus de coneixement

50.Raonament no categòric

51.Probabilitat objectiva

52.Probabilitat subjectiva

53.Vaguetat