Soyut Kategorial Gramer (Abstract Categorial Grammar, ACG), türetim yapılarını tiplenmiş lambda hesabı üzerinden başka sözdizimsel veya anlamsal temsillere homomorfik biçimde eşleyebilen tip-kuramsal bir gramer çerçevesidir. Aleksandre Maskharashvili, Symon Jory Stevens-Guille ve Elena Vaikšnoraitė bu çalışmada ACG'yi, Ağaç-Ekleme Grameri (Tree-Adjoining Grammar, TAG) tabanlı sözdizim ile Neo-Davidsoncu negatif-olay semantiği arasında tamamen bileşimsel bir arayüz kurmak için kullanmaktadır. Çalışma deney veya kullanıcı verisi üretmez; gramerler, tip sistemleri, lambda terimleri ve yüksek dereceli mantıksal anlambilim üzerinde formel bir yapı geliştirir.

Temel problem olumsuzlama ile niceleme arasındaki kapsam etkileşimidir. Standart event-semantics yaklaşımlarında “Everybody does not smile” veya “A boy does not smile” gibi cümleler birden fazla yorum taşıyabilir. Bir okumada niceleyici olumsuzlamadan geniş kapsam alırken, başka bir okumada olumsuzlama niceleyicinin tamamını kapsar. Önceki TAG ve Montague-tarzı yaklaşımlar bu okumaların tümünü aynı bileşimsel mimari içinde üretmekte zorlanmaktadır.

Makale önce TAG türetimlerini negatif-olay semantiğine doğrudan eşleyen bir ACG kurar. Bu ilk mimari doğru yüzey-kapsam yorumlarını, uygun isim öbeği tiplerini, olay değişkenlerini ve fiillerdeki tematik rolleri korur; kontrol, raising ve report fiillerindeki argument-sharing yapılarını da modelleyebilir. Ancak fiil öbeği düzeyindeki olumsuzlamanın özne konumundaki niceleyici isim öbeğinin üzerine çıkması gereken ters-kapsam okumaları üretilemez.

Yazarların çözümü, TAG'ın yüzey sözdizimini değiştirmek yerine türetim yapısını genişletmektir. Fiil tarafından ankore edilen TAG temel ağaçlarına sıradan VP-adjunction alanından ayrı, yalnız sözel olumsuzlama için kullanılan ikinci bir adjunction alanı eklenir. Bu yeni alan semantikte yalnız fiil öbeği üzerine değil, özne ile fiil öbeğinin birleştiği tüm tümce üzerine kapsam alabilir. Böylece daha önce elde edilemeyen ters-kapsam yorumları türetilebilirken, genişletilmiş yapı standart TAG türetilmiş ağacına geri eşlendiğinde olağan sözdizimsel temsil korunur.

Yazarlar ayrıca genişletmenin ACG mimarisini ikinci derece içinde tuttuğunu ve bu nedenle ilgili polinom-zamanlı parsing ve generation algoritmalarının uygulanabilirliğinin korunduğunu savunmaktadır. Bu sonuç deneysel çalışma süresi ölçümü değil, kullanılan formel gramer sınıfının hesaplamalı özelliğine dayanan teorik bir sonuçtur.

Araştırmanın temel problemi

Doğal dilin sözdizimi ile anlambilimi arasında biçimsel bir eşleme kurmak, yalnız kelimelerin anlamlarını birleştirmekten daha karmaşıktır. Niceleyiciler, olumsuzlama, olay değişkenleri, yan tümceler ve argument-sharing gibi yapılar aynı sözdizimsel dizinin birden fazla mantıksal okuma üretmesine yol açabilir.

Makalenin çıkış noktası iki önceki yaklaşım arasındaki gerilimdir. Bernard ve Champollion'un negatif-olay semantiği olumsuzlamayı ayrıntılı biçimde ele alabilmektedir; ancak kullandıkları sözdizim–anlambilim düzeninin Montague-tarzı homojen isim öbeği tiplerinden ve hesaplamalı olarak iyi araştırılmış bir sözdizim formalizminden uzaklaşan yönleri vardır. Blanck ve Maskharashvili'nin ACG/TAG yaklaşımı ise standart sözdizim formalizmi ve Montagovcu bileşimsellik açısından güçlüdür, fakat olumsuzlama ile niceleyicilerin bazı kapsam etkileşimlerini üretememektedir.

Yazarların araştırma sorusu bu iki avantajın bir araya getirilip getirilemeyeceğidir: negatif-olay semantiği, TAG tabanlı ve ACG ile modellenen, isim öbeklerini Montagovcu biçimde tek tip altında ele alan tamamen bileşimsel bir mimariye aktarılabilir mi ve bu mimari olumsuzlama ile niceleyicilerin gerekli kapsam okumalarını koruyabilir mi?

Negatif-Olay Semantiği Nedir?

Negatif-olay semantiği, bir olay özelliğinin olumsuzlanmasını yalnız klasik önerme olumsuzluğu olarak değil, pozitif olay kümesiyle uyumsuz “anti-olaylar” kümesi üzerinden temsil eden Neo-Davidsoncu bir event-semantics yaklaşımıdır; bir negatif olayın gerçekten gerçekleştiğinin söylenebilmesi için ayrıca actual yüklemiyle gerçekleşmiş olaylar gerçekleşmemiş olaylardan ayrılır.

Neo-Davidsoncu olay temsili

Neo-Davidsoncu anlambilimde fiiller doğrudan bütün katılımcıları alan çok-yerli yüklemler yerine olaylar üzerinde tek-yerli yüklemler olarak ele alınabilir. Katılımcılar olayla tematik roller üzerinden bağlanır. Örneğin “Eva saw Adam” cümlesinin olay temelli çözümlemesinde bir görme olayı ve bu olayın faili ile teması ayrı ilişkiler olarak gösterilebilir.

Bu yapı zarfların, tematik rollerin ve farklı olay ilişkilerinin tek bir olay değişkeni etrafında birleştirilmesini kolaylaştırır. Ancak olumsuzlama, özellikle algı fiilleri ve kapsam alan yapılarla birleştiğinde sıradan önerme olumsuzluğunun yerleştirileceği konum ciddi sorunlar yaratabilir.

“Eva saw Adam not smile” problemi

Kaynak, klasik problemi “Eva saw Adam not smile” örneğiyle açıklar. Cümle yalnız Eva'nın Adam'ı gülümserken görmemiş olduğunu söylemez; doğal okumada Eva, Adam'ın gülümsemediği bir durumu görmüştür ve bundan Adam'ın gülümsemediği sonucu çıkar.

Basitçe “Adam'ın gülümsediği bir olayın Eva tarafından görülmüş olması doğru değildir” biçimindeki temsil yetersizdir; çünkü Adam gerçekte gülümsemiş fakat Eva bunu görmemiş de olabilir. Olumsuzluğun yalnız olay yükleminin önüne yerleştirilmesi de “gülümseme olmayan herhangi bir olay”ı seçebileceği için doğru doğruluk koşullarını garanti etmez.

Neg ve actual ayrımı

Negatif-olay yaklaşımında olaylar üzerinde tanımlı her \(P\) özelliği için bir \(Neg\,P\) anti-kümesi düşünülür. \(P\)-olayları ile \(Neg\,P\)-olayları gerçekleşme bakımından birbirleriyle uyumsuz kabul edilir.

Bir olayın yalnız formel alan içinde bulunması onun gerçekleştiği anlamına gelmez. Bu nedenle:

\[ actual(e) \]

yüklemi, \(e\) olayının gerçekleşmiş olduğunu ifade eder.

Kaynakta kullanılan temel olumsuzlama ilkesi şematik olarak şöyledir:

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

Sol taraf, gerçekleşmiş bir anti-\(P\) olayının bulunduğunu; sağ taraf ise hiçbir \(P\) olayının gerçekleşmiş olmadığını ifade eder. Bu yapı, pozitif olay ile karşılık gelen negatif olayın aynı anda gerçekleşmiş kabul edilmesini engeller.

Çifte olumsuzlama

Bernard ve Champollion'un sisteminde gerçekleşmiş olaylar açısından çifte olumsuzlama iptali elde edilir: gerçekleşmiş bir \(P\)-olayı ile gerçekleşmiş bir anti-anti-\(P\) olayı eşdeğer davranır. Bununla birlikte kaynak, \(Neg(Neg P)\) ile \(P\)'nin bütün semantik uzayda özdeş kümeler olduğu şeklinde daha güçlü bir sonuç kurmamaktadır.

Algı fiillerinde gerçekleşmiş yan olay

Negatif-olay teorisinin ele aldığı başka bir problem algı fiilleridir. “Eva saw Adam smiling” gibi bir cümlede görme olayı gerçekleşmişse, algılanan Adam'ın gülümseme olayının da gerçekleşmiş olması beklenir. Bernard ve Champollion bunu kaynakta “No Hallucination Axiom” olarak adlandırılan ek bir ilkeyle modeller.

Bu aksiyom, makalenin geliştirdiği yeni ACG mimarisinin özgün katkısı değildir; yazarların entegre etmeye çalıştığı negatif-olay semantiğinin arka planının bir parçasıdır.

Tree-Adjoining Grammar nasıl çalışır?

Ağaç-Ekleme Grameri (Tree-Adjoining Grammar, TAG), doğal dil sözdizimini başlangıç ağaçları ve yardımcı ağaçların substitution ve adjunction işlemleriyle birleşmesi üzerinden üreten, hafif bağlama duyarlı bir gramer formalizmidir.

Başlangıç ağaçları temel yerel sözdizim yapılarını taşır. Yardımcı ağaçlar ise bir ağacın uygun düğümüne adjunction yoluyla eklenerek özyinelemeli genişlemeler oluşturabilir. TAG'ın önemli özelliği, doğal dil için bağlamdan bağımsız gramerlerden daha yüksek ifade gücü sunarken polinom-zamanlı parsing algoritmalarının bulunmasıdır.

Derived tree ile derivation tree arasındaki fark

TAG derived tree, substitution ve adjunction işlemlerinin sonunda ortaya çıkan yüzeysel sözdizim ağacıdır. TAG derivation tree ise bu yüzey ağacının hangi temel ağaçların hangi işlemlerle birleştirilmesi sonucunda elde edildiğini kaydeder.

Kaynakta “Eva claims Adam really wants to smile” örneği bu farkı göstermek için kullanılmaktadır. Şekil 2 temel TAG ağaçlarının nasıl birleştirildiğini; Şekil 3 ortaya çıkan derived tree'yi; Şekil 4 ise aynı yapının derivation tree'sini göstermektedir.

Bu ayrım makalenin ana fikri açısından kritik önemdedir. Yazarların çözümü, okuyucunun gördüğü standart phrase-structure sözdizimini değiştirmek yerine, anlambilime bilgi taşıyan derivation tree düzeyini zenginleştirir.

ACG, TAG ile Anlambilim Arasında Nasıl Köprü Kurar?

Abstract Categorial Grammar, TAG derivation tree'lerini ortak bir soyut dil olarak tutup tiplenmiş homomorfik lexicon'lar aracılığıyla aynı türetimleri TAG derived tree'lerine, yüzey dizgelere veya yüksek dereceli mantıksal semantik temsillere eşleyerek sözdizim ile anlambilim arasında tamamen bileşimsel bir köprü kurar.

ACG'nin iki düzeyli mimarisi

Bir ACG temelde bir soyut dil ve bir nesne dili arasında eşleme tanımlar. Soyut dil parse/türetim yapılarını temsil eder. Nesne dili ise bu yapıların sözdizim ağacı, string veya mantıksal anlambilim gibi bir başka gösterimidir.

Kaynakta bir ACG şu dört bileşenle tanımlanır:

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

Burada \(\Sigma_A\) soyut vocabulary'yi, \(\Sigma_O\) nesne vocabulary'sini, \(L\) iki vocabulary arasındaki tiplenmiş homomorfik lexicon'u ve \(s\) gramerin distinguished type'ını temsil eder.

Bu mimarinin önemli avantajı aynı soyut TAG derivation tree dilinden birden fazla nesne diline geçilebilmesidir. Bir lexicon derivation tree'yi derived tree'ye, başka bir lexicon anlamsal mantık formülüne dönüştürebilir. Böylece aynı türetim hem sözdizimsel hem anlamsal yorumun ortak kaynağı olur.

İkinci dereceli ve almost-linear ACG'ler

Makale, parsing ve generation bakımından hesaplama açısından önemli olan ikinci dereceli ACG sınıfından yararlanır. Anlamsal temsillerde aynı olay değişkeninin birden fazla yerde kullanılabilmesi gerektiği için kaynak, Kanazawa'nın almost-linear lambda terimleriyle genişletilmiş ikinci dereceli ACG yaklaşımını kullanır.

Almost-linearity, keyfî yüksek dereceli değişken çoğaltımına izin vermez; fakat atomik tipteki değişkenlerin gerektiğinde birden fazla yerde kullanılabilmesine olanak verir. Olay değişkeni \(v\) atomik tip olduğundan Neo-Davidsoncu anlambilimde aynı olayın fiil yüklemi ve tematik rollerle ilişkilendirilmesi bu çerçevede gerçekleştirilebilir.

Montagovcu isim öbeği ilkesi

Yazarların korumak istediği önemli tasarım ilkelerinden biri, özel isimlerin ve niceleyicili isim öbeklerinin semantik olarak aynı genel tip ailesine yerleştirilmesidir.

Makale:

\[ \mho = v\rightarrow t \]

kısaltmasını kullanır. Burada \(v\) olay tipi, \(t\) doğruluk değeri tipidir. Buna göre fiil öbeği yorumunun tipi:

\[ VP = e\rightarrow\mho \]

ve isim öbeğinin tipi:

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

olarak düzenlenir.

Bu yapı sayesinde “Adam”, “a boy”, “every woman” gibi isim öbekleri farklı sözcüksel içeriklere sahip olsalar bile ortak yüksek dereceli NP tipinde çalışabilir. Bu, makalenin Bernard ve Champollion'un bazı tip tercihlerinden ayrıldığı önemli Montagovcu yönüdür.

Fiillerde tematik roller

Yazarlar fiilin anlamsal temsilinin içine katılımcılar için belirlenmiş tematik rol yuvaları yerleştirir. Örneğin geçişsiz bir fiil için şematik yapı:

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

gibi kurulabilir. \(x\) katılımcıyı, \(h\) olay değişkenini temsil eder. Bernard ve Champollion'dan farklı olarak tematik roller fiille ankore edilmiş elementary tree'nin semantik yorumunda sözlüksel olarak belirtilir.

Closure operatörünün rolü

Fiil ve isim öbeği birleştirildiğinde sonuç hâlâ bir olay özelliğidir; tam bir önerme oluşturmak için olay değişkeninin gerçekleşmiş bir olay olarak kapatılması gerekir. Kaynağın ACG yorumunda closure işlevi:

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

biçimindedir.

Bu operatör, cümlenin anlamsal içeriğinin karşıladığı gerçekleşmiş bir olayın bulunduğunu ifade ederek \(v\rightarrow t\) türündeki yapıyı \(t\), yani önerme/doğruluk değeri türüne dönüştürür.

Fiil öbeği ve tümce düzeyindeki olumsuzlama

İlk ACG mimarisinde iki farklı olumsuzlama konumu modellenir. Fiil öbeği düzeyindeki “does not”, VP üzerinde çalışan bir değiştirici olarak; “it is not the case that” türündeki tümce olumsuzlaması ise tüm olay özelliğini olumsuzlayan ayrı bir yapı olarak temsil edilir.

Özel isimli basit cümlelerde her iki yol da uygun negatif-olay yorumunu üretebilir. Sorun özne konumuna niceleyicili bir isim öbeği geldiğinde ortaya çıkar.

Yüzey kapsam ve ters kapsam

“A boy does not smile” cümlesi iki temel mantıksal biçimde düşünülebilir. Yüzey kapsam okumasında bir çocuk vardır ve o çocuk gülümsememektedir. Ters kapsam okumasında ise “bir çocuğun gülümsemesi” önermesinin tamamı olumsuzlamanın kapsamına girer.

Benzer biçimde “Every boy does not smile” bir okumada “her çocuk gülümsemiyor” anlamına gelirken, diğer okumada “bütün çocukların gülümsediği doğru değil” anlamına gelebilir.

İlk ACG/TAG düzeninde özne isim öbeği, modifiye edilmiş fiil öbeğini operand olarak aldığı için niceleyici sistematik biçimde fiil öbeği olumsuzlamasının üzerinde kapsam alır. Bu sözdizim düzeni yüzey-kapsam okumasını üretir fakat gerekli ters-kapsam okumasını üretmez.

Argument-sharing nedir?

Kontrol, raising ve report fiillerinde bir üst fiilin sözdizimsel öznesi alt tümcenin veya fiil öbeğinin katılımcısı olarak da yorumlanabilir. “Adam wants to smile” cümlesinde Adam hem want olayının faili hem smile olayının failidir.

Makale bunu argument-sharing olarak adlandırır. ACG tipleri ve verb-tree yorumları, aynı bireyin farklı olaylarda uygun tematik rollerle paylaşılmasını sağlayacak biçimde düzenlenir.

Bu yapı yalnız basit kontrol fiilleri için değil; report ve raising fiilleri, sonlu ve sonsuz tümce tamamlayıcıları ve bunların niceleme ile olumsuzlama etkileşimleri için de genişletilmektedir.

Genişletilmiş TAG Türetimleri Neden Gerekli?

Genişletilmiş TAG türetimleri, standart TAG yüzey sözdizimini bozmadan fiil öbeği olumsuzlamasına semantikte tüm tümce üzerine kapsam alabilecek ayrı bir türetim konumu vermek için gereklidir; böylece standart ACG/TAG düzeninde üretilemeyen ters-kapsam okumaları elde edilirken ikinci dereceli ACG'nin hesaplamalı özellikleri korunur.

Yeni olumsuzlama adjunction alanı

Standart TAG elementary tree'de bulunan sıradan VP-adjunction alanı zarflar ve başka fiil öbeği değiştiricileri için kullanılabilir. Yazarlar aynı alanın hem sıradan modifier'ları hem olumsuzlamayı taşımasının semantik kapsam bakımından yetersiz olduğunu gösterir.

Çözüm, fiille ankore edilmiş elementary tree'ye iki ayrı VP-adjunction alanı vermektir:

• olağan VP-adjunction alanı: zarflar ve normal VP modifier'ları için;
• özel negatif VP-adjunction alanı: fiil öbeği olumsuzlaması için.

İkinci alan sözdizimsel olarak yine bir verbal modifier gibi davranır; fakat semantik lexicon'da yalnız fiil öbeğini değil, özne ve fiil öbeğinin birleşmesiyle oluşan tüm tümce içeriğini kapsamına alacak biçimde yorumlanır.

Neden üçüncü derece tipe geçilmiyor?

Yeni olumsuzlama alanı ilk bakışta:

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

gibi fonksiyonel bir argüman olarak modellenebilir. Ancak bu seçimin abstract signature'ı üçüncü dereceye yükselteceğini ve ikinci dereceli ACG'ler için bilinen polinom parsing/generation avantajlarının artık genel olarak uygulanamayacağını yazarlar özellikle belirtir.

Bu nedenle yeni bir atomik tip tanımlanır:

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

ve örneğin sonlu geçişsiz fiilin genişletilmiş yapısı şematik olarak:

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

biçiminde tutulur.

Yeni atomik tip, semantik ve sözdizim lexicon'larında gerektiği biçimde yorumlanırken abstract vocabulary ikinci derecede kalır.

Olumsuzlama olmayan cümleler nasıl korunuyor?

Yeni alan bütün fiil ağaçlarında bulunduğu için olumsuzlama içermeyen cümlelerin de üretilebilmesi gerekir. Bunun için yazarlar özel negatif adjunction alanında kullanılabilen bir boş adjunction sabiti tanımlar.

Bu boş öğe kimlik fonksiyonu gibi davranır. Dolayısıyla genişletilmiş gramer, önceki gramerde üretilebilen yapıların tümünü yeniden üretebilir. Bu anlamda yeni ACG, önceki mimarinin yerine geçen dar bir sistem değil, onu içeren bir genişlemedir.

Genişletilmiş türetim standart sözdizime nasıl geri dönüyor?

Yeni olumsuzlama alanı yalnız semantik ifade gücü için eklenmiştir. Yazarlar bunun yüzey sözdiziminde yeni bir ağaç türü yaratmasını istemez.

Bu nedenle genişletilmiş TAG derivation tree'den standart TAG derivation tree'ye ayrı bir lexicon tanımlanır. Özel negatif alan ile sıradan VP modifier alanı sözdizim yorumunda fonksiyon bileşimiyle bir araya getirilir ve sonuç yine standart TAG derived tree'sidir.

Bu mimari, “semantik olarak daha zengin, sözdizimsel olarak standart” yaklaşımının merkezidir.

Spurious ambiguity problemi

İlk biçimde kullanılan modifier-bileşim operatörünün standart TAG signature içinde serbest bir sabit olması, aynı derived tree için sonsuz sayıda farklı derivation term üretebilme riski yaratır. Kimlik işlevi taşıyan boş adjunct tekrar tekrar bileşime sokularak sözdizimsel olarak aynı ağacı veren sınırsız sayıda parse yapısı oluşturulabilir.

Bu durum spurious ambiguity olarak ele alınır: farklı görünen parse yapıları gerçek sözdizimsel veya anlamsal fark taşımamaktadır.

Yazarlar mimariyi yeniden düzenleyerek bu bileşim işlemini freely generated parse vocabulary'nin dışında tutan alternatif bir eşleme kullanır. Kaynak Şekil 9, genişletilmiş TAG derivation tree'den standart TAG derived tree'ye ve negatif-olay semantiğine doğrudan giden, bu gereksiz belirsizlik sorununu önleyen nihai mimariyi gösterir.

Genişletilmiş semantikte negation nasıl kapsam alıyor?

Yeni negatif adjunction tipinin semantik yorumunda özel olumsuzlama, tüm clause-level olay özelliği üzerinde çalışır. Kaynak Tablo 9'daki temel fikir şematik olarak:

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

biçimindedir.

Buradaki kritik fark, \(S\)'nin yalnız çıplak fiil öbeği değil, özne niceleyicisini de içine alabilen daha geniş semantik yapı olmasıdır. Böylece olumsuzlama niceleyicinin dışına taşabilir ve ters-kapsam okuması üretilebilir.

Yeni mimarinin ürettiği örnekler

Kaynak, genişletilmiş ACG'nin karmaşık bir örnek olarak “Every woman claims every boy does not want to smile” cümlesinde niceleyiciler, report/control benzeri tamamlayıcı yapılar, argument-sharing ve olumsuzlamayı aynı türetim içinde birleştirebildiğini gösterir.

“A boy does not smile” ve “A boy does not want to smile” örneklerinde ise önceki mimarinin erişemediği, olumsuzlamanın varoluş niceleyicisinin üzerine kapsam aldığı okumaların yeni sistemle üretilebildiği gösterilir.

Aynı zamanda empty negation adjunction kullanılarak eski sistemde elde edilen bütün okumaların da yeni sistemde korunabildiği belirtilmektedir.

Kaynak şekillerinin bilimsel rolü

Kaynak tablolarının bilimsel rolü

Çalışmanın Yöntemi ve Bulguları

Çalışmanın yöntemi deneysel veri analizi değil, formel model kurma ve karşı-örnek/örnek türetimleri üzerinden doğrulanan tiplenmiş gramer tasarımıdır. Yazarlar önce Bernard ve Champollion'un negatif-olay semantiğini ve Blanck–Maskharashvili TAG/ACG mimarisini ayrıştırır; daha sonra tipler, lexicon'lar ve lambda terimleri tanımlayarak iki yaklaşımı birleştiren ilk ACG'yi kurar. İlk sistemin ters-kapsam eksikliği gösterildikten sonra abstract syntax genişletilir ve yeni mimari karmaşık cümle türetimleriyle sınanır.

Formel yöntem akışı

1. Neo-Davidsoncu event semantics ve negatif-olay semantiğinin gerekli aksiyomları belirlenir.
2. TAG'ın initial/auxiliary tree, substitution, adjunction, derived tree ve derivation tree yapıları tanımlanır.
3. TAG derivation tree'leri ikinci dereceli ACG'nin abstract language'i olarak kodlanır.
4. TAG derivation tree'den derived tree ve logical semantics'e ayrı lexicon'lar oluşturulur.
5. Almost-linear lambda calculus kullanılarak event variable paylaşımı hesaplama sınıfı korunarak gerçekleştirilir.
6. Fiil öbekleri, isim öbekleri, tümceler, tematik roller ve closure için negative-event-compatible semantic tipler tanımlanır.
7. Proper name, existential NP ve universal NP içeren olumlu ve olumsuz örnekler türetilir.
8. Control, raising ve report verb yapıları argument-sharing açısından modellenir.
9. İlk mimarinin fiil öbeği olumsuzlaması ile niceleyici öznelerde yalnız yüzey-kapsam okuması ürettiği gösterilir.
10. Negation için ikinci bir VP-adjunction alanı taşıyan extended TAG derivation signature tanımlanır.
11. Yeni alan atomik tipte tutulur; böylece abstract grammar ikinci dereceden çıkarılmaz.
12. Extended derivation tree'lerin standart TAG derivation/derived tree'lere geri eşlenmesi sağlanır.
13. Modifier composition kaynaklı spurious ambiguity riski ayrıştırılır ve nihai ACG architecture buna göre düzenlenir.
14. Extended semantic lexicon, özel negation alanının tüm clause üzerine kapsam almasını sağlayacak biçimde tanımlanır.
15. Karmaşık niceleme, olumsuzlama ve argument-sharing örnekleriyle daha önce erişilemeyen okumaların türetilebildiği gösterilir.

Araştırmanın ana teknik kazanımları

Hesaplamalı verim iddiası nasıl yorumlanmalıdır?

Makalenin “efficient parsing and generation algorithms remain applicable” ve “no additional complexity cost” ifadeleri, belirli bir bilgisayarda ölçülmüş saniye, bellek kullanımı veya benchmark sonucu değildir. İddia, geliştirilen abstract signature'ın second-order ACG sınıfında tutulmasına ve bu sınıf için literatürde bilinen polinom parsing/generation algoritmalarının bulunmasına dayanır.

Bu nedenle çalışmadan “yeni mimari önceki yöntemden yüzde X daha hızlıdır” veya “gerçek NLP sistemlerinde şu kadar hızlanma sağlar” sonucu çıkarılamaz.

ACGtk ve yeniden üretilebilirlik

Kaynak notlarına göre gramerleri ve makaledeki örnekleri kodlamak için ACGtk, yani Abstract Categorial Grammar geliştirme ve çalıştırma amaçlı araç takımı kullanılmıştır. Makaleyi destekleyen veri ve kod ACGnevent deposunda paylaşılmaktadır.

Bu durum araştırmanın formel örneklerinin makine tarafından yürütülebilir gramer tanımlarıyla desteklendiğini göstermektedir. Bununla birlikte çalışma büyük bir doğal dil korpusu üzerinde doğruluk, recall, precision veya parsing throughput karşılaştırması raporlamamaktadır.

Çalışmanın desteklediği sonuçlar

• Negatif-olay semantiği ACG aracılığıyla TAG tabanlı ve tamamen bileşimsel bir sözdizim–anlambilim mimarisine entegre edilebilir.
• Montague-tarzı ortak noun-phrase typing ile Neo-Davidsoncu event semantics aynı yapı içinde korunabilir.
• Proper name, quantified NP, event quantification, verbal negation ve clausal complement yapıları ortak tiplenmiş sistem içinde modellenebilir.
• İlk standart TAG türetim mimarisi bazı inverse-scope okumalarını üretemez.
• Negation için ayrı VP-adjunction alanı taşıyan extended TAG derivations, bu kapsam eksikliğini giderebilir.
• Extended derivation syntax düzeyinde standart TAG derived tree'lere geri indirgenebilir.
• Yeni mimaride daha önce elde edilemeyen existential ve universal quantifier–negation etkileşimleri türetilebilir.
• Argument-sharing, negation ve quantified noun phrases'in birlikte bulunduğu daha karmaşık yapılar aynı semantic architecture içinde temsil edilebilir.
• Abstract grammar ikinci derecede tutulduğu için ilgili polinom parsing ve generation algoritmaları uygulanabilir kalır.

Çalışmanın desteklemediği sonuçlar

• Çalışma yeni mimarinin gerçek dünya NLP sistemlerinde daha yüksek doğruluk sağladığını deneysel olarak göstermemektedir.
• Büyük bir corpus üzerinde parsing hızını veya semantic parsing başarısını ölçmemektedir.
• Bütün doğal dil olumsuzlama biçimlerinin çözüldüğünü iddia etmemektedir.
• Negatif-olay semantiğinin tek doğru doğal dil olumsuzlama teorisi olduğunu kanıtlamamaktadır.
• Polinom karmaşıklık iddiası belirli uygulamalardaki pratik çalışma süresinin her zaman düşük olacağını garanti etmemektedir.
• Kaynak, doğal dilin bütün scope ambiguity türlerini çözmek için tamamlanmış evrensel bir gramer sunmamaktadır.
• Bernard ve Champollion'un her iki negative-event interface yaklaşımını aynı ACG içinde tamamen birleştirmiş değildir; bu birleşim gelecek çalışma olarak bırakılmaktadır.

Sınırlılıklar ve gelecek çalışma

Makalenin kapsamı seçilmiş bir doğal dil fenomenleri kümesiyle sınırlıdır. Negation, event quantification, quantified noun phrases, argument-sharing ve clausal complements ayrıntılı biçimde ele alınsa da doğal dil anlambiliminin bütün sorunları modellenmemektedir.

Bernard ve Champollion'un daha erken tamamen compositional “semantic” yaklaşımı ile sonraki daha düşük semantic type'lar kullanan “syntactic” yaklaşımının ACG içinde tek bir birleşik zemin altında kodlanması tamamlanmış değildir. Yazarlar ACG'nin yeterince genel olduğunu ve gelecekte bu iki yaklaşım için ortak bir formal ground oluşturabileceğini düşünmektedir.

Çalışmanın başka bir sınırı ampirik değerlendirme yapmamasıdır. Formal derivations ve computational-class özellikleri gösterilmektedir; ancak geniş corpus kapsamı, dil çeşitliliği, parser implementation ölçeklenebilirliği veya gerçek uygulama performansı ayrıca değerlendirilmemiştir.

Kaynak şekillerinden Verianla yeniden inşa önerisi

Verianla için en yüksek öğretici değer taşıyan yeniden çizim, kaynak Şekil 9'a dayalı fakat görsel olarak özgün bir üç-katmanlı mimaridir:

1. Extended TAG Derivation: sıradan VP-adjunction + özel negation adjunction.
2. Syntax yolu: extended derivation → standart TAG derivation/derived tree.
3. Semantics yolu: extended derivation → negative-event HOL representation.

Figcaption önerisi: “Kaynak çalışmanın mimari ilişkilerine dayanarak Verianla için hazırlanmış açıklayıcı şema; kaynak Şekil 9'un piksel kopyası değildir.”

İkinci uygun görsel, “surface scope” ile “inverse scope” arasındaki farkı aynı İngilizce örnek cümle üzerinde iki mantıksal ağaçla gösterebilir. Böyle bir şema deneysel veri değil, kaynakta türetilen scope yapılarının açıklayıcı yeniden inşası olarak etiketlenmelidir.

Kaynak ve Yöntem Notu

Özgün çalışma: Abstract Categorial Grammars for Modeling the Interface Between Syntax and Semantics Incorporating Negative Events

Yazarlar: Aleksandre Maskharashvili; Symon Jory Stevens-Guille; Elena Vaikšnoraitė

Sorumlu yazar: Aleksandre Maskharashvili

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

Dergi: Philosophies

Yayınevi: MDPI

Yayın bilgisi: 2026, Cilt 11, Sayı 3, Makale 91

Gönderim: 30 Mart 2026

Revizyon: 18 Mayıs 2026

Kabul: 21 Mayıs 2026

Yayımlanma tarihi: 3 Haziran 2026

DOI: 10.3390/philosophies11030091

Kaynak türü: Hakemli teorik/formel dilbilim ve hesaplamalı anlambilim araştırma makalesi.

Lisans: Creative Commons Attribution (CC BY).

Araştırma yaklaşımı: Abstract Categorial Grammar, Tree-Adjoining Grammar, simply typed/almost-linear lambda calculus, yüksek dereceli mantık ve Neo-Davidsoncu negatif-olay semantiğini birleştiren formel gramer ve syntax–semantics interface tasarımı.

Ana araştırma sorusu: Negative-event semantics'in Montagovcu isim öbeği yorumlarını, standart TAG sözdizimini, tam bileşimselliği ve hesaplama açısından elverişli ikinci derece ACG özelliklerini koruyarak negation–quantification scope etkileşimlerini modelleyip modelleyemeyeceği.

Ana teknik yenilik: TAG elementary tree'lerinde sıradan VP modifier alanından ayrılmış, semantikte clause-level scope alan özel bir verb-phrase negation adjunction alanının türetim düzeyinde eklenmesi.

Karmaşıklık sınırı: Yeni negation alanı atomik tip olarak tanımlanarak abstract ACG ikinci derecede tutulmuştur. Makalenin polinom parsing/generation sonucu bu formal sınıfın bilinen hesaplama özelliklerine dayanır; yeni bir çalışma süresi benchmark'ı değildir.

Kod ve veri: Makaleyi destekleyen gramer/kod materyalleri yazarların ACGnevent GitHub deposunda sağlanmaktadır. Kaynakta depoya erişim tarihi 18 Mayıs 2026 olarak verilmiştir.

Kullanılan araç: Gramerler ve örneklerin kodlanmasında ACGtk araç takımının kullanıldığı bildirilmektedir.

Finansman: Dış finansman alınmamıştır.

Etik kurul: Uygulanabilir değildir.

Bilgilendirilmiş onam: Uygulanabilir değildir.

Çıkar çatışması: Yazarlar çıkar çatışması bulunmadığını bildirmiştir.

Yazar katkıları: Kavramsallaştırma ve metodoloji üç yazar; kod Aleksandre Maskharashvili ve Symon Jory Stevens-Guille; örnekler Aleksandre Maskharashvili ve Elena Vaikšnoraitė; özgün taslak üç yazar; gözden geçirme ve düzenleme Aleksandre Maskharashvili ile Elena Vaikšnoraitė tarafından yürütülmüştür.

Temel yöntemsel sınır: Çalışma formel türetimlerin ifade gücünü ve kullanılan ACG sınıfının hesaplamalı özelliklerini göstermektedir; corpus tabanlı deneysel semantic parsing doğruluğu, pratik runtime benchmark'ı, çok-dilli genelleme veya kullanıcı değerlendirmesi gerçekleştirmemektedir.

Verianla Live uygunluğu: Extended TAG derivation → standard syntax ve extended TAG derivation → negative-event semantics yolları source-derived Live Architecture olarak görselleştirilebilir. Hareket, gerçek parsing süresi veya ölçülmüş performans gibi etiketlenmemelidir.

Verianla yöntem notu: Bu Türkçe içerik özgün makalenin cümle-cümle çevirisi veya paragraf-paragraf yeniden üretimi değildir. Kaynağın research question'ı, negative-event axioms'ı, TAG/ACG architecture'ı, lambda-calculus tipleri, scope problemi, extended TAG derivations çözümü, spurious ambiguity analizi, complexity sınırı, örnek türetimleri, şekil ve tablolarının bilimsel rolü ile gelecek çalışma sınırları ayrıştırılarak bağımsız bir Türkçe bilimsel öğrenme katmanı halinde yeniden düzenlenmiştir. Kaynakta bulunmayan benchmark, corpus sonucu, başarı oranı veya hesaplama süresi eklenmemiştir.