Représentation de phrases

Pour les questions des deux pages de ce document (à préparer chez vous, comme pour tous les TDs/TPs), revoyez tout d'abord les pages 4 et 5 du support de cours, puis les exemples de l'annexe du support de cours. Ci-dessous,
* "QuantifCtxt" est l'abréviation de "context for (representing the) quantifiers",
   (dans les deux 1ères pages de l'annexe, "FLc" réfère à "FL with QuantifCtxt"
    et "FLnc" réfère à "FL without QuantifCtxt")
* en FL et FE, les noeuds relations sont en italique,
* les types de concept ont une initiale en majuscule
   (mais ce n'est pas le cas dans les pages suivantes).

1. Représentez la phrase "Every car has at least a red wheel"
   (dans chacune des notations indiquées ci-dessous)

   FL without quantifCtxt:      
   FL with 2 quantifCtxts:      
   FL with Red first:       
   FL-DF with Car first:    
   FL-DF with Wheel first:  
                            
   FE:                      
   
   

2. Représentez la phrase "There is a wheel shared by every car".

   FL without quantifCtxt:      
   FL with a quantifCtxt:       
   FL with Car first:       
   FL-DF with Wheel first:  
   FL-DF with Car first:    
   FE:                      
   
   

   Solutions à ces 2 premières questions
   
   
3. Représentez la phrase "Every red car has at least a wheel".

   FL without quantifCtxt:      
   FL-DF with Car first:    
                            
   FE:                      
   
   

4. Représentez en FL et et FL-DF la phrase  "by definition, any man loves Paris and loves at least 3 red hats" (utilisez des relations 'agent', 'object' et 'color' ainsi que les variables ?l1 et ?l2 ; inutile de préfixer les termes).

   FL without quantifCtxt:
   
   FL with quantifCtxt:
   
   
   

5. Représentez en FL la phrase suivante: "in 2012, every man believed that he loved himself" (utilisez les relations 'believer', 'agent' et 'object' ainsi que les variables ?m et ?l ; inutile de préfixer les termes).

   FL without quantifCtxt: 
   
   FL with quantifCtxt: 
   
   FL-DF: 
   
   

Solutions
(accessible lorsque, pour tous les groupes, les TDs/TPs relatifs ces questions sont achevés).

Méta-phrases (e.g. contextes)

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.

Solution.

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.

Solution.