Sarufi ya Kikategoria Dhahania (Abstract Categorial Grammar, ACG) ni mfumo wa kisarufi wa kinadharia wa aina unaoweza kuoanisha miundo ya utohozi kwa namna ya homomofia na uwakilishi mwingine wa kisintaksia au kisemantiki kupitia hesabu ya lambda iliyowekewa aina. Aleksandre Maskharashvili, Symon Jory Stevens-Guille na Elena Vaikšnoraitė wanatumia ACG katika utafiti huu kujenga kiolesura chenye utunzi kamili kati ya sintaksia inayotegemea Sarufi ya Uunganishaji wa Miti (Tree-Adjoining Grammar, TAG) na semantiki ya matukio hasi ya Neo-Davidson. Utafiti hauzalishi data ya majaribio wala ya watumiaji; unatengeneza muundo rasmi juu ya sarufi, mifumo ya aina, istilahi za lambda na semantiki ya kimantiki ya daraja la juu.

Tatizo kuu ni mwingiliano wa upeo kati ya ukanushi na ukwantishaji. Katika mikabala ya kawaida ya event-semantics, sentensi kama “Everybody does not smile” au “A boy does not smile” zinaweza kuwa na tafsiri zaidi ya moja. Katika usomaji mmoja, kikwantishaji huwa na upeo mpana kuliko ukanushi; katika mwingine, ukanushi hufunika kikwantishaji kizima. Mikabala ya awali ya TAG na ya mtindo wa Montague imekuwa na ugumu wa kuzalisha usomaji huu wote ndani ya usanifu mmoja wa kiutunzi.

Makala kwanza hujenga ACG inayooanisha moja kwa moja utohozi wa TAG na semantiki ya matukio hasi. Usanifu huu wa kwanza huhifadhi usomaji sahihi wa upeo wa uso, aina zinazofaa za virai nomino, vigeu vya matukio na dhima za kimaudhui katika vitenzi; pia unaweza kuunda miundo ya argument-sharing katika vitenzi vya control, raising na report. Hata hivyo, usomaji wa upeo kinyume ambao ukanushi wa kiwango cha kirai kitenzi unapaswa kuwa na upeo juu ya kirai nomino chenye kikwantishaji katika nafasi ya kiima hauwezi kuzalishwa.

Suluhisho la waandishi ni kupanua muundo wa utohozi badala ya kubadilisha sintaksia ya uso ya TAG. Kwenye miti msingi ya TAG iliyotiwa nanga na kitenzi, huongezwa eneo la pili la adjunction, tofauti na eneo la kawaida la VP-adjunction, linalotumiwa kwa ukanushi wa kitenzi pekee. Katika semantiki, eneo hili jipya linaweza kuwa na upeo si juu ya kirai kitenzi pekee bali juu ya sentensi nzima inayoundwa kwa kuunganisha kiima na kirai kitenzi. Kwa njia hii, usomaji wa upeo kinyume ambao hapo awali haukupatikana unaweza kutoholewa, huku uwakilishi wa kawaida wa kisintaksia ukihifadhiwa wakati muundo uliopanuliwa unaoanishwa tena na TAG derived tree ya kawaida.

Waandishi pia wanadai kwamba upanuzi huu unaweka usanifu wa ACG ndani ya daraja la pili na hivyo kudumisha uwezekano wa kutumia algoriti zinazohusika za parsing na generation za muda wa polinomu. Hili si kipimo cha majaribio cha muda wa utekelezaji, bali ni hitimisho la kinadharia linalotokana na sifa za kikokotozi za darasa la sarufi rasmi lililotumiwa.

Tatizo kuu la utafiti

Kujenga uoanifu rasmi kati ya sintaksia na semantiki ya lugha asilia ni jambo tata kuliko kuunganisha tu maana za maneno. Vikwantishaji, ukanushi, vigeu vya matukio, vishazi tegemezi na miundo kama argument-sharing vinaweza kusababisha mfuatano mmoja wa kisintaksia kutoa usomaji kadhaa wa kimantiki.

Sehemu ya kuanzia ya makala ni mvutano kati ya mikabala miwili ya awali. Semantiki ya matukio hasi ya Bernard na Champollion inaweza kushughulikia ukanushi kwa undani; hata hivyo, mpangilio wao wa sintaksia–semantiki una vipengele vinavyojitenga na aina sawia za virai nomino za mtindo wa Montague na formalizimu ya sintaksia iliyochunguzwa vizuri kikokotozi. Mkondo wa ACG/TAG wa Blanck na Maskharashvili ni imara kwa upande wa formalizimu ya kawaida ya sintaksia na utunzi wa Montague, lakini hauwezi kuzalisha baadhi ya mwingiliano wa upeo kati ya ukanushi na vikwantishaji.

Swali la utafiti la waandishi ni kama faida hizi mbili zinaweza kuunganishwa: je, semantiki ya matukio hasi inaweza kuhamishwa katika usanifu chenye utunzi kamili, unaotegemea TAG na kuundwa kwa ACG, unaoshughulikia virai nomino kwa mtindo wa Montague chini ya aina moja; na je, usanifu huu unaweza kuhifadhi usomaji unaohitajika wa upeo wa ukanushi na vikwantishaji?

Semantiki ya Matukio Hasi ni Nini?

Semantiki ya matukio hasi ni mkabala wa Neo-Davidson wa event-semantics unaowakilisha ukanushi wa sifa ya tukio si kama ukanushi wa kawaida wa proposisheni pekee, bali kupitia mkusanyo wa “anti-events” usiooana na mkusanyo wa matukio chanya; ili kusema kwamba tukio hasi limetokea kweli, matukio yaliyotokea hutenganishwa na yale yasiyotokea kwa prediketi ya actual.

Uwakilishi wa tukio wa Neo-Davidson

Katika semantiki ya Neo-Davidson, vitenzi vinaweza kuchukuliwa kama prediketi za nafasi moja juu ya matukio badala ya prediketi za nafasi nyingi zinazochukua washiriki wote moja kwa moja. Washiriki huunganishwa na tukio kupitia dhima za kimaudhui. Kwa mfano, katika uchanganuzi wa “Eva saw Adam” unaotegemea tukio, tukio la kuona na mhusika pamoja na tema ya tukio hilo vinaweza kuonyeshwa kama mahusiano tofauti.

Muundo huu hurahisisha kuunganisha vielezi, dhima za kimaudhui na mahusiano mbalimbali ya matukio kuzunguka kigeu kimoja cha tukio. Lakini ukanushi, hasa unapounganishwa na vitenzi vya utambuzi na miundo yenye upeo, unaweza kuleta matatizo makubwa kuhusu mahali pa kuweka ukanushi wa kawaida wa proposisheni.

Tatizo la “Eva saw Adam not smile”

Chanzo kinaeleza tatizo la kawaida kwa mfano wa “Eva saw Adam not smile”. Sentensi haisemi tu kwamba Eva hakumwona Adam akitabasamu; katika usomaji wa asili, Eva aliona hali ambayo Adam hakuwa akitabasamu, na kutokana na hilo hutolewa hitimisho kwamba Adam hakutabasamu.

Uwakilishi wa moja kwa moja wa “si kweli kwamba tukio la Adam kutabasamu lilionwa na Eva” hautoshi; kwa sababu Adam huenda alitabasamu kweli lakini Eva hakuliona. Kuweka ukanushi mbele ya prediketi ya tukio pekee pia hakuhakikishi masharti sahihi ya ukweli, kwa kuwa kunaweza kuchaguliwa “tukio lolote lisilo la kutabasamu”.

Tofauti kati ya Neg na actual

Katika mkabala wa tukio hasi, kwa kila sifa \(P\) iliyofafanuliwa juu ya matukio, huzingatiwa anti-seti \(Neg\,P\). Matukio ya \(P\) na matukio ya \(Neg\,P\) huchukuliwa kuwa hayaoani kwa upande wa kutokea.

Kuwepo kwa tukio ndani ya kikoa rasmi pekee hakumaanishi kwamba limetokea. Kwa hiyo:

\[ actual(e) \]

prediketi huonyesha kwamba tukio \(e\) limetokea.

Kanuni ya msingi ya ukanushi inayotumiwa katika chanzo imeonyeshwa kwa mpangilio huu:

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

Upande wa kushoto unaonyesha kuwepo kwa tukio anti-\(P\) lililotokea; upande wa kulia unaonyesha kwamba hakuna tukio la \(P\) lililotokea. Muundo huu huzuia tukio chanya na tukio hasi linalolingana nalo kuchukuliwa kuwa yametokea kwa wakati mmoja.

Ukanushi maradufu

Katika mfumo wa Bernard na Champollion, kwa matukio yaliyotokea, kufutwa kwa ukanushi maradufu hupatikana: tukio la \(P\) lililotokea na tukio la anti-anti-\(P\) lililotokea hutenda kwa namna inayolingana. Hata hivyo, chanzo hakitoi hitimisho lenye nguvu zaidi kwamba \(Neg(Neg P)\) na \(P\) ni seti zilezile kabisa katika nafasi yote ya semantiki.

Tukio-tanzu lililotokea katika vitenzi vya utambuzi

Tatizo jingine linaloshughulikiwa na nadharia ya matukio hasi ni vitenzi vya utambuzi. Katika sentensi kama “Eva saw Adam smiling”, ikiwa tukio la kuona limetokea, inatarajiwa kwamba tukio la Adam kutabasamu lililotambuliwa pia limetokea. Bernard na Champollion hulimodeli hili kwa kanuni ya ziada inayoitwa “No Hallucination Axiom” katika chanzo.

Aksiyoma hii si mchango wa kipekee wa usanifu mpya wa ACG unaotengenezwa katika makala; ni sehemu ya usuli wa semantiki ya matukio hasi ambayo waandishi wanajaribu kuijumuisha.

Tree-Adjoining Grammar hufanyaje kazi?

Sarufi ya Uunganishaji wa Miti (Tree-Adjoining Grammar, TAG) ni formalizimu ya sarufi yenye unyeti mdogo kwa muktadha inayozalisha sintaksia ya lugha asilia kwa kuunganisha miti ya awali na miti saidizi kupitia operesheni za substitution na adjunction.

Miti ya awali hubeba miundo ya msingi ya kisintaksia ya mahali. Miti saidizi inaweza kuongezwa kwenye kifundo kinachofaa cha mti kwa adjunction na kuunda upanuzi wa kujirudia. Sifa muhimu ya TAG ni kutoa uwezo wa kujieleza ulio juu kuliko sarufi huru-muktadha kwa lugha asilia huku ikiwa na algoriti za parsing za muda wa polinomu.

Tofauti kati ya derived tree na derivation tree

TAG derived tree ni mti wa sintaksia ya uso unaopatikana baada ya operesheni za substitution na adjunction. TAG derivation tree hurekodi ni miti gani ya msingi iliyounganishwa kwa operesheni zipi ili kupata mti huo wa uso.

Katika chanzo, mfano wa “Eva claims Adam really wants to smile” unatumiwa kuonyesha tofauti hii. Kielelezo 2 kinaonyesha jinsi miti ya msingi ya TAG inavyounganishwa; Kielelezo 3 kinaonyesha derived tree inayopatikana; Kielelezo 4 kinaonyesha derivation tree ya muundo huo huo.

Tofauti hii ni muhimu kwa wazo kuu la makala. Suluhisho la waandishi linaboresha kiwango cha derivation tree kinachobeba taarifa kuelekea semantiki badala ya kubadilisha sintaksia ya kawaida ya phrase-structure ambayo msomaji huiona.

ACG Huunganishaje TAG na Semantiki?

Abstract Categorial Grammar huweka TAG derivation tree kama lugha ya pamoja ya kidhahania na, kupitia lexicon zenye aina za homomofia, huoanisha utohozi uleule na TAG derived tree, mifuatano ya uso au uwakilishi wa semantiki wa mantiki ya daraja la juu, hivyo kujenga daraja lenye utunzi kamili kati ya sintaksia na semantiki.

Usanifu wa ngazi mbili wa ACG

ACG kimsingi hufafanua uoanifu kati ya lugha kidhahania na lugha ya kitu. Lugha kidhahania huwakilisha miundo ya parse/utohozi. Lugha ya kitu ni uwakilishi mwingine wa miundo hiyo, kama mti wa sintaksia, string au semantiki ya kimantiki.

Katika chanzo, ACG hufafanuliwa kwa vipengele vinne vifuatavyo:

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

Hapa \(\Sigma_A\) huwakilisha abstract vocabulary, \(\Sigma_O\) object vocabulary, \(L\) lexicon yenye aina ya homomofia kati ya vocabulary hizo mbili, na \(s\) distinguished type ya sarufi.

Faida muhimu ya usanifu huu ni kwamba kutoka lugha moja ya kidhahania ya TAG derivation tree inawezekana kwenda katika lugha zaidi ya moja ya kitu. Lexicon moja inaweza kubadilisha derivation tree kuwa derived tree, na nyingine kuwa fomula ya mantiki ya semantiki. Kwa hiyo, utohozi uleule huwa chanzo cha pamoja cha tafsiri ya kisintaksia na ya kisemantiki.

ACG za daraja la pili na almost-linear

Makala hutumia darasa la ACG la daraja la pili ambalo ni muhimu kikokotozi kwa parsing na generation. Kwa sababu kigeu kilekile cha tukio kinahitaji kutumiwa mahali zaidi ya moja katika uwakilishi wa semantiki, chanzo hutumia mkabala wa ACG wa daraja la pili uliopanuliwa kwa istilahi za lambda za almost-linear za Kanazawa.

Almost-linearity hairuhusu urudufishaji holela wa vigeu vya daraja la juu; lakini inaruhusu vigeu vya aina atomiki kutumika mahali zaidi ya moja inapohitajika. Kwa kuwa kigeu cha tukio \(v\) ni cha aina atomiki, katika semantiki ya Neo-Davidson tukio lilelile linaweza kuhusishwa na prediketi ya kitenzi na dhima za kimaudhui ndani ya mfumo huu.

Kanuni ya kirai nomino ya Montague

Mojawapo ya kanuni muhimu za usanifu ambazo waandishi wanataka kuhifadhi ni kuweka majina maalum na virai nomino vyenye vikwantishaji katika familia moja ya jumla ya aina kisemantiki.

Makala hutumia kifupisho:

\[ \mho = v\rightarrow t \]

Hapa \(v\) ni aina ya tukio na \(t\) ni aina ya thamani ya ukweli. Kwa hiyo aina ya tafsiri ya kirai kitenzi ni:

\[ VP = e\rightarrow\mho \]

na aina ya kirai nomino ni:

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

kwa mpangilio huo.

Kwa muundo huu, virai nomino kama “Adam”, “a boy”, “every woman” vinaweza kufanya kazi katika aina moja ya NP ya daraja la juu hata kama vina maudhui tofauti ya kileksika. Huu ni upande muhimu wa Montague ambao makala hutofautiana nao na baadhi ya chaguo za aina za Bernard na Champollion.

Dhima za kimaudhui katika vitenzi

Waandishi huweka nafasi maalum za dhima za kimaudhui kwa washiriki ndani ya uwakilishi wa semantiki wa kitenzi. Kwa mfano, kwa kitenzi kisichoelekezwa kwa yambwa, muundo wa kiskimu unaweza kuwa:

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

ambapo \(x\) huwakilisha mshiriki na \(h\) kigeu cha tukio. Tofauti na Bernard na Champollion, dhima za kimaudhui huainishwa kileksika katika tafsiri ya semantiki ya elementary tree iliyotiwa nanga na kitenzi.

Dhima ya opereta Closure

Kitenzi na kirai nomino vinapounganishwa, matokeo bado ni sifa ya tukio; ili kuunda proposisheni kamili, kigeu cha tukio kinapaswa kufungwa kama tukio lililotokea. Katika tafsiri ya ACG ya chanzo, kazi ya closure ni:

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

kwa namna hiyo.

Opereta hii huonyesha kuwepo kwa tukio lililotokea linalotimiza maudhui ya semantiki ya sentensi na kubadilisha muundo wa aina \(v\rightarrow t\) kuwa \(t\), yaani aina ya proposisheni/thamani ya ukweli.

Ukanushi katika kiwango cha kirai kitenzi na sentensi

Katika usanifu wa kwanza wa ACG, nafasi mbili tofauti za ukanushi huundwa. “does not” ya kiwango cha kirai kitenzi huwakilishwa kama modifier inayofanya kazi juu ya VP; ukanushi wa sentensi wa aina “it is not the case that” huwakilishwa kama muundo tofauti unaokanusha sifa yote ya tukio.

Katika sentensi rahisi zenye majina maalum, njia zote mbili zinaweza kuzalisha tafsiri inayofaa ya tukio hasi. Tatizo hutokea pale kirai nomino chenye kikwantishaji kinapokuja katika nafasi ya kiima.

Upeo wa uso na upeo kinyume

Sentensi “A boy does not smile” inaweza kufikiriwa kwa namna mbili kuu za kimantiki. Katika usomaji wa upeo wa uso, kuna mvulana na mvulana huyo hatabasamu. Katika usomaji wa upeo kinyume, proposisheni nzima ya “mvulana mmoja anatabasamu” huingia ndani ya upeo wa ukanushi.

Vivyo hivyo, “Every boy does not smile” katika usomaji mmoja humaanisha “kila mvulana hatabasamu”, huku katika usomaji mwingine inaweza kumaanisha “si kweli kwamba wavulana wote wanatabasamu”.

Katika mpangilio wa kwanza wa ACG/TAG, kwa kuwa kirai nomino cha kiima huchukua kirai kitenzi kilichobadilishwa kama operand, kikwantishaji kwa utaratibu huwa na upeo juu ya ukanushi wa kirai kitenzi. Mpangilio huu wa kisintaksia huzalisha usomaji wa upeo wa uso lakini hauzalishi usomaji wa upeo kinyume unaohitajika.

Argument-sharing ni nini?

Katika vitenzi vya control, raising na report, kiima cha kisintaksia cha kitenzi cha juu kinaweza pia kutafsiriwa kama mshiriki wa kishazi cha chini au kirai kitenzi. Katika “Adam wants to smile”, Adam ni mhusika wa tukio la want na pia mhusika wa tukio la smile.

Makala huiita hali hii argument-sharing. Aina za ACG na tafsiri za verb-tree hupangwa ili mtu yuleyule aweze kushirikiwa kwa dhima zinazofaa za kimaudhui katika matukio tofauti.

Muundo huu haupanuliwi kwa vitenzi rahisi vya control pekee; pia unahusu vitenzi vya report na raising, vijalizo vya vishazi finite na non-finite, pamoja na mwingiliano wao na ukwantishaji na ukanushi.

Kwa Nini Utohozi Uliopanuliwa wa TAG Unahitajika?

Utohozi uliopanuliwa wa TAG unahitajika ili kuupa ukanushi wa kirai kitenzi nafasi tofauti ya utohozi ambayo katika semantiki inaweza kuwa na upeo juu ya sentensi nzima bila kuharibu sintaksia ya uso ya kawaida ya TAG; kwa njia hii usomaji wa upeo kinyume ambao hauwezi kuzalishwa katika mpangilio wa kawaida wa ACG/TAG hupatikana huku sifa za kikokotozi za ACG ya daraja la pili zikihifadhiwa.

Eneo jipya la adjunction la ukanushi

Eneo la kawaida la VP-adjunction katika TAG elementary tree linaweza kutumika kwa vielezi na modifier nyingine za kirai kitenzi. Waandishi wanaonyesha kwamba kutumia eneo hilohilo kwa modifier za kawaida na kwa ukanushi hakutoshi kwa upande wa upeo wa semantiki.

Suluhisho ni kutoa maeneo mawili tofauti ya VP-adjunction kwenye elementary tree iliyotiwa nanga na kitenzi:

• eneo la kawaida la VP-adjunction: kwa vielezi na modifier za kawaida za VP;
• eneo maalum hasi la VP-adjunction: kwa ukanushi wa kirai kitenzi.

Eneo la pili bado hutenda kisintaksia kama verbal modifier; lakini katika semantic lexicon hutafsiriwa ili liwe na upeo si juu ya kirai kitenzi pekee, bali juu ya maudhui ya sentensi nzima yanayotokana na kuunganishwa kwa kiima na kirai kitenzi.

Kwa nini aina ya daraja la tatu haitumiki?

Eneo jipya la ukanushi kwa mtazamo wa kwanza linaweza kuundwa kama argument ya kifunksia:

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

Lakini waandishi wanaeleza wazi kwamba chaguo hili lingeinua abstract signature hadi daraja la tatu na kwamba faida zinazojulikana za parsing/generation za polinomu kwa ACG za daraja la pili zisingeendelea kutumika kwa ujumla.

Kwa hiyo aina mpya atomiki hufafanuliwa:

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

na, kwa mfano, muundo uliopanuliwa wa kitenzi finite kisichoelekezwa kwa yambwa huwekwa kwa mpangilio huu:

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

kwa namna hiyo.

Aina mpya atomiki inapotafsiriwa inavyohitajika katika lexicon za semantiki na sintaksia, abstract vocabulary hubaki katika daraja la pili.

Sentensi zisizo na ukanushi huhifadhiwaje?

Kwa kuwa eneo jipya lipo katika miti yote ya vitenzi, lazima pia iwezekane kuzalisha sentensi zisizo na ukanushi. Kwa hili waandishi hufafanua konstanti ya adjunction tupu inayoweza kutumiwa katika eneo maalum hasi la adjunction.

Kipengele hiki tupu hutenda kama funksi ya utambulisho. Kwa hiyo sarufi iliyopanuliwa inaweza kuzalisha tena miundo yote iliyoweza kuzalishwa na sarufi ya awali. Kwa maana hii, ACG mpya si mfumo mwembamba unaochukua nafasi ya usanifu wa awali, bali ni upanuzi unaoujumuisha.

Utohozi uliopanuliwa hurudije kwenye sintaksia ya kawaida?

Eneo jipya la ukanushi limeongezwa kwa nguvu ya kujieleza kisemantiki pekee. Waandishi hawataki liunde aina mpya ya mti katika sintaksia ya uso.

Kwa hiyo hufafanuliwa lexicon tofauti kutoka TAG derivation tree iliyopanuliwa kwenda TAG derivation tree ya kawaida. Eneo maalum hasi na eneo la kawaida la VP modifier huunganishwa katika tafsiri ya kisintaksia kwa utunzi wa funksi na matokeo hubaki kuwa TAG derived tree ya kawaida.

Usanifu huu ndio kiini cha mkabala wa “tajiri zaidi kisemantiki, wa kawaida kisintaksia”.

Tatizo la spurious ambiguity

Kuwa kwa opereta ya modifier-composition iliyotumika katika umbo la kwanza kama konstanti huru ndani ya TAG signature ya kawaida kunaleta hatari ya kuzalisha idadi isiyo na kikomo ya derivation term tofauti kwa derived tree ileile. Adjunct tupu yenye funksi ya utambulisho inaweza kuingizwa mara kwa mara katika utunzi na hivyo kuunda idadi isiyo na kikomo ya miundo ya parse inayotoa mti uleule kisintaksia.

Hali hii hushughulikiwa kama spurious ambiguity: miundo ya parse inayoonekana tofauti haina tofauti halisi ya kisintaksia au kisemantiki.

Waandishi hupanga upya usanifu na kutumia uoanifu mbadala unaoweka operesheni hii ya utunzi nje ya freely generated parse vocabulary. Kielelezo 9 cha chanzo kinaonyesha usanifu wa mwisho unaokwenda moja kwa moja kutoka TAG derivation tree iliyopanuliwa hadi TAG derived tree ya kawaida na negative-event semantics, na hivyo kuzuia tatizo hili lisilo la lazima la utata.

Katika semantiki iliyopanuliwa, negation hupataje upeo?

Katika tafsiri ya semantiki ya aina mpya hasi ya adjunction, ukanushi maalum hufanya kazi juu ya sifa ya tukio ya clause-level nzima. Wazo kuu katika Jedwali 9 la chanzo linaonyeshwa kwa mpangilio huu:

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

kwa namna hiyo.

Tofauti muhimu hapa ni kwamba \(S\) si kirai kitenzi tupu pekee, bali ni muundo mpana zaidi wa semantiki unaoweza pia kujumuisha kikwantishaji cha kiima. Kwa hiyo ukanushi unaweza kuenea nje ya kikwantishaji na kuzalisha usomaji wa upeo kinyume.

Mifano inayozalishwa na usanifu mpya

Chanzo kinaonyesha kwamba ACG iliyopanuliwa inaweza, katika mfano changamano wa “Every woman claims every boy does not want to smile”, kuunganisha vikwantishaji, miundo ya vijalizo ya aina ya report/control, argument-sharing na ukanushi ndani ya utohozi mmoja.

Katika mifano ya “A boy does not smile” na “A boy does not want to smile”, inaonyeshwa kwamba usomaji ambao usanifu wa awali haukuweza kufikia, ambapo ukanushi huwa na upeo juu ya kikwantishaji cha uwepo, unaweza kuzalishwa na mfumo mpya.

Pia inaelezwa kwamba kwa kutumia empty negation adjunction, usomaji wote uliopatikana katika mfumo wa zamani unaweza kuhifadhiwa katika mfumo mpya.

Dhima ya kisayansi ya vielelezo vya chanzo

Dhima ya kisayansi ya majedwali ya chanzo

Mbinu na Matokeo ya Utafiti

Mbinu ya utafiti si uchanganuzi wa data ya majaribio, bali ni usanifu wa sarufi iliyowekewa aina unaothibitishwa kupitia uundaji wa modeli rasmi na utohozi wa mifano/mifano-kinzani. Waandishi kwanza hutenganisha semantiki ya matukio hasi ya Bernard na Champollion na usanifu wa TAG/ACG wa Blanck–Maskharashvili; kisha hufafanua aina, lexicon na istilahi za lambda na kujenga ACG ya kwanza inayounganisha mikabala hiyo miwili. Baada ya kuonyesha upungufu wa upeo kinyume wa mfumo wa kwanza, abstract syntax hupanuliwa na usanifu mpya hujaribiwa kwa utohozi wa sentensi changamano.

Mtiririko wa mbinu rasmi

1. Aksiyoma zinazohitajika za Neo-Davidson event semantics na semantiki ya matukio hasi hufafanuliwa.
2. Miundo ya initial/auxiliary tree, substitution, adjunction, derived tree na derivation tree ya TAG hufafanuliwa.
3. TAG derivation tree hukodishwa kama abstract language ya ACG ya daraja la pili.
4. Lexicon tofauti huundwa kutoka TAG derivation tree kwenda derived tree na logical semantics.
5. Kwa kutumia almost-linear lambda calculus, event variable sharing hutekelezwa huku darasa la kikokotozi likihifadhiwa.
6. Aina za negative-event-compatible semantic hufafanuliwa kwa virai vitenzi, virai nomino, sentensi, dhima za kimaudhui na closure.
7. Mifano chanya na hasi yenye Proper name, existential NP na universal NP hutoholewa.
8. Miundo ya control, raising na report verb huundwa kwa kuzingatia argument-sharing.
9. Inaonyeshwa kuwa usanifu wa kwanza wenye ukanushi wa kirai kitenzi kwa viima vyenye vikwantishaji huzalisha usomaji wa upeo wa uso pekee.
10. Extended TAG derivation signature yenye eneo la pili la VP-adjunction kwa Negation hufafanuliwa.
11. Eneo jipya huwekwa katika aina atomiki; hivyo abstract grammar haiondolewi kutoka daraja la pili.
12. Uoanifu wa kurudisha Extended derivation tree kwenye TAG derivation/derived tree za kawaida huhakikishwa.
13. Hatari ya spurious ambiguity inayotokana na Modifier composition hutenganishwa na ACG architecture ya mwisho hupangwa upya ipasavyo.
14. Extended semantic lexicon hufafanuliwa ili eneo maalum la negation liwe na upeo juu ya clause nzima.
15. Kwa mifano changamano ya ukwantishaji, ukanushi na argument-sharing inaonyeshwa kuwa usomaji uliokuwa haufikiki hapo awali unaweza kutoholewa.

Mafanikio makuu ya kiufundi ya utafiti

Dai la ufanisi wa kikokotozi linapaswa kutafsiriwaje?

Kauli za makala “efficient parsing and generation algorithms remain applicable” na “no additional complexity cost” si matokeo ya sekunde, matumizi ya kumbukumbu au benchmark yaliyopimwa kwenye kompyuta fulani. Dai linategemea kwamba abstract signature iliyotengenezwa imehifadhiwa katika darasa la second-order ACG na kwamba kwa darasa hili kuna algoriti zinazojulikana katika fasihi za parsing/generation za polinomu.

Kwa hiyo, kutokana na utafiti huu haiwezi kuhitimishwa kwamba “usanifu mpya ni wa kasi kwa asilimia X kuliko mbinu ya awali” au “hutoa ongezeko fulani la kasi katika mifumo halisi ya NLP”.

ACGtk na uwezo wa kuzalishwa tena

Kulingana na maelezo ya chanzo, ACGtk, yaani seti ya zana za kutengeneza na kuendesha Abstract Categorial Grammar, ilitumika kukodi sarufi na mifano ya makala. Data na msimbo unaounga mkono makala hushirikiwa katika hifadhi ya ACGnevent.

Hili linaonyesha kwamba mifano rasmi ya utafiti inaungwa mkono na ufafanuzi wa sarufi unaoweza kutekelezwa na mashine. Hata hivyo, utafiti hauripoti ulinganisho wa accuracy, recall, precision au parsing throughput katika korpasi kubwa ya lugha asilia.

Matokeo yanayoungwa mkono na utafiti

• Semantiki ya matukio hasi inaweza kuunganishwa kupitia ACG katika usanifu wa sintaksia–semantiki unaotegemea TAG na wenye utunzi kamili.
• Common noun-phrase typing ya mtindo wa Montague na Neo-Davidson event semantics vinaweza kuhifadhiwa katika muundo mmoja.
• Proper name, quantified NP, event quantification, verbal negation na clausal complement vinaweza kuundwa ndani ya mfumo mmoja uliowekewa aina.
• Usanifu wa kwanza wa kawaida wa utohozi wa TAG hauwezi kuzalisha baadhi ya usomaji wa inverse-scope.
• Extended TAG derivations yenye eneo tofauti la VP-adjunction kwa Negation inaweza kurekebisha upungufu huu wa upeo.
• Extended derivation inaweza kurejeshwa katika kiwango cha syntax hadi TAG derived tree za kawaida.
• Katika usanifu mpya, mwingiliano wa existential na universal quantifier–negation ambao haukupatikana hapo awali unaweza kutoholewa.
• Miundo changamano zaidi yenye argument-sharing, negation na quantified noun phrases inaweza kuwakilishwa katika semantic architecture hiyo hiyo.
• Kwa kuwa abstract grammar imehifadhiwa katika daraja la pili, algoriti husika za polinomu za parsing na generation hubaki kutumika.

Matokeo yasiyoungwa mkono na utafiti

• Utafiti hauonyeshi kwa majaribio kwamba usanifu mpya hutoa usahihi wa juu zaidi katika mifumo halisi ya NLP.
• Haupimi kasi ya parsing au mafanikio ya semantic parsing katika corpus kubwa.
• Haudai kwamba aina zote za ukanushi wa lugha asilia zimetatuliwa.
• Hauthibitishi kwamba semantiki ya matukio hasi ndiyo nadharia pekee sahihi ya ukanushi wa lugha asilia.
• Dai la utata wa polinomu halihakikishi kwamba muda wa utekelezaji katika matumizi maalum daima utakuwa mdogo.
• Chanzo hakitoi sarufi ya kiulimwengu iliyokamilika kwa kutatua aina zote za scope ambiguity za lugha asilia.
• Hakiunganishi kikamilifu mikabala yote miwili ya negative-event interface ya Bernard na Champollion katika ACG moja; muungano huo umeachwa kwa kazi ya baadaye.

Vikwazo na kazi ya baadaye

Upeo wa makala umewekewa kikomo kwa mkusanyo teule wa matukio ya lugha asilia. Ingawa Negation, event quantification, quantified noun phrases, argument-sharing na clausal complements vinashughulikiwa kwa kina, si matatizo yote ya semantiki ya lugha asilia yanaundwa.

Uwekaji msimbo wa mkabala wa awali wa Bernard na Champollion wenye “semantic” iliyo compositional kikamilifu pamoja na mkabala wao wa baadaye wa “syntactic” unaotumia semantic type za chini haujakamilishwa chini ya msingi mmoja ndani ya ACG. Waandishi wanaona ACG kuwa ya jumla vya kutosha na wanafikiri katika siku zijazo inaweza kutoa formal ground ya pamoja kwa mikabala hii miwili.

Kikwazo kingine cha utafiti ni kutokuwepo kwa tathmini ya kitaalamu ya majaribio. Formal derivations na computational-class properties huonyeshwa; lakini upana wa corpus, utofauti wa lugha, uwezo wa parser implementation kupanuka au utendaji wa programu halisi havijatathminiwa kando.

Pendekezo la ujenzi upya wa Verianla kutoka vielelezo vya chanzo

Kwa Verianla, mchoro upya wenye thamani kubwa zaidi ya kufundisha ni usanifu wa tabaka tatu unaotegemea Kielelezo 9 cha chanzo lakini ukiwa wa asili kwa mwonekano:

1. Extended TAG Derivation: VP-adjunction ya kawaida + negation adjunction maalum.
2. Njia ya Syntax: extended derivation → standard TAG derivation/derived tree.
3. Njia ya Semantics: extended derivation → negative-event HOL representation.

Pendekezo la figcaption: “Mchoro wa ufafanuzi uliotayarishwa kwa Verianla kwa kutegemea mahusiano ya usanifu wa utafiti chanzo; si nakala ya pikseli ya Kielelezo 9 cha chanzo.”

Mchoro mwingine unaofaa unaweza kuonyesha tofauti kati ya “surface scope” na “inverse scope” kwa miti miwili ya kimantiki juu ya sentensi ileile ya mfano kwa Kiingereza. Mchoro kama huo unapaswa kuwekewa lebo kama ujenzi upya wa ufafanuzi wa miundo ya scope iliyotoholewa katika chanzo, si kama data ya majaribio.

Maelezo ya Chanzo na Mbinu

Kazi asilia: Abstract Categorial Grammars for Modeling the Interface Between Syntax and Semantics Incorporating Negative Events

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

Mwandishi wa mawasiliano: Aleksandre Maskharashvili

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

Jarida: Philosophies

Mchapishaji: MDPI

Maelezo ya uchapishaji: 2026, Juzuu 11, Toleo 3, Makala 91

Iliwasilishwa: 30 Machi 2026

Marekebisho: 18 Mei 2026

Ilikubaliwa: 21 Mei 2026

Tarehe ya kuchapishwa: 3 Juni 2026

DOI: 10.3390/philosophies11030091

Aina ya chanzo: Makala ya utafiti iliyopitiwa na rika katika isimu ya kinadharia/rasmi na semantiki ya kikokotozi.

Leseni: Creative Commons Attribution (CC BY).

Mkabala wa utafiti: Usanifu wa sarufi rasmi na syntax–semantics interface unaounganisha Abstract Categorial Grammar, Tree-Adjoining Grammar, simply typed/almost-linear lambda calculus, mantiki ya daraja la juu na semantiki ya matukio hasi ya Neo-Davidson.

Swali kuu la utafiti: Kama Negative-event semantics inaweza kuunda mwingiliano wa negation–quantification scope huku ikihifadhi tafsiri za kirai nomino za Montague, sintaksia ya kawaida ya TAG, utunzi kamili na sifa za ACG ya daraja la pili zinazofaa kikokotozi.

Ubunifu mkuu wa kiufundi: Kuongeza katika kiwango cha utohozi eneo maalum la verb-phrase negation adjunction kwenye TAG elementary tree, lililotenganishwa na eneo la kawaida la VP modifier na linalochukua clause-level scope katika semantiki.

Kikomo cha utata: Eneo jipya la negation limefafanuliwa kama aina atomiki na abstract ACG imehifadhiwa katika daraja la pili. Matokeo ya polinomu ya parsing/generation ya makala yanategemea sifa zinazojulikana za kikokotozi za darasa hili rasmi; si runtime benchmark mpya.

Msimbo na data: Nyenzo za sarufi/msimbo zinazounga mkono makala zinapatikana katika hifadhi ya ACGnevent GitHub ya waandishi. Chanzo kinatoa tarehe ya kufikia hifadhi kuwa 18 Mei 2026.

Zana iliyotumiwa: Inaripotiwa kwamba seti ya zana ya ACGtk ilitumika kukodi sarufi na mifano.

Ufadhili: Hakuna ufadhili wa nje uliopokelewa.

Kamati ya maadili: Haitumiki.

Ridhaa iliyoelezwa: Haitumiki.

Mgongano wa maslahi: Waandishi wameripoti kutokuwa na mgongano wa maslahi.

Michango ya waandishi: Uundaji wa dhana na mbinu — waandishi wote watatu; msimbo — Aleksandre Maskharashvili na Symon Jory Stevens-Guille; mifano — Aleksandre Maskharashvili na Elena Vaikšnoraitė; rasimu ya awali — waandishi wote watatu; mapitio na uhariri — Aleksandre Maskharashvili na Elena Vaikšnoraitė.

Kikomo kikuu cha kimbinu: Utafiti unaonyesha uwezo wa kujieleza wa utohozi rasmi na sifa za kikokotozi za darasa la ACG lililotumiwa; haufanyi tathmini ya majaribio ya usahihi wa corpus-based semantic parsing, practical runtime benchmark, ujanibishaji wa lugha nyingi au tathmini ya mtumiaji.

Ufaafu wa Verianla Live: Njia za Extended TAG derivation → standard syntax na extended TAG derivation → negative-event semantics zinaweza kuonyeshwa kama source-derived Live Architecture. Mwendo haupaswi kuwekewa lebo kama muda halisi wa parsing au utendaji uliopimwa.

Maelezo ya mbinu ya Verianla: Maudhui haya ya Kituruki si tafsiri ya sentensi kwa sentensi wala uzalishaji upya wa karibu wa aya kwa aya wa makala asilia. Research question, negative-event axioms, TAG/ACG architecture, aina za lambda-calculus, tatizo la scope, suluhisho la extended TAG derivations, uchanganuzi wa spurious ambiguity, kikomo cha complexity, utohozi wa mifano, dhima ya kisayansi ya vielelezo na majedwali pamoja na mipaka ya kazi ya baadaye kutoka chanzo zimetenganishwa na kupangwa upya kama safu huru ya kujifunzia sayansi. Hakuna benchmark, matokeo ya corpus, asilimia ya mafanikio au muda wa kukokotoa usiokuwapo katika chanzo ulioongezwa.