Abstrakt Kateqorial Qrammatika (Abstract Categorial Grammar, ACG), törəmə strukturlarını tiplənmiş lambda hesabı vasitəsilə başqa sintaktik və ya semantik təsvirlərə homomorf şəkildə uyğunlaşdıra bilən tip-nəzəri qrammatika çərçivəsidir. Aleksandre Maskharashvili, Symon Jory Stevens-Guille və Elena Vaikšnoraitė bu tədqiqatda ACG-dən Ağac-Birləşdirmə Qrammatikası (Tree-Adjoining Grammar, TAG) əsaslı sintaksis ilə Neo-Davidsonçu mənfi-hadisə semantikası arasında tam kompozisional interfeys qurmaq üçün istifadə edirlər. Tədqiqat eksperiment və ya istifadəçi məlumatı yaratmır; qrammatikalar, tip sistemləri, lambda terminləri və yüksək dərəcəli məntiqi semantika üzərində formal struktur hazırlayır.

Əsas problem inkar ilə kəmiyyətləndirmə arasındakı əhatə dairəsi qarşılıqlı təsiridir. Standart event-semantics yanaşmalarında “Everybody does not smile” və ya “A boy does not smile” kimi cümlələr birdən çox şərh daşıya bilər. Bir oxunuşda kəmiyyətləndirici inkardan daha geniş əhatə dairəsi alır, başqa bir oxunuşda isə inkar kəmiyyətləndiricinin hamısını əhatə edir. Əvvəlki TAG və Montague-tipli yanaşmalar bu oxunuşların hamısını eyni kompozisional arxitekturada yaratmaqda çətinlik çəkir.

Məqalə əvvəlcə TAG törəmələrini birbaşa mənfi-hadisə semantikasına uyğunlaşdıran bir ACG qurur. Bu ilkin arxitektura düzgün səthi əhatə oxunuşlarını, uyğun isim birləşməsi tiplərini, hadisə dəyişənlərini və fellərdəki tematik rolları qoruyur; control, raising və report fellərindəki argument-sharing strukturlarını da modelləşdirə bilir. Lakin fel birləşməsi səviyyəsindəki inkarın mübtəda mövqeyindəki kəmiyyətləndirici isim birləşməsindən daha geniş əhatə almalı olduğu tərs-əhatə oxunuşlarını yaratmaq mümkün olmur.

Müəlliflərin həlli TAG-ın səthi sintaksisini dəyişdirmək əvəzinə törəmə strukturunu genişləndirməkdir. Fel tərəfindən ankerlənən TAG əsas ağaclarına adi VP-adjunction sahəsindən ayrı, yalnız verbal inkar üçün istifadə edilən ikinci bir adjunction sahəsi əlavə olunur. Bu yeni sahə semantikada yalnız fel birləşməsi üzərində deyil, mübtəda ilə fel birləşməsinin birləşdiyi bütün cümlə üzərində əhatə ala bilər. Beləliklə, əvvəllər əldə edilə bilməyən tərs-əhatə oxunuşları törədilə bilir, genişləndirilmiş struktur standart TAG derived tree-yə geri uyğunlaşdırıldıqda isə adi sintaktik təsvir qorunur.

Müəlliflər həmçinin genişləndirmənin ACG arxitekturasını ikinci dərəcə daxilində saxladığını və buna görə müvafiq polinom-zamanlı parsing və generation alqoritmlərinin tətbiq oluna bilməsinin qorunduğunu irəli sürürlər. Bu nəticə eksperimental iş vaxtı ölçümü deyil, istifadə olunan formal qrammatika sinfinin hesablama xüsusiyyətinə əsaslanan nəzəri nəticədir.

Tədqiqatın əsas problemi

Təbii dilin sintaksisi ilə semantikası arasında formal uyğunlaşdırma qurmaq yalnız sözlərin mənalarını birləşdirməkdən daha mürəkkəbdir. Kəmiyyətləndiricilər, inkar, hadisə dəyişənləri, budaq cümlələr və argument-sharing kimi strukturlar eyni sintaktik ardıcıllığın birdən çox məntiqi oxunuş yaratmasına səbəb ola bilər.

Məqalənin çıxış nöqtəsi əvvəlki iki yanaşma arasındakı gərginlikdir. Bernard və Champollion-un mənfi-hadisə semantikası inkarı ətraflı şəkildə işləyə bilir; lakin istifadə etdikləri sintaksis–semantika düzümünün Montague-tipli homogen isim birləşməsi tiplərindən və hesablama baxımından yaxşı tədqiq olunmuş sintaksis formalizmindən uzaqlaşan cəhətləri vardır. Blanck və Maskharashvili-nin ACG/TAG yanaşması isə standart sintaksis formalizmi və Montague kompozisionallığı baxımından güclüdür, lakin inkarla kəmiyyətləndiricilərin bəzi əhatə qarşılıqlı təsirlərini yarada bilmir.

Müəlliflərin tədqiqat sualı bu iki üstünlüyün birləşdirilib-birləşdirilə bilməməsidir: mənfi-hadisə semantikası, TAG əsaslı və ACG ilə modelləşdirilən, isim birləşmələrini Montague üslubunda vahid tip altında nəzərdən keçirən tam kompozisional arxitekturaya köçürülə bilərmi və bu arxitektura inkarla kəmiyyətləndiricilərin zəruri əhatə oxunuşlarını qoruya bilərmi?

Mənfi-Hadisə Semantikası Nədir?

Mənfi-hadisə semantikası, hadisə xassəsinin inkarını yalnız klassik proposisional inkar kimi deyil, müsbət hadisələr çoxluğu ilə uyğunsuz “anti-hadisələr” çoxluğu vasitəsilə təmsil edən Neo-Davidsonçu event-semantics yanaşmasıdır; mənfi hadisənin həqiqətən baş verdiyini demək üçün əlavə olaraq actual predikatı ilə baş vermiş hadisələr baş verməmiş hadisələrdən ayrılır.

Neo-Davidsonçu hadisə təsviri

Neo-Davidsonçu semantikada fellər bütün iştirakçıları birbaşa arqument kimi alan çoxyerli predikatlar əvəzinə hadisələr üzərində biryerli predikatlar kimi nəzərdən keçirilə bilər. İştirakçılar hadisə ilə tematik rollar vasitəsilə əlaqələndirilir. Məsələn, “Eva saw Adam” cümləsinin hadisə əsaslı təhlilində görmə hadisəsi və bu hadisənin agenti ilə teması ayrıca münasibətlər kimi göstərilə bilər.

Bu struktur zərflərin, tematik rolların və müxtəlif hadisə münasibətlərinin vahid hadisə dəyişəni ətrafında birləşdirilməsini asanlaşdırır. Lakin inkar, xüsusilə qavrayış felləri və əhatə alan strukturlarla birləşdikdə, adi proposisional inkarın yerləşdiriləcəyi mövqe ciddi problemlər yarada bilər.

“Eva saw Adam not smile” problemi

Mənbə klassik problemi “Eva saw Adam not smile” nümunəsi ilə izah edir. Cümlə yalnız Eva-nın Adamı gülümsəyərkən görmədiyini demir; təbii oxunuşda Eva Adamın gülümsəmədiyi vəziyyəti görmüşdür və bundan Adamın gülümsəmədiyi nəticəsi çıxır.

Sadəcə “Adamın gülümsədiyi bir hadisənin Eva tərəfindən görülmüş olması doğru deyil” formasındakı təsvir kifayət deyil; çünki Adam əslində gülümsəmiş, lakin Eva bunu görməmiş də ola bilər. İnkarın yalnız hadisə predikatının önünə yerləşdirilməsi də “gülümsəmə olmayan hər hansı hadisə”ni seçə biləcəyi üçün düzgün həqiqət şərtlərinə zəmanət vermir.

Neg və actual fərqi

Mənfi-hadisə yanaşmasında hadisələr üzərində təyin olunmuş hər \(P\) xassəsi üçün bir \(Neg\,P\) anti-çoxluğu nəzərdə tutulur. \(P\)-hadisələri ilə \(Neg\,P\)-hadisələri başvermə baxımından bir-biri ilə uyğunsuz hesab olunur.

Hadisənin yalnız formal sahədə mövcud olması onun baş verdiyi demək deyil. Buna görə:

\[ actual(e) \]

predikatı \(e\) hadisəsinin baş verdiyini ifadə edir.

Mənbədə istifadə olunan əsas inkar prinsipi sxematik olaraq belədir:

\[ \left(\exists^{v} e.\,(Neg\,P\,e)\land actual(e)\right) \Longleftrightarrow \left(\forall^{v} e'.\,P(e')\Rightarrow\neg actual(e')\right) \]

Sol tərəf baş vermiş anti-\(P\) hadisəsinin mövcudluğunu; sağ tərəf isə heç bir \(P\) hadisəsinin baş vermədiyini ifadə edir. Bu struktur müsbət hadisə ilə ona uyğun mənfi hadisənin eyni anda baş vermiş sayılmasının qarşısını alır.

İkiqat inkar

Bernard və Champollion sistemində baş vermiş hadisələr baxımından ikiqat inkarın ləğvi əldə edilir: baş vermiş \(P\)-hadisəsi ilə baş vermiş anti-anti-\(P\) hadisəsi ekvivalent davranır. Bununla belə, mənbə \(Neg(Neg P)\) ilə \(P\)-nin bütün semantik məkanda eyni çoxluqlar olduğu kimi daha güclü nəticə irəli sürmür.

Qavrayış fellərində baş vermiş alt hadisə

Mənfi-hadisə nəzəriyyəsinin işlədiyi başqa problem qavrayış felləridir. “Eva saw Adam smiling” kimi cümlədə görmə hadisəsi baş veribsə, qavranılan Adamın gülümsəmə hadisəsinin də baş verməsi gözlənilir. Bernard və Champollion bunu mənbədə “No Hallucination Axiom” adlandırılan əlavə prinsip ilə modelləşdirir.

Bu aksiom məqalənin hazırladığı yeni ACG arxitekturasının orijinal töhfəsi deyil; müəlliflərin inteqrasiya etməyə çalışdıqları mənfi-hadisə semantikasının fonunun bir hissəsidir.

Tree-Adjoining Grammar necə işləyir?

Ağac-Birləşdirmə Qrammatikası (Tree-Adjoining Grammar, TAG), təbii dil sintaksisini başlanğıc ağacların və köməkçi ağacların substitution və adjunction əməliyyatları ilə birləşməsi vasitəsilə yaradan, zəif kontekstə-həssas qrammatika formalizmidir.

Başlanğıc ağaclar əsas yerli sintaktik strukturları daşıyır. Köməkçi ağaclar isə ağacın uyğun düyününə adjunction vasitəsilə əlavə edilərək rekursiv genişlənmələr yarada bilər. TAG-ın mühüm xüsusiyyəti təbii dil üçün kontekstdən azad qrammatikalardan daha yüksək ifadə gücü təqdim etməklə yanaşı polinom-zamanlı parsing alqoritmlərinin mövcud olmasıdır.

Derived tree ilə derivation tree arasındakı fərq

TAG derived tree, substitution və adjunction əməliyyatlarının sonunda yaranan səthi sintaksis ağacıdır. TAG derivation tree isə bu səthi ağacın hansı əsas ağacların hansı əməliyyatlarla birləşdirilməsi nəticəsində əldə edildiyini qeyd edir.

Mənbədə “Eva claims Adam really wants to smile” nümunəsi bu fərqi göstərmək üçün istifadə olunur. Şəkil 2 əsas TAG ağaclarının necə birləşdirildiyini; Şəkil 3 yaranan derived tree-ni; Şəkil 4 isə eyni strukturun derivation tree-sini göstərir.

Bu fərq məqalənin əsas ideyası üçün kritikdir. Müəlliflərin həlli oxucunun gördüyü standart phrase-structure sintaksisini dəyişdirmək əvəzinə semantikaya məlumat daşıyan derivation tree səviyyəsini zənginləşdirir.

ACG, TAG ilə Semantika Arasında Necə Körpü Qurur?

Abstract Categorial Grammar, TAG derivation tree-lərini ortaq abstrakt dil kimi saxlayaraq tiplənmiş homomorfik lexicon-lar vasitəsilə eyni törəmələri TAG derived tree-lərinə, səthi sətirlərə və ya yüksək dərəcəli məntiqi semantik təsvirlərə uyğunlaşdırmaqla sintaksis ilə semantika arasında tam kompozisional körpü qurur.

ACG-nin iki səviyyəli arxitekturası

ACG əsasən abstrakt dil ilə obyekt dili arasında uyğunlaşdırma müəyyən edir. Abstrakt dil parse/törəmə strukturlarını təmsil edir. Obyekt dili isə bu strukturların sintaksis ağacı, string və ya məntiqi semantika kimi başqa bir təsviridir.

Mənbədə ACG aşağıdakı dörd komponentlə müəyyən edilir:

\[ G=\langle\Sigma_A,\Sigma_O,L,s\rangle \]

Burada \(\Sigma_A\) abstrakt vocabulary-ni, \(\Sigma_O\) obyekt vocabulary-sini, \(L\) iki vocabulary arasındakı tiplənmiş homomorfik lexicon-u, \(s\) isə qrammatikanın distinguished type-ını təmsil edir.

Bu arxitekturanın mühüm üstünlüyü eyni abstrakt TAG derivation tree dilindən birdən çox obyekt dilinə keçməyin mümkün olmasıdır. Bir lexicon derivation tree-ni derived tree-yə, başqa lexicon isə semantik məntiq formuluna çevirə bilər. Beləliklə, eyni törəmə həm sintaktik, həm də semantik şərhin ortaq mənbəyi olur.

İkinci dərəcəli və almost-linear ACG-lər

Məqalə parsing və generation baxımından hesablama üçün mühüm olan ikinci dərəcəli ACG sinfindən istifadə edir. Semantik təsvirlərdə eyni hadisə dəyişəninin birdən çox yerdə istifadə edilməsi lazım gəldiyinə görə mənbə Kanazawa-nın almost-linear lambda terminləri ilə genişləndirilmiş ikinci dərəcəli ACG yanaşmasından istifadə edir.

Almost-linearity ixtiyari yüksək dərəcəli dəyişən çoxaldılmasına icazə vermir; lakin atomik tipdə olan dəyişənlərin lazım gəldikdə birdən çox yerdə işlədilməsinə imkan verir. Hadisə dəyişəni \(v\) atomik tip olduğuna görə Neo-Davidsonçu semantikada eyni hadisənin fel predikatı və tematik rollarla əlaqələndirilməsi bu çərçivədə həyata keçirilə bilər.

Montague-tipli isim birləşməsi prinsipi

Müəlliflərin qorumaq istədiyi mühüm dizayn prinsiplərindən biri xüsusi adların və kəmiyyətləşdirilmiş isim birləşmələrinin semantik olaraq eyni ümumi tip ailəsinə yerləşdirilməsidir.

Məqalə:

\[ \mho = v\rightarrow t \]

qısaltmasından istifadə edir. Burada \(v\) hadisə tipi, \(t\) həqiqət dəyəri tipidir. Buna görə fel birləşməsi şərhinin tipi:

\[ VP = e\rightarrow\mho \]

və isim birləşməsinin tipi:

\[ NP=(e\rightarrow\mho)\multimap\mho \]

kimi təşkil edilir.

Bu struktur sayəsində “Adam”, “a boy”, “every woman” kimi isim birləşmələri fərqli leksik məzmuna malik olsalar da ortaq yüksək dərəcəli NP tipində işləyə bilir. Bu, məqalənin Bernard və Champollion-un bəzi tip seçimlərindən fərqləndiyi mühüm Montague yönüdür.

Fellərdə tematik rollar

Müəlliflər felin semantik təsvirinə iştirakçılar üçün müəyyənləşdirilmiş tematik rol yuvaları yerləşdirirlər. Məsələn, keçidsiz fel üçün sxematik struktur:

\[ \lambda x.\lambda h.\,(smile(h))\land(arg0(h,x)) \]

kimi qurula bilər. \(x\) iştirakçını, \(h\) isə hadisə dəyişənini təmsil edir. Bernard və Champollion-dan fərqli olaraq tematik rollar fellə ankerlənmiş elementary tree-nin semantik şərhində leksik olaraq göstərilir.

Closure operatorunun rolu

Fel ilə isim birləşməsi birləşdirildikdə nəticə hələ də hadisə xassəsidir; tam proposisiya yaratmaq üçün hadisə dəyişəni baş vermiş hadisə kimi bağlanmalıdır. Mənbənin ACG şərhində closure funksiyası:

\[ L_{eTAGtoNS}(Closure) = \lambda S.\exists^{v}w.\,(S\,w)\land actual(w) \]

formasındadır.

Bu operator cümlənin semantik məzmununa uyğun baş vermiş hadisənin mövcudluğunu ifadə edərək \(v\rightarrow t\) tipli strukturu \(t\)-yə, yəni proposisiya/həqiqət dəyəri tipinə çevirir.

Fel birləşməsi və cümlə səviyyəsində inkar

İlkin ACG arxitekturasında iki fərqli inkar mövqeyi modelləşdirilir. Fel birləşməsi səviyyəsindəki “does not” VP üzərində işləyən dəyişdirici kimi; “it is not the case that” tipli cümlə inkarı isə bütün hadisə xassəsini inkar edən ayrıca struktur kimi təmsil olunur.

Xüsusi adlı sadə cümlələrdə hər iki yol uyğun mənfi-hadisə şərhini yarada bilər. Problem mübtəda mövqeyinə kəmiyyətləşdirilmiş isim birləşməsi gəldikdə ortaya çıxır.

Səthi əhatə və tərs əhatə

“A boy does not smile” cümləsi iki əsas məntiqi formada düşünülə bilər. Səthi əhatə oxunuşunda bir oğlan mövcuddur və həmin oğlan gülümsəmir. Tərs əhatə oxunuşunda isə “bir oğlanın gülümsəməsi” proposisiyasının hamısı inkarın əhatəsinə düşür.

Eyni şəkildə “Every boy does not smile” bir oxunuşda “hər oğlan gülümsəmir” mənasını verərkən, digər oxunuşda “bütün oğlanların gülümsədiyi doğru deyil” mənasına gələ bilər.

İlkin ACG/TAG düzümündə mübtəda isim birləşməsi dəyişdirilmiş fel birləşməsini operand kimi aldığı üçün kəmiyyətləndirici sistematik şəkildə fel birləşməsi inkarından daha geniş əhatə alır. Bu sintaktik düzüm səthi-əhatə oxunuşunu yaradır, lakin lazım olan tərs-əhatə oxunuşunu yaratmır.

Argument-sharing nədir?

Control, raising və report fellərində yuxarı felin sintaktik mübtədası alt cümlənin və ya fel birləşməsinin iştirakçısı kimi də şərh edilə bilər. “Adam wants to smile” cümləsində Adam həm want hadisəsinin agenti, həm də smile hadisəsinin agentidir.

Məqalə bunu argument-sharing adlandırır. ACG tipləri və verb-tree şərhləri eyni fərdin müxtəlif hadisələrdə uyğun tematik rollarla paylaşılmasını təmin edəcək şəkildə təşkil olunur.

Bu struktur yalnız sadə control felləri üçün deyil; report və raising felləri, sonlu və sonsuz cümlə tamamlayıcıları və onların kəmiyyətləndirmə ilə inkar qarşılıqlı təsirləri üçün də genişləndirilir.

Genişləndirilmiş TAG Törəmələri Niyə Lazımdır?

Genişləndirilmiş TAG törəmələri standart TAG səthi sintaksisini pozmadan fel birləşməsi inkarına semantikada bütün cümlə üzərində əhatə ala biləcək ayrıca törəmə mövqeyi vermək üçün lazımdır; beləliklə, standart ACG/TAG düzümündə yaradıla bilməyən tərs-əhatə oxunuşları əldə edilir və ikinci dərəcəli ACG-nin hesablama xüsusiyyətləri qorunur.

Yeni inkar adjunction sahəsi

Standart TAG elementary tree-də olan adi VP-adjunction sahəsi zərflər və başqa fel birləşməsi dəyişdiriciləri üçün istifadə oluna bilər. Müəlliflər eyni sahənin həm adi modifier-ləri, həm də inkarı daşımasının semantik əhatə baxımından kifayət etmədiyini göstərirlər.

Həll fellə ankerlənmiş elementary tree-yə iki ayrı VP-adjunction sahəsi verməkdir:

• adi VP-adjunction sahəsi: zərflər və normal VP modifier-ləri üçün;
• xüsusi mənfi VP-adjunction sahəsi: fel birləşməsi inkarı üçün.

İkinci sahə sintaktik baxımdan yenə verbal modifier kimi davranır; lakin semantik lexicon-da yalnız fel birləşməsini deyil, mübtəda ilə fel birləşməsinin birləşməsindən yaranan bütün cümlə məzmununu əhatəsinə alacaq şəkildə şərh olunur.

Niyə üçüncü dərəcəli tipə keçilmir?

Yeni inkar sahəsi ilk baxışda:

\[ VP^A\multimap VP^A \]

kimi funksional arqument şəklində modelləşdirilə bilər. Lakin müəlliflər bu seçimin abstract signature-ı üçüncü dərəcəyə yüksəldəcəyini və ikinci dərəcəli ACG-lər üçün məlum polinom parsing/generation üstünlüklərinin artıq ümumi şəkildə tətbiq edilə bilməyəcəyini xüsusi vurğulayırlar.

Buna görə yeni atomik tip müəyyən edilir:

\[ VP^{A}_{neg} \]

və məsələn sonlu keçidsiz felin genişləndirilmiş strukturu sxematik olaraq:

\[ b^{neg}_{int\_verb\_fin} : S^A \multimap VP^A_{neg} \multimap VP^A \multimap NP \multimap S \]

şəklində saxlanılır.

Yeni atomik tip semantik və sintaktik lexicon-larda lazım olduğu kimi şərh edilərkən abstract vocabulary ikinci dərəcədə qalır.

İnkar olmayan cümlələr necə qorunur?

Yeni sahə bütün fel ağaclarında olduğu üçün inkar ehtiva etməyən cümlələrin də yaradıla bilməsi lazımdır. Bunun üçün müəlliflər xüsusi mənfi adjunction sahəsində istifadə edilə bilən boş adjunction sabiti müəyyən edirlər.

Bu boş element eynilik funksiyası kimi davranır. Beləliklə, genişləndirilmiş qrammatika əvvəlki qrammatikada yaradıla bilən strukturların hamısını yenidən yarada bilir. Bu mənada yeni ACG əvvəlki arxitekturanı əvəz edən dar sistem deyil, onu daxil edən genişləndirmədir.

Genişləndirilmiş törəmə standart sintaksisə necə geri qayıdır?

Yeni inkar sahəsi yalnız semantik ifadə gücü üçün əlavə olunub. Müəlliflər bunun səthi sintaksisdə yeni ağac növü yaratmasını istəmirlər.

Buna görə genişləndirilmiş TAG derivation tree-dən standart TAG derivation tree-yə ayrıca lexicon müəyyən edilir. Xüsusi mənfi sahə ilə adi VP modifier sahəsi sintaktik şərhdə funksiya kompozisiyası vasitəsilə birləşdirilir və nəticə yenə standart TAG derived tree olur.

Bu arxitektura “semantik baxımdan daha zəngin, sintaktik baxımdan standart” yanaşmasının mərkəzidir.

Spurious ambiguity problemi

İlkin formada istifadə olunan modifier-kompozisiya operatorunun standart TAG signature daxilində sərbəst sabit olması eyni derived tree üçün sonsuz sayda fərqli derivation term yarada bilmə riskini doğurur. Eynilik funksiyası daşıyan boş adjunct təkrar-təkrar kompozisiyaya daxil edilərək sintaktik baxımdan eyni ağacı verən məhdudiyyətsiz sayda parse strukturu yaradıla bilər.

Bu vəziyyət spurious ambiguity kimi nəzərdən keçirilir: fərqli görünən parse strukturları həqiqi sintaktik və ya semantik fərq daşımır.

Müəlliflər arxitekturanı yenidən təşkil edərək bu kompozisiya əməliyyatını freely generated parse vocabulary-dən kənarda saxlayan alternativ uyğunlaşdırmadan istifadə edirlər. Mənbə Şəkil 9, genişləndirilmiş TAG derivation tree-dən standart TAG derived tree-yə və negative-event semantics-ə birbaşa gedən, bu lazımsız qeyri-müəyyənlik probleminin qarşısını alan yekun arxitekturanı göstərir.

Genişləndirilmiş semantikada negation necə əhatə alır?

Yeni mənfi adjunction tipinin semantik şərhində xüsusi inkar bütün clause-level hadisə xassəsi üzərində işləyir. Mənbə Cədvəl 9-dakı əsas fikir sxematik olaraq:

\[ b^{neg}_{doesnt} := \lambda S.\lambda h.\, h\in Neg(S) \]

şəklindədir.

Buradakı kritik fərq ondan ibarətdir ki, \(S\) yalnız çılpaq fel birləşməsi deyil, mübtəda kəmiyyətləndiricisini də daxil edə bilən daha geniş semantik strukturdur. Beləliklə, inkar kəmiyyətləndiricinin xaricinə çıxa və tərs-əhatə oxunuşu yarada bilər.

Yeni arxitekturanın yaratdığı nümunələr

Mənbə genişləndirilmiş ACG-nin mürəkkəb nümunə olaraq “Every woman claims every boy does not want to smile” cümləsində kəmiyyətləndiriciləri, report/control tipli tamamlayıcı strukturları, argument-sharing-i və inkarı eyni törəmə daxilində birləşdirə bildiyini göstərir.

“A boy does not smile” və “A boy does not want to smile” nümunələrində isə əvvəlki arxitekturanın əldə edə bilmədiyi, inkarın ekzistensial kəmiyyətləndiricidən daha geniş əhatə aldığı oxunuşların yeni sistemlə yaradıla bildiyi göstərilir.

Eyni zamanda empty negation adjunction istifadə etməklə köhnə sistemdə əldə olunan bütün oxunuşların da yeni sistemdə qorunduğu bildirilir.

Mənbə şəkillərinin elmi rolu

Mənbə cədvəllərinin elmi rolu

Tədqiqatın Metodu və Nəticələri

Tədqiqatın metodu eksperimental məlumat analizi deyil, formal model qurulması və əks-nümunə/nümunə törəmələri vasitəsilə yoxlanan tiplənmiş qrammatika dizaynıdır. Müəlliflər əvvəlcə Bernard və Champollion-un mənfi-hadisə semantikasını və Blanck–Maskharashvili TAG/ACG arxitekturasını ayrışdırır; sonra tiplər, lexicon-lar və lambda terminləri müəyyən edərək iki yanaşmanı birləşdirən ilkin ACG-ni qururlar. İlk sistemin tərs-əhatə çatışmazlığı göstərildikdən sonra abstract syntax genişləndirilir və yeni arxitektura mürəkkəb cümlə törəmələri ilə sınanır.

Formal metod axını

1. Neo-Davidsonçu event semantics və mənfi-hadisə semantikasının zəruri aksiomları müəyyən edilir.
2. TAG-ın initial/auxiliary tree, substitution, adjunction, derived tree və derivation tree strukturları müəyyən edilir.
3. TAG derivation tree-ləri ikinci dərəcəli ACG-nin abstract language-i kimi kodlaşdırılır.
4. TAG derivation tree-dən derived tree-yə və logical semantics-ə ayrıca lexicon-lar qurulur.
5. Almost-linear lambda calculus istifadə edilərək event variable paylaşımı hesablama sinfi qorunmaqla həyata keçirilir.
6. Fel birləşmələri, isim birləşmələri, cümlələr, tematik rollar və closure üçün negative-event-compatible semantic tiplər müəyyən edilir.
7. Proper name, existential NP və universal NP ehtiva edən müsbət və mənfi nümunələr törədilir.
8. Control, raising və report verb strukturları argument-sharing baxımından modelləşdirilir.
9. İlkin arxitekturanın fel birləşməsi inkarı ilə kəmiyyətləşdirilmiş mübtədalarda yalnız səthi-əhatə oxunuşu yaratdığı göstərilir.
10. Negation üçün ikinci VP-adjunction sahəsi daşıyan extended TAG derivation signature müəyyən edilir.
11. Yeni sahə atomik tipdə saxlanılır; beləliklə abstract grammar ikinci dərəcədən çıxarılmır.
12. Extended derivation tree-lərin standart TAG derivation/derived tree-lərə geri uyğunlaşdırılması təmin edilir.
13. Modifier composition mənşəli spurious ambiguity riski ayrışdırılır və yekun ACG architecture buna uyğun yenidən qurulur.
14. Extended semantic lexicon xüsusi negation sahəsinin bütün clause üzərində əhatə almasını təmin edəcək şəkildə müəyyən edilir.
15. Mürəkkəb kəmiyyətləndirmə, inkar və argument-sharing nümunələri ilə əvvəllər əlçatmaz olan oxunuşların törədilə bildiyi göstərilir.

Tədqiqatın əsas texniki nailiyyətləri

Hesablama səmərəliliyi iddiası necə şərh edilməlidir?

Məqalədəki “efficient parsing and generation algorithms remain applicable” və “no additional complexity cost” ifadələri konkret kompüterdə ölçülmüş saniyə, yaddaş istifadəsi və ya benchmark nəticəsi deyil. İddia hazırlanmış abstract signature-ın second-order ACG sinfində saxlanmasına və bu sinif üçün ədəbiyyatda məlum polinom parsing/generation alqoritmlərinin mövcudluğuna əsaslanır.

Buna görə tədqiqatdan “yeni arxitektura əvvəlki üsuldan faiz X daha sürətlidir” və ya “real NLP sistemlərində bu qədər sürətlənmə təmin edir” nəticəsi çıxarıla bilməz.

ACGtk və təkrar istehsal oluna bilmə

Mənbə qeydlərinə görə qrammatikaları və məqalədəki nümunələri kodlaşdırmaq üçün ACGtk, yəni Abstract Categorial Grammar hazırlamaq və işlətmək üçün alət dəsti istifadə olunub. Məqaləni dəstəkləyən məlumat və kod ACGnevent deposunda paylaşılır.

Bu, tədqiqatın formal nümunələrinin maşınla icra edilə bilən qrammatika tərifləri ilə dəstəkləndiyini göstərir. Bununla belə, tədqiqat böyük təbii dil korpusu üzərində accuracy, recall, precision və ya parsing throughput müqayisəsi hesabat vermir.

Tədqiqatın dəstəklədiyi nəticələr

• Mənfi-hadisə semantikası ACG vasitəsilə TAG əsaslı və tam kompozisional sintaksis–semantika arxitekturasına inteqrasiya edilə bilər.
• Montague-tipli ortaq noun-phrase typing ilə Neo-Davidsonçu event semantics eyni struktur daxilində qoruna bilər.
• Proper name, quantified NP, event quantification, verbal negation və clausal complement strukturları ortaq tiplənmiş sistem daxilində modelləşdirilə bilər.
• İlkin standart TAG törəmə arxitekturası bəzi inverse-scope oxunuşlarını yarada bilmir.
• Negation üçün ayrıca VP-adjunction sahəsi daşıyan extended TAG derivations bu əhatə çatışmazlığını aradan qaldıra bilər.
• Extended derivation syntax səviyyəsində standart TAG derived tree-lərə geri endirilə bilər.
• Yeni arxitekturada əvvəllər əldə edilə bilməyən existential və universal quantifier–negation qarşılıqlı təsirləri törədilə bilər.
• Argument-sharing, negation və quantified noun phrases-in birlikdə olduğu daha mürəkkəb strukturlar eyni semantic architecture daxilində təmsil edilə bilər.
• Abstract grammar ikinci dərəcədə saxlandığı üçün müvafiq polinom parsing və generation alqoritmləri tətbiq oluna bilir.

Tədqiqatın dəstəkləmədiyi nəticələr

• Tədqiqat yeni arxitekturanın real dünya NLP sistemlərində daha yüksək dəqiqlik verdiyini eksperimental olaraq göstərmir.
• Böyük corpus üzərində parsing sürətini və ya semantic parsing uğurunu ölçmür.
• Təbii dildə inkarın bütün formalarının həll edildiyini iddia etmir.
• Mənfi-hadisə semantikasının təbii dil inkarı üçün yeganə doğru nəzəriyyə olduğunu sübut etmir.
• Polinom mürəkkəblik iddiası konkret tətbiqlərdə praktik iş vaxtının həmişə aşağı olacağına zəmanət vermir.
• Mənbə təbii dilin bütün scope ambiguity növlərini həll etmək üçün tamamlanmış universal qrammatika təqdim etmir.
• Bernard və Champollion-un hər iki negative-event interface yanaşmasını eyni ACG daxilində tam birləşdirməyib; bu birləşmə gələcək iş kimi saxlanılır.

Məhdudiyyətlər və gələcək iş

Məqalənin əhatəsi seçilmiş təbii dil fenomenləri dəsti ilə məhdudlaşır. Negation, event quantification, quantified noun phrases, argument-sharing və clausal complements ətraflı işlənilsə də, təbii dil semantikasının bütün problemləri modelləşdirilmir.

Bernard və Champollion-un daha əvvəlki tam compositional “semantic” yanaşması ilə sonrakı daha aşağı semantic type-lardan istifadə edən “syntactic” yanaşmasının ACG daxilində vahid ortaq zəmin altında kodlaşdırılması tamamlanmayıb. Müəlliflər ACG-nin kifayət qədər ümumi olduğunu və gələcəkdə bu iki yanaşma üçün ortaq formal ground yarada biləcəyini düşünürlər.

Tədqiqatın başqa məhdudiyyəti empirik qiymətləndirmə aparmamasıdır. Formal derivations və computational-class xüsusiyyətləri göstərilir; lakin geniş corpus əhatəsi, dil müxtəlifliyi, parser implementation miqyaslana bilməsi və ya real tətbiq performansı ayrıca qiymətləndirilməyib.

Mənbə şəkillərindən Verianla üçün yenidənqurma təklifi

Verianla üçün ən yüksək öyrədici dəyərə malik yenidən çəkim, mənbə Şəkil 9-a əsaslanan, lakin vizual baxımdan orijinal üçqatlı arxitekturadır:

1. Extended TAG Derivation: adi VP-adjunction + xüsusi negation adjunction.
2. Syntax yolu: extended derivation → standart TAG derivation/derived tree.
3. Semantics yolu: extended derivation → negative-event HOL representation.

Figcaption təklifi: “Mənbə tədqiqatının arxitektura əlaqələrinə əsaslanaraq Verianla üçün hazırlanmış izahlı sxem; mənbə Şəkil 9-un piksel surəti deyil.”

İkinci uyğun vizual “surface scope” ilə “inverse scope” arasındakı fərqi eyni ingiliscə nümunə cümlə üzərində iki məntiqi ağacla göstərə bilər. Belə sxem eksperimental məlumat deyil, mənbədə törədilən scope strukturlarının izahlı yenidən qurulması kimi etiketlənməlidir.

Mənbə və Metod Qeydi

Orijinal iş: Abstract Categorial Grammars for Modeling the Interface Between Syntax and Semantics Incorporating Negative Events

Müəlliflər: Aleksandre Maskharashvili; Symon Jory Stevens-Guille; Elena Vaikšnoraitė

Məsul müəllif: Aleksandre Maskharashvili

Qurumlar: Department of Linguistics, University of Illinois Urbana-Champaign, Urbana, Illinois, USA; Department of Linguistics, The Ohio State University, Columbus, Ohio, USA.

Jurnal: Philosophies

Nəşriyyat: MDPI

Nəşr məlumatı: 2026, Cild 11, Say 3, Məqalə 91

Təqdim: 30 Mart 2026

Reviziya: 18 May 2026

Qəbul: 21 May 2026

Nəşr tarixi: 3 İyun 2026

DOI: 10.3390/philosophies11030091

Mənbə növü: Resenziyalı nəzəri/formal dilçilik və hesablama semantikası tədqiqat məqaləsi.

Lisenziya: Creative Commons Attribution (CC BY).

Tədqiqat yanaşması: Abstract Categorial Grammar, Tree-Adjoining Grammar, simply typed/almost-linear lambda calculus, yüksək dərəcəli məntiq və Neo-Davidsonçu mənfi-hadisə semantikasını birləşdirən formal qrammatika və syntax–semantics interface dizaynı.

Əsas tədqiqat sualı: Negative-event semantics-in Montague-tipli isim birləşməsi şərhlərini, standart TAG sintaksisini, tam kompozisionallığı və hesablama baxımından əlverişli ikinci dərəcəli ACG xüsusiyyətlərini qoruyaraq negation–quantification scope qarşılıqlı təsirlərini modelləşdirib-modelləşdirə bilməməsi.

Əsas texniki yenilik: TAG elementary tree-lərində adi VP modifier sahəsindən ayrılmış, semantikada clause-level scope alan xüsusi verb-phrase negation adjunction sahəsinin törəmə səviyyəsində əlavə edilməsi.

Mürəkkəblik həddi: Yeni negation sahəsi atomik tip kimi müəyyən edilərək abstract ACG ikinci dərəcədə saxlanılıb. Məqalənin polinom parsing/generation nəticəsi bu formal sinfin məlum hesablama xüsusiyyətlərinə əsaslanır; yeni iş vaxtı benchmark-ı deyil.

Kod və məlumat: Məqaləni dəstəkləyən qrammatika/kod materialları müəlliflərin ACGnevent GitHub deposunda təqdim olunur. Mənbədə depoya giriş tarixi 18 May 2026 kimi verilib.

İstifadə olunan alət: Qrammatikaların və nümunələrin kodlaşdırılmasında ACGtk alət dəstindən istifadə edildiyi bildirilir.

Maliyyələşdirmə: Xarici maliyyələşdirmə alınmayıb.

Etika komitəsi: Tətbiq edilmir.

Məlumatlandırılmış razılıq: Tətbiq edilmir.

Maraqlar toqquşması: Müəlliflər maraqlar toqquşması olmadığını bildiriblər.

Müəllif töhfələri: Konseptuallaşdırma və metodologiya üç müəllif; kod Aleksandre Maskharashvili və Symon Jory Stevens-Guille; nümunələr Aleksandre Maskharashvili və Elena Vaikšnoraitė; ilkin layihə üç müəllif; nəzərdən keçirmə və redaktə Aleksandre Maskharashvili ilə Elena Vaikšnoraitė tərəfindən həyata keçirilib.

Əsas metodoloji məhdudiyyət: Tədqiqat formal törəmələrin ifadə gücünü və istifadə olunan ACG sinfinin hesablama xüsusiyyətlərini göstərir; corpus əsaslı eksperimental semantic parsing dəqiqliyi, praktik runtime benchmark-ı, çoxdilli ümumiləşdirmə və ya istifadəçi qiymətləndirməsi aparmır.

Verianla Live uyğunluğu: Extended TAG derivation → standard syntax və extended TAG derivation → negative-event semantics yolları source-derived Live Architecture kimi vizuallaşdırıla bilər. Hərəkət real parsing müddəti və ya ölçülmüş performans kimi etiketlənməməlidir.

Verianla metod qeydi: Bu türk dili məzmunu orijinal məqalənin cümlə-cümlə tərcüməsi və ya paraqraf-paraqraf yaxın mətnli yenidən istehsalı deyil. Mənbənin research question-ı, negative-event axioms-ı, TAG/ACG architecture-ı, lambda-calculus tipləri, scope problemi, extended TAG derivations həlli, spurious ambiguity analizi, complexity həddi, nümunə törəmələri, şəkil və cədvəllərinin elmi rolu və gələcək iş sərhədləri ayrışdırılaraq müstəqil elmi öyrənmə qatı kimi yenidən təşkil olunub. Mənbədə olmayan benchmark, corpus nəticəsi, uğur faizi və ya hesablama müddəti əlavə edilməyib.