• Esprimere in SNEPS (linguaggio grafico) le seguenti asserzioni:

"Il ragazzo di nome Giorgio è uno studente"

"Gli studenti frequentano una scuola"

  • Parafrasare le seguenti espressioni (nella rappresentazione interna di SNEPS):

(M1! (AGENT STU) (LOCATION HERE) (STATE IS))

(M3! (FORALL V1) (ANT (P1 (CLASS PERSON) (MEMBER V1)))

(CQ

(P4 (DO (P3 (ACTION SAY) (OBJECT1 Hello new) (OBJECT2 V1)))

(WHEN (P2 (AGENT V1) (LOCATION HERE) (STATE IS))))))

[rappresentazione della stessa rete in linguaggio utente, fornita per maggiore completezza: 

(assert forall $p

ant (build member *p class person)

cq (build when (build agent *p state is location here)

do (build action say

object1 "Hello new"

object2 *p)))

]

  • Come si presenta graficamente la rete che le rappresenta?
Ultime modifiche: giovedì, 15 maggio 2014, 15:39