Solutions aux questions de la 2ème page de ce TD/TP.
Représentez dans le LRC que vous souhaitez
– après l'avoir précisé – et en respectant les règles
de modélisation données en cours, la phrase
"If a student S does not ask a teacher about a point P at a time T, this is because
he (S) has understood this point before T or he does not want to learn P".
Notes :
- pour représenter le "or", utilisez une relation de type "or" entre 2 phrases,
- rappelez vous qu'une relation est une phrase,
- en FL, 14 relations (dont 2 relations de type "time") suffisent pour la
représentation demandée (→ 3 à 5 lignes);
vous avez déjà vu plusieurs fois en cours
les autres relations nécessaires.
FL: [ [a Student ?s not agent of: (an Asking recipient: a Teacher, object: a Point ?p)]
time: ?t ]
~~> [ [ [?s agent of: (an Understanding object: ?p)] time: (?t2 successor: ?t) ] or:
[?s not agent of: (a Wanting object: [?s agent of: (a Learning object: ?p)]) ]
]
Représentez dans le LRC que vous souhaitez
– après l'avoir précisé – et en respectant les règles
de modélisation données en cours, la phrase
"Having studied the E5_course is sufficient for a student to represent this phrase".
Notes :
- la solution à cet exercice ressemble
à celle pour l'exercice précédent
(avec 2 lignes au lieu de 4 ou 5),
- en FL, 4 relations suffisent pour la représentation demandée.
FL: [a Phrase ?p [a Student ?s agent of: (a Study object: the E5_course)]
~~> [?s can be agent of: (a Representing object: ?p)]
]