Guia d'estudi: Intel·ligència Artificial - La Salle

ens ajudarem de la primitiva SETF, que és la que realment crearà una instància del
tipus d’aquesta nova estructura.
Vegeu la forma genèrica del DEFSTRUCT i com usar el MAKE- en els exemples
següents [Golobardes2002a]p28-p30
Modificacions
Per modificar els valors dels camps que té la nova estructura, ens ajudarem de la
primitiva SETF.
Cal preveure des de bon principi tots els camps que tindrà la nova estructura, ja que
un cop creada no se’n podran afegir de nous.
Vegeu com realitzar modificacions dels camps usant el SETF a
[Golobardes2002a]p28-p30
Consultes
Al crear una nova estructura també es creen automàticament els mecanismes
associats a ella per realitzar els diferents tipus de consulta:
1. Predicat que consulti si una certa variable és del nou tipus de dades creat:
NomEstructura-P
2. Consulta d’un camp d’aquesta nova estructura: NomEstructura-NomCamp.
3. Consulta d’una variable d’algun tipus d’estructura: DESCRIBE.
Vegeu exemples de consultes sobre estructures a [Golobardes2002a]p28-p30
2.1.13. Estructures propietat-valor
Les primitives SETF, GET i REMPROP ens permetran treballar amb estructures de
dades propietat-valor, les quals seran força útils en les representacions basades en
frames que veurem en el capítol de Representació del coneixement – Raonament.
SETF i GET
La primitiva GET permet recuperar el valor assignat a una propietat associada a un
símbol. S’usa de la manera següent: (GET ).
Per assignar una propietat i un valor de propietat a un símbol, s’usa la funció SETF, de
tal manera que: (SETF (GET ) ).
D’aquesta manera, el primer cop que usem aquesta sentència amb un símbol i amb
una propietat particular, el que fem és crear aquesta propietat associada al símbol. Per
tant, SETF esdevé un procés constructor i un procés d’escriptura.
Vegeu [Golobardes2002a]p30
34