1 / 26

Systèmes Applicatifs

Systèmes applicatifs, logique combinatoire et applications au domaine du traitement de la langue Ismaïl BISKRI ismail.biskri@uqtr.ca. Systèmes Applicatifs . Le langage applicatif s'organise autour de trois classes essentielles d'objets : • Les termes.

meli
Download Presentation

Systèmes Applicatifs

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Systèmes applicatifs, logique combinatoire et applications au domaine du traitement de la langueIsmaïl BISKRIismail.biskri@uqtr.ca

  2. Systèmes Applicatifs • Le langage applicatif s'organise autour de trois classes essentielles d'objets : • Les termes. • Les propositions (qui n’ont pas forcément comme interprétation vrai ou faux). • Les opérateurs. • Un opérateur s'applique à un ou plusieurs opérandes pour produire un "résultat". Il agit sur un opérande par l'opération "application". • L'application d’un opérateur « f » à un opérande « a » est notée par la simple juxtaposition « f a ».

  3. Systèmes Applicatifs • L'ensemble des types d'objets d'un système applicatif est construit par les règles récursives suivantes : • p (proposition) et t (terme) sont des types de base; • Les types de base sont des types ; • Si a et b sont des types alors (F a b) est un type. • F est un opérateur pour la simplification des types, • (F a b) est un type fonctionnel, il représente le type de toutes les fonctions allant de a vers b.

  4. Systèmes Applicatifs • La simplification des types est obtenue avec la règle applicative suivante : F a b , a -------------------- b • a est le type de l'opérande • F a b est le type de l'opérateur • b le type de l'application de l'opérateur à l'opérande.

  5. Logique Combinatoire • quelques combinateurs : B, C*, F, C , … • Règles de b-réduction : • B X Y z >> X (Y z) • C* x Y >> Y x • (F U1 U2 U3) U4 >> U1 ((U2 U4) (U3 U4)) • C X Y Z >> X Z Y

  6. Logique Combinatoire • B B C x y z u v • B (C x) y z u v • C x (y z) u v • x u (y z) v

  7. Grammaire Catégorielle Combinatoire Applicative Grammaires Catégorielles • Les unités linguistiques fonctionnent comme des opérateurs ou comme des opérandes avec des types différents (catégories). • Règles Applicatives :X/Y - Y Y - X\Y -----------> ; -----------< X X • [Jean : N] - [dort : S\N] ---------------------------------------------------------< S

  8. Grammaire Catégorielle Combinatoire Applicative Grammaire Catégorielle Combinatoire Applicative(Biskri, 2009 ; Biskri & Desclés, 1997 ; 2006)

  9. Grammaire Catégorielle Combinatoire Applicative Exemple 1La liberté renforce la démocratie 1. [N/N : la]-[N : liberté]-[(S\N)/N : renforce]-[N/N : la]-[N : démocratie] 2. [N : (la liberté)]-[(S\N)/N : renforce]-[N/N : la]-[N : démocratie] (>) 3. [S/(S\N):(C* (la liberté))]-[(S\N)/N: renforce]-[N/N: la]-[N: démocratie] (>T) 4. [S/N : (B (C* (la liberté))renforce)]-[N/N : la]-[N : démocratie] (>B) 5. [S/N : (B (B (C* (la liberté))renforce)la)]-[N : démocratie] (>B) 6. [S : ((B (B (C* (la liberté))renforce)la)démocratie)] (>) 7. ((B (B (C* (la liberté))renforce)la)démocratie) 8. ((B (C* (la liberté))renforce) (ladémocratie)) B 9. ((C* (la liberté)) (renforce (ladémocratie))) B 10. ((renforce (ladémocratie)) (la liberté))) C* 11. renforce (ladémocratie) (la liberté)

  10. Grammaire Catégorielle Combinatoire Applicative Exemple 2تدعم الحرية الديمقراطية (Thoudaiimou elhouriathou eddimouqratiyatha)renforce la-liberté la-démocratie 1. [(S/N)/N : thoudaiimou]-[N : elhouriyathou]-[N : eddimouqratiyatha] 2. [(S/N)/N: thoudaiimou]-[S\(S/N):(C*elhouriyathou)]-[N: eddimouqratiyatha] (<T) 3. [S/N : (B (C*elhouriyathou) thoudaiimou)]-[N : eddimouqratiyatha] (<Bx) 4. [S : ((B (C*elhouriyathou)thoudaiimou)eddimouqratiyatha)] (>) 5. ((B (C*elhouriyathou)thoudaiimou)eddimouqratiyatha) 6. ((C*elhouriyathou) (thoudaiimoueddimouqratiyatha)) B 7. ((thoudaiimoueddimouqratiyatha) elhouriyathou) C* 8. thoudaiimoueddimouqratiyathaelhouriyathou

  11. Grammaire Catégorielle Combinatoire Applicative Exemple 3الحرية تدعم الديمقراطية (elhouriathou thoudaiimou eddimouqratiyatha)la-liberté renforce la-démocratie 1. [N : elhouriyathou]-[(S/N)/N : thoudaiimou]-[N : eddimouqratiyatha] 2. [S/(S/N):(C*elhouriyathou)]-[(S/N)/N: thoudaiimou]-[N: eddimouqratiyatha] (>Tx) 3. [S/N : (B (C*elhouriyathou) thoudaiimou)]-[N : eddimouqratiyatha] (>B) 4. [S : ((B (C*elhouriyathou)thoudaiimou)eddimouqratiyatha)] (>) 5. ((B (C*elhouriyathou)thoudaiimou)eddimouqratiyatha) 6. ((C*elhouriyathou) (thoudaiimoueddimouqratiyatha)) B 7. ((thoudaiimoueddimouqratiyatha) elhouriyathou) C* 8. thoudaiimoueddimouqratiyathaelhouriyathou

  12. Grammaire Catégorielle Combinatoire Applicative Coordination (1) • Les éléments coordonnés sont généralement de la même nature et ont la même fonction : • Jean admire [les hommes courageux]N et [les femmes cultivées]N • John likes [walking]N\N and [runing] N\N • youkhatibou elibnou [abahou]N wa [oumahou]N bi hananin يخاطب الإبن أباه و أمه بحنان Discute-avec le-fils [son-père] et [sa-mère] avec tendresse

  13. Grammaire Catégorielle Combinatoire Applicative Coordination (2) • Toutefois, il n’est pas rare de rencontrer des cas de coordinations d’éléments de différentes natures bien que de même fonction : • Le touriste regarde ce lion [toujours immobile]N\N et [qui semble dormir]N\N • My [lawyer]N and [I]N need more witnesses • thaâhadaettarafani[bi eliîthirafielmouthabadili]Nwa[bi elimthinaiiânayithaharoukathinâskariyathin]N أي تحركات عسكريةالمتبادل وبالامتناع عنبالاعتراف تعهد الطرفان Se-sont-entendu les-deux-parties [pour une reconnaissance mutuelle] et [pour éviter toute manœuvre militaire]

  14. Grammaire Catégorielle Combinatoire Applicative Coordination (3) Ou certains cas de coordinations d’éléments de natures différentes ainsi que de fonctions différentes. • Pat est [un républicain]N et [fier de l'être]N\N • Pat is [a republican]N et [proud ofit]N\N • asbaha Malikoun [mouâliman] N wa [fakhourran bi mansibihi] N\N بمنصبهفخورامعلما وأصبح مالك Est-devenu Malik [Professeur] et [fìer de son poste]

  15. Grammaire Catégorielle Combinatoire Applicative Coordination (4) • Coordination de “constituants" versus coordination de "non-constituants" • [Jean]N aime [Marie]N et [Paul Sophie]N-N • John loves [Mary madly] and [Lucy widly] • youkhatibou elibnou [abahou bi ihthiramin] wa [oumahou bi hananin] يخاطب الإبن أباه باحترام و أمه بحنان • yaakoulou [elqirdou elmawza] wa [eddoubou elâssala] الموز و الدب العسلالقرديأكل Mange [le-singe les-bananes] et [l’ours le-miel]

  16. Grammaire Catégorielle Combinatoire Applicative yaakoulouelqirdouelmawzawaeddoubouelâssalaالموز و الدب العسلالقرديأكلMange [le-singe les-bananes] et [l’ours le-miel] 1. [(S/N)/N : yaakoulou]-[N : elqirdou]-[N : elmawza]-[CONJD : wa]-[N : eddoubou]-[N : elâssala] 2. [(S/N)/N : yaakoulou]-[S\(S/N) : (C*elqirdou)]-[N : elmawza]-[CONJD : wa]-[N : eddoubou]-[N : elâssala] (<T) 3. [S/N : (B (C*elqirdou) yaakoulou)]- [N : elmawza]-[CONJD : wa]-[N : eddoubou]-[N : elâssala(<Bx) 4. [S : ((B (C*elqirdou) yaakoulou) elmawza)]-[CONJD : wa]-[N : eddoubou]-[N : elâssala] (>) 5. [S : ((B (C*elqirdou) yaakoulou) elmawza)]-[CONJD : wa]-[S/(S/N) : (C*eddoubou)]-[N : elâssala] (>Tx) 6. [S : ((B (C*elqirdou) yaakoulou) elmawza)]-[CONJD : wa]-[S/(S/N) : (C*eddoubou)]-[(S/N)\((S/N)/N) : (C*elâssala)] (<Tx) 7. [S : ((B (C*elqirdou) yaakoulou) elmawza)]-[CONJD : wa]-[S\((S/N)/N) : (B (C*eddoubou) (C*elâssala))] (>Bx) 8. [S : ((B (C*elqirdou) (C*elmawza)) yaakoulou)]-[CONJD : wa]-[S\((S/N)/N) : (B (C*eddoubou) (C*elâssala))] 9. [(S/N)/N: yaakoulou]-[S\((S/N)/N): (B (C*elqirdou) (C*elmawza))]-[CONJD : wa]-[S\((S/N)/N) : (B (C* eddoubou) (C*elâssala))] 10. [(S/N)/N: yaakoulou]-[S\((S/N)/N): (Fwa (B (C*elqirdou) (C*elmawza)) (B (C*eddoubou) (C*elâssala)))] (<CONJD>) 11. [S\((S/N)/N): ((Fwa (B (C*elqirdou) (C*elmawza)) (B (C*eddoubou) (C*elâssala)))yaakoulou)] (<)

  17. Grammaire Catégorielle Combinatoire Applicative yaakoulou elqirdou elmawza wa eddoubou elâssalaالموز و الدب العسلالقرديأكل 12. ((Fwa (B (C*elqirdou) (C*elmawza)) (B (C*eddoubou) (C*elâssala)))yaakoulou) 13. (wa ((B (C*elqirdou) (C*elmawza))yaakoulou) ((B (C*eddoubou) (C*elâssala))yaakoulou)) F 14. (wa ((C*elqirdou) ((C*elmawza)yaakoulou)) ((B (C*eddoubou) (C*elâssala))yaakoulou)) B 15. (wa (((C*elmawza)yaakoulou)elqirdou) ((B (C*eddoubou) (C*elâssala))yaakoulou)) C* 16. (wa ((yaakoulouelmawza)elqirdou) ((B (C*eddoubou) (C*elâssala))yaakoulou)) C* 17. (wa ((yaakoulouelmawza)elqirdou) ((C*eddoubou) ((C*elâssala)yaakoulou))) B 11. (wa ((yaakoulouelmawza)elqirdou) (((C*elâssala)yaakoulou)eddoubou)) C* 12. (wa ((yaakoulouelmawza)elqirdou) ((yaakoulouelâssala)eddoubou)) C* (wa ((yaakoulouelmawza)elqirdou) ((yaakoulouelâssala)eddoubou)) Wa =  ( ((yaakoulouelmawza)elqirdou) ((yaakoulouelâssala)eddoubou))

  18. Grammaire Catégorielle Combinatoire Applicative youkhatibouelibnouabahou bi ihthiraminwaoumahou bi hananinيخاطب الإبن أباه باحترام و أمه بحنانdiscute-avec le-fils [son-père avec-respect] et [sa-mère avec-tendresse] 1. [(S/N)/N : youkhatibou]-[N : elibnou]-[N : abahou]-[(S/N)\(S/N) : bi-ihthiramin]-[CONJD : wa]-[N : oumahou]-[(S/N)\(S/N) : bi-hananin] 2. [(S/N)/N : youkhatibou]-[S\(S/N):(C*elibnou)]-[N : abahou]-[(S/N)\(S/N) : bi-ihthiramin]-[CONJD : wa]-[N : oumahou]-[(S/N)\(S/N) : bi-hananin] (<T) 3. [S/N : (B (C*elibnou) youkhatibou)]-[N : abahou]-[(S/N)\(S/N) : bi-ihthiramin]-[CONJD : wa]-[N : oumahou]-[(S/N)\(S/N) : bi-hananin] (<Bx) 4. [S : ((B (C*elibnou) youkhatibou) abahou)]-[(S/N)\(S/N) : bi-ihthiramin]-[CONJD : wa]-[N : oumahou]-[(S/N)\(S/N) : bi-hananin] (>) 5. [S/(S/N) : (C*elibnou)]-[S/N : (youkhatibouabahou)]-[(S/N)\(S/N) : bi-ihthiramin]-[CONJD : wa]-[N : oumahou]-[(S/N)\(S/N) : bi-hananin] 6. [S/(S/N) : (C*elibnou)]-[S/N : (bi-ihthiramin (youkhatibouabahou))]-[CONJD : wa]-[N : oumahou]-[(S/N)\(S/N) : bi-hananin] (<) 7. [S : ((C*elibnou) (bi-ihthiramin (youkhatibouabahou)))]-[CONJD : wa]-[N : oumahou]-[(S/N)\(S/N) : bi-hananin] (>)

  19. Grammaire Catégorielle Combinatoire Applicative youkhatibouelibnouabahou bi ihthiraminwaoumahou bi hananinيخاطب الإبن أباه باحترام و أمه بحنان 8. [S : ((C* elibnou) (bi-ihthiramin (youkhatibouabahou)))]-[CONJD : wa]-[(S/N)\((S/N)/N) : (C*oumahou)]-[(S/N)\(S/N) : bi-hananin] (<T) 9. [S : ((C* elibnou) (bi-ihthiramin (youkhatibouabahou)))]-[CONJD : wa]-[(S/N)\((S/N)/N) : (Bbi-hananin (C*oumahou))](<B) 10. [S/(S/N) : (C* elibnou)]-[S/N : ((Bbi-ihthiramin (C*abahou)) youkhatibou) ]-[CONJD : wa]- [(S/N)\((S/N)/N) : (Bbi-hananin (C*oumahou))] 11. [S/(S/N) : (C* elibnou)]-[(S/N)/N : youkhatibou]-[(S/N)\((S/N)/N) : (Bbi-ihthiramin (C*abahou))]-[CONJD : wa]- [(S/N)\((S/N)/N) : (B bi-hananin (C*oumahou))] 12. [S/(S/N) : (C* elibnou)]-[(S/N)/N : youkhatibou]-[(S/N)\((S/N)/N) : (Fwa (Bbi-ihthiramin (C*abahou)) (Bbi-hananin (C*oumahou)) )] (<CONJD>) 13. [S/(S/N) : (C* elibnou)]-[(S/N) : ((Fwa (Bbi-ihthiramin (C*abahou)) (Bbi-hananin (C*oumahou))) youkhatibou)] (<) 14 [S : ((C* elibnou) ((Fwa (Bbi-ihthiramin (C*abahou)) (Bbi-hananin (C*oumahou))) youkhatibou)))] (<)

  20. Grammaire Catégorielle Combinatoire Applicative youkhatibouelibnouabahou bi ihthiraminwaoumahou bi hananinيخاطب الإبن أباه باحترام و أمه بحنان 15. ((C*elibnou) ((Fwa (Bbi-ihthiramin (C*abahou)) (Bbi-hananin (C*oumahou))) youkhatibou))) 16. (((Fwa (Bbi-ihthiramin (C*abahou)) (Bbi-hananin (C*oumahou))) youkhatibou))) elibnou) C* 17. ((wa ((Bbi-ihthiramin (C*abahou)) youkhatibou) ((Bbi-hananin (C*oumahou)) youkhatibou))) elibnou) F 18. ((wa (bi-ihthiramin ((C*abahou) youkhatibou)) ((Bbi-hananin (C*oumahou)) youkhatibou))) elibnou) B 19. ((wa (bi-ihthiramin (youkhatibouabahou)) ((Bbi-hananin (C*oumahou)) youkhatibou))) elibnou) C* 20. ((wa (bi-ihthiramin (youkhatibouabahou)) (bi-hananin ((C*oumahou) youkhatibou))) elibnou) B • ((wa (bi-ihthiramin (youkhatibouabahou)) (bi-hananin (youkhatibououmahou))) elibnou) C* ((wa (bi-ihthiramin (youkhatibouabahou)) (bi-hananin (youkhatibououmahou))) elibnou) Wa =  (( (bi-ihthiramin (youkhatibouabahou)) (bi-hananin (youkhatibououmahou))) elibnou)

  21. Grammaire Catégorielle Combinatoire Applicative Accord morphologique fort vs accord faible al-awlaad-u xaraj -uu ------------- ------ ----- N*3PM S/N* (S\N*3PM)\(S/N*) ----------------------------------------------------------< S\N*3PM -------------------------------------------< S xaraj -uu hum ------ ----- ------ S/N* (S/P3PM)\(S/N*) P3PM -----------------------------------------< S/P3PM -----------------------------------------------------------------> S

  22. Grammaire Catégorielle Combinatoire Applicative xaraj -a al-awlaad-u ------- ---- ---------------- S/N* (S/N*3M)\(S/N*) N*3PM ------------------------------------------< S/N*3M ------------------------------------------------------> S *xaraj -uu al-awlaad-u ------- ---- ---------------- S/N* (S\N*3PM)\(S/N*) N*3PM --------------------------------------------< S\N*3PM ---------------------------------------------------------------Échec

  23. Grammaire Catégorielle Combinatoire Applicative Xaraj -a al-awlaad-u wa al-banaat-u ------ ----- -------------- ----- -------------- S/N* (S/N*3M)\(S/N*) N*3PM (X\X)/X N*3PF -----------<T S\(S/Ns3PM) -----------------------------------<B S\(S/N*) -----------<T S\(S/N*3PF) ------------------------------------------------------------------------------- (X\X)/X S\(S/N*) ---------------------------------< S

  24. Grammaire Catégorielle Combinatoire Applicative xaraj -uu hum waakhawaat -u –hum ------ ----- ------ ---- ----------------------- S/N* (S/P3PM)\(S/N*) P3PM (X\X)/X N*3PF -------<T S\(S/P3PM) ---------------------------------<B S\(S/N*) ---------------<T S\(S/N*3PF) -------------------------------------------------------------------------(X\X)/X S\(S/N*) --------------------< S

  25. Grammaire Catégorielle Combinatoire Applicative Conclusion • Le modèle se prête au multilinguisme • La stratégie de mise en œuvre nécessite des connaissances spécifiques de la langue : ordre des mots. • Métarègles de contrôle du déclenchement des règles de changement de type doivent être spécifiques à chaque langue.

  26. Applications au WEB Reformulation de la requête Requête (mots clés) Pages web Assignation des types catégoriels Au moment de la création de la page WEB ??? Relation entre mots + mesure sur la force de la relation Classe 1 Classe2 Classe n Analyse catégorielle à la carte

More Related